Παρουσίαση/Προβολή

(941) -  Νικόλαος Σπανουδάκης

Περιγραφή Μαθήματος

Α. Γενική περιγραφή μαθήματος

Προτασιακή Λογική: Συντακτικό και Σημασιολογία, Λογική Συνεπαγωγή, η μέθοδος των Πινάκων Αληθείας και Αποδεικτικές Μέθοδοι στην Προτασιακή Λογική (κανόνες συμπερασμού, αξιωματικά σχήματα, η έννοια της αποδειξιμότητας, ορθότητα και πληρότητα). Μέθοδος της Επίλυσης στην Προτασιακή Λογική και στρατηγικές αναζήτησης. Κατηγορηματική Λογική: Συντακτικό και Σημασιολογία, Λογική Συνεπαγωγή, το θεώρημα και η μέθοδος Herbrand, Αποδεικτικές Μέθοδοι στην Κατηγορηματική Λογική (κανόνες συμπερασμού, αξιωματικά σχήματα, ορθότητα και πληρότητα). Ενοποίηση και η Μέθοδος της Επίλυσης στην Κατηγορηματική Λογική. PROLOG: Σύνταξη και δομή προγράμματος, μηχανισμός ελέγχου, αποκοπή και άρνηση, εφαρμογές. Υπολογιστική Επιχειρηματολογία.

 

Β. Μαθησιακοί στόχοι του μαθήματος

Με την επιτυχή ολοκλήρωση του μαθήματος ο φοιτητής θα είναι σε θέση να:
• Συνθέτει προγράμματα στη γλώσσα προγραμματισμού PROLOG
• Δημιουργεί μοντέλα αναπαράστασης γνώσης χρησιμοποιώντας την έννοια του κατηγορήματος
• Εξηγεί την έννοια της ενοποίησης και της μεθόδου εύρεσης του πιο γενικού ενοποιητή δύο προτάσεων κατηγορηματικής λογικής
• Εξηγεί και να δημιουργεί αναδρομικούς ορισμούς
• Χρησιμοποιεί την δομή λίστας της prolog
• Εξηγεί και χρησιμοποιεί την άρνηση σαν αποτυχία
• Χρησιμοποιεί τεχνολογίες αναιρέσιμης λογικής και επιχειρηματολογίας

 

Δ. Προτεινόμενη ή απαιτούμενη βιβλιογραφία προς μελέτη

• Μανόλης Μαρακάκης. Prolog: Προγραμματισμός σε Λογική για Τεχνητή Νοημοσύνη - 2η έκδοση. ΕΚΔΟΣΕΙΣ ΝΕΩΝ ΤΕΧΝΟΛΟΓΙΩΝ, 2019
• ΤΟΥΡΛΑΚΗΣ ΓΕΩΡΓΙΟΣ. ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ. ΠΑΝΕΠΙΣΤΗΜΙΑΚΕΣ ΕΚΔΟΣΕΙΣ ΚΡΗΤΗΣ, 2012
• Σακελλαρίου, Ηλίας, Νικόλαος Βασιλειάδης, Πέτρος Κεφαλάς, and Δημοσθένης Σταμάτης. Τεχνικές Λογικού Προγραμματισμού. ΚΑΛΛΙΠΟΣ Ανοικτές Ακαδημαϊκές Εκδόσεις,  2016.

 

Ξενόγλωσσες εκδόσεις:
• Michael Genesereth and Vinay K. Chaudhri. Introduction to Logic Programming. Springer, 2020
• Zach, Richard. Sets, logic, computation: An open introduction to metalogic. (2019). https://slc.openlogicproject.org/

 

Συναφή επιστημονικά περιοδικά:
   Artificial Intelligence (Elsevier)
   Journal of Artificial Intelligence Research
   ACM Transactions on Computational Logic
   Journal of Logic and Computation (OUP)

 

Ημερομηνία δημιουργίας

Friday, October 1, 2021