Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

MENUMENU
  • Τμήμα
      • Φυσιογνωμία
      • Διδάσκοντες
      • Πολιτική Ποιότητας
      • Νέο Κτίριο
      • Διοίκηση
      • Προσωπικό
      • Πιστοποίηση Τμήματος
      • Καλωσόρισμα Προέδρου
  • Σπουδές
    • Γνωστικά Αντικείμενα
    • Προπτυχιακές Σπουδές
    • Μεταπτυχιακές Σπουδές
      • Π.Μ.Σ. στην «Επιστήμη και Τεχνολογία ΗΜΜΥ»
      • Π.Μ.Σ. στα «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας»
      • Π.Μ.Σ. στην «Εφαρμοσμένη Πληροφορική»
    • Διδακτορικές Σπουδές
    • Κινητικότητα
    • Κατάλογος Μαθημάτων
      • Προπτυχιακά Μαθήματα
      • Μεταπτυχιακά Μαθήματα
        • Επιστήμη και Τεχνολογία ΗΜΜΥ
        • Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας
        • Εφαρμοσμένη Πληροφορική
      • Erasmus
    • Πιστωτικές Μονάδες ECTS
    • Ακαδημαϊκό Ημερολόγιο Π.Π.Σ.
    • Ακαδημαϊκό Ημερολόγιο Π.Μ.Σ
    • Ωρολόγιο Π.Π.Σ. Εαρινού
      • Εβδομαδιαίο Ωρολόγιο Π.Π.Σ. Χειμερινού Εξαμήνου
      • Ανα Έτος Ωρολόγιο Π.Π.Σ. Χειμερινού Εξαμήνου
      • Μαθήματα Π.Π.Σ. Χειμερινού που διδάσκονται τώρα
      • Εβδομαδιαίο Ωρολόγιο Π.Π.Σ. Εαρινού Εξαμήνου
      • Ανα Έτος Ωρολόγιο Π.Π.Σ. Εαρινού Εξαμήνου
      • Μαθήματα Π.Π.Σ. Εαρινού που διδάσκονται τώρα
    • Ωρολόγιο Π.Μ.Σ. Εαρινού
      • Επιστήμη και Τεχνολογία ΗΜΜΥ
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιο Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
      • Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιου Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
      • Εφαρμοσμένη Πληροφορική
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιο Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
    • Πρόγραμμα Εξεταστικής
      • Εξεταστική Π.Π.Σ.
      • Εξεταστική Π.Μ.Σ.
    • Επαγγελματικά Θέματα
    • Πιστοποιήσεις
      • Πρόγραμμα Εξειδίκευσης στην «Επιστήμη Δεδομένων»
      • Πρόγραμμα Παιδαγωγικής & Διδακτικής Επάρκειας
    • Υποστήριξη Φοιτητών
      • Υποστήριξη ΦμεΑ
      • Συχνές Ερωτήσεις
      • Παρενόχληση - Εκφοβισμός
    • Πρακτική Άσκηση
  • Έρευνα
    • Εργαστήρια
    • Ερευνητικά Έργα
    • Μεταδιδακτορική Έρευνα
    • Υποψήφιοι Διδάκτορες
    • Διατριβές – Εργασίες
    • Ερευνητικά Έργα σε Εξέλιξη

      Αναλογικός Σχεδιασμός, Δοκιμές και Επαλήθευση

      Επιστ. Υπεύθυνος

      Πλέσσας ΦώτιοςΠλέσσας Φώτιος, Καθηγητής
      E-mail: fplessas@e-ce.uth.gr

      ΤίτλοςΑναλογικός Σχεδιασμός, Δοκιμές και Επαλήθευση
      Φορέας ΧρηματοδότησηςNanoZeta Technologies ltd.
      Προϋπολογισμός271.400,00
      Διάρκεια26/01/2021 – 25/01/2028

      Περισσότερα →

      DIGITAfrica: Towards a comprehensive pan-African research infrastructure in Digital Sciences

      Επιστ. Υπεύθυνος

      Κοράκης ΑθανάσιοςΚοράκης Αθανάσιος, Καθηγητής
      E-mail: korakis@e-ce.uth.gr

      ΤίτλοςDIGITAfrica: Towards a comprehensive pan-African research infrastructure in Digital Sciences
      Φορέας ΧρηματοδότησηςΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ
      Προϋπολογισμός123.125,00
      Διάρκεια16/12/2024 – 31/12/2027

      Περισσότερα →

      TWIN-RELECT: Twinning for Excellence in Reliable Electronics

      Επιστ. Υπεύθυνος

      Σωτηρίου ΧρήστοςΣωτηρίου Χρήστος, Καθηγητής
      E-mail: chsotiriou@e-ce.uth.gr

      ΤίτλοςTWIN-RELECT: Twinning for Excellence in Reliable Electronics
      Φορέας ΧρηματοδότησηςΕΥΡΩΠΑΪΚΗ ΕΝΩΣΗ
      Προϋπολογισμός602.500,00
      Διάρκεια01/10/2024 – 30/09/2027

      Περισσότερα →

      Λίστα Ερευνητικώ Έργων →

  • Απόφοιτοι
      • Ισοτιμία ΜΗΥΤΔ με ΗΜΜΥ
      • Γνώμες Αποφοίτων
      • Διδάκτορες
  • Υπηρεσίες
    • Γραμματεία
      • Πληροφορίες
      • Γενικά Έντυπα
    • Τεχνική Υποστήριξη
  • Ανακοινώσεις
    • Γενικές Ανακοινώσεις
    • Ακαδημαϊκά Νέα - Εκδηλώσεις
    • Συνέδρια
    • Πρωτοετών
    • Αποφοίτων
    • Θέσεις Εργασίας
    • Υποτροφίες
    • Αποφάσεις Συλλογικών Οργάνων
    • Πρόσφατες Ανακοινώσεις

      • 10/06/2025 Παράδοση Εκλογικού Καταλόγου των μελών Δ.Ε.Π. για την Ανάδειξη Προέδρου και Αντιπροέδρου
      • 10/06/2025 Ανακήρυξη υποψηφίων για το αξίωμα του Προέδρου και Αντιπροέδρου του Τμήματος Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Εφαρμοσμένη Πληροφορική» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
      • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
      • 03/06/2025 Προκηρύξεις Υποτροφιών Κληροδοτημάτων ΙΚΥ
  • Επικοινωνία
    • Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • Σέκερη και Χέυδεν
        Πεδίον Άρεως, κτίριο ΤμΗΜΜΥ
        ΤΚ 383 34, Βόλος
      Τηλ.+30 24210 74967, +30 24210 74934
      e-mailgece ΑΤ e-ce.uth.gr
      Τηλ. Π.Μ.Σ.+30 24210 74933
      e-mail Π.Μ.Σ.pgsec ΑΤ e-ce.uth.gr
      Ιστοσελίδαhttps://www.e-ce.uth.gr/contact-info/
  • Είσοδος

ΜΔΕ611 Λογικές Θεμελιώσεις για Ευφυείς Πράκτορες

Αρχική » Σπουδές » Μεταπτυχιακές Σπουδές » Π.Μ.Σ. στην «Επιστήμη και Τεχνολογία ΗΜΜΥ» » Μεταπτυχιακά Μαθήματα Π.Μ.Σ. στην «Επιστήμη και Τεχνολογία ΗΜΜΥ» » ΜΔΕ611 Λογικές Θεμελιώσεις για Ευφυείς Πράκτορες
    Π.Μ.Σ.Επιστήμη & Τεχνολογία Ηλεκτρολόγου Μηχανικού & Μηχανικού Υπολογιστών
    Γνωστικός ΤομέαςΟμάδα Εφαρμογών και Θεμελιώσεων της Επιστήμης Υπολογιστών (ΕΘ)
    ΕξάμηνοΕαρινό
    Τύπος ΜαθήματοςΕπιλογής
    Μονάδες ECTS7,5
    Εβδομαδιαίες Ώρες Διδασκαλίας3
    Σελίδα Μαθήματοςhttps://eclass.uth.gr/courses/E-CE_P_117/
    Συγγράμματα

    Προτεινόμενα άρθρα σε επιστημονικά περιοδικά και συνέδρια κατα τη διάρκεια του μαθήματος

    Δίνονται δύο επιστημονικά άρθρα υποβάθρου για όλους τους φοιτητές και, επιπλέον, άλλα 2-3 ανά θεματική ενότητα εργασίας. Ο κατάλογος των άρθρων επικαιροποιείται σε κάθε εξάμηνο.

    Πρόγραμμα Εαρινού Εξαμήνου Ακ. Έτους 2024 – 2025
    ΗμέραΏραΤύποςΑίθουσαΔιδάσκων
    Πέμπτη09:00 – 12:00ΔιάλεξηΑιθ. Συνεδριάσεων (405)
    • Δασκαλοπούλου Ασπασία
    • Τσουκαλάς Ελευθέριος
    • Περιγραφή
    • Μαθησιακά Αποτελέσματα
    • Αξιολόγηση Φοιτητών
    • Κατανομή ύλης

    Εξετάζουμε διάφορες λογικές αξιωματοποιήσεις (χρονική λογική, τροπική λογική, λογική δράσης, δεοντική λογική, δοξαστική λογική) – οι οποίες χρησιμοποιούνται:

    • για την παραγωγή εκτελέσιμων τυπικών προσδιορισμών συστημάτων πρακτόρων και την μελέτη των ιδιοτήτων σε επίπεδο συστήματος
    • για την αναπαράσταση γνώσης και τη διαδικασία συλλογισμού κάθε πράκτορα και τη μελέτη της συμπεριφοράς του
    • για τον τυπικό προσδιορισμό και τη μελέτη συστήματος πρακτόρων στο επίπεδο της αλληλεπίδρασης μεταξύ τους.

    Με την ολοκλήρωση του μαθήματος οι φοιτητές

    • Γνωρίζουν τις βασικές λογικές που χρησιμοποιούνται για τον προσδιορισμό πολυπρακτορικών συστημάτων και των ιδιοτήτων τους, και το συλλογισμό σχετικά με τη συμπεριφορά κάθε πράκτορα και του συστήματος συνολικά.
    • Έχουν εμπειρία στη διεξαγωγή έρευνας της σχετικής βιβλιογραφίας και παρουσίασης των αποτελεσμάτων τους μετά από ανάλυση, αξιολόγηση και σύνθεση πληροφορίας.
    • Συσχετίζουν πληροφορίες από διαφορετικά πεδία και κατανοούν την πολυπλοκότητα των φιλοσοφικών και ηθικών ζητημάτων που εγείρουν τα πολυπρακτορικά συστήματα.

    Η αξιολόγηση βασίζεται 100% στην γραπτή ατομική εργασία και την δημόσια παρουσίασή της. Τα ελάχιστα κριτήρια για να είναι αποδεκτή η εργασία ανακοινώνονται στην αρχή του εξαμήνου, μαζί με τις οδηγίες για την επιλογή και εκπόνηση ατομικής εργασίας, προφορικά στην τάξη, και γραπτά στο eclass του μαθήματος. Η εργασία και η παρουσίασή της καλύπτουν όλα τα μαθησιακά αποτελέσματα.

    Εξετάζουμε διάφορες λογικές αξιωματοποιήσεις (χρονική λογική, τροπική λογική, λογική δράσης, δεοντική λογική, δοξαστική λογική) – οι οποίες χρησιμοποιούνται:

    • για την παραγωγή εκτελέσιμων τυπικών προσδιορισμών συστημάτων πρακτόρων και την μελέτη των ιδιοτήτων σε επίπεδο συστήματος
    • για την αναπαράσταση γνώσης και τη διαδικασία συλλογισμού κάθε πράκτορα και τη μελέτη της συμπεριφοράς του
    • για τον τυπικό προσδιορισμό και τη μελέτη συστήματος πρακτόρων στο επίπεδο της αλληλεπίδρασης μεταξύ τους.

    Πρόσφατες Ανακοινώσεις

    • 10/06/2025 Παράδοση Εκλογικού Καταλόγου των μελών Δ.Ε.Π. για την Ανάδειξη Προέδρου και Αντιπροέδρου
    • 10/06/2025 Ανακήρυξη υποψηφίων για το αξίωμα του Προέδρου και Αντιπροέδρου του Τμήματος Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
    • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Εφαρμοσμένη Πληροφορική» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026
    • 06/06/2025 Πρόσκληση Εκδήλωσης Ενδιαφέροντος για Διδασκαλία Μαθημάτων στο ΠΜΣ «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας» για το Χειμερινό Εξάμηνο Ακ. Έτους 2025-2026

    e-Yπηρεσίες

    Επικοινωνία

    • Σέκερη & Χέυδεν, Πεδίον Άρεως, 38334, Βόλος
    • +30 24210 74967
    • +30 24210 74934
    • gece@uth.gr

    Ανακοινώσεις

    • Γενικές Ανακοινώσεις
    • Ακαδημαϊκά Νέα – Εκδηλώσεις
    • Θέσεις Εργασίας
    • Υποτροφίες
    • Αποφάσεις Συλλογικών Οργάνων

    Θα μας Βρείτε

    • Facebook
    • Twitter
    • Youtube
    • Linkedin
    © Copyright 2025 Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών