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

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

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

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

Στόχος του παρόν μαθήματος είναι να αναπτύξει τις δεξιότητες και διευρύνει τις γνώσεις των ενδιαφερόμενων φοιτητών σε ότι αφορά:

• Μαθηματική Λογική (Προτασιακή Λογική, Κανονικές Μορφές, Μηχανισμοί Εξαγωγής Συμπερασμάτων, Αρχή της Ανάλυσης, Κατηγορηματική Λογική, Μεταβλητές και Ποσοδείκτες, Αντικατάσταση και Ενοποίηση)
• Σχέση Μαθηματικής Λογικής με Λογικό Προγραμματισμό (Μορφή Kowalski, Προτάσεις Horn)
• Λογικός Προγραμματισμός (Βασικές έννοιες, Ιστορία, Η γλώσσα Prolog).
• Σύνταξη λογικών προγραμμάτων (Ερωτήσεις, Γεγονότα, Κανόνες, Κατηγορήματα, Σύνθετοι όροι)
• Ταυτοποίηση,
• Μηχανισμός ελέγχου
• Αναδρομικοί Κανόνες, Λίστες
• Παράσταση αριθμών (Αριθμητικές πράξεις, Σύγκριση, Μαθηματικές Συναρτήσεις)
• Χειρισμός συμβολοσειρών
• Είσοδος/Έξοδος, Μεταβλητή κλήση, Προσδιορισμός τύπου
• Σύνθεση/διάσπαση σύνθετων όρων, Αποκοπή (Επίδραση στο δένδρο υπολογισμού)
• Άρνηση σαν αποτυχία, Διαχείριση λύσεων, Διαχείριση προγράμματος
• Μεθοδολογία Προγραμματισμού
• Εφαρμογές Λογικού Προγραμματισμού

 

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

Στόχος του μαθήματος είναι να παρέχει στους φοιτητές τη γνώση, τα απαραίτητα εργαλεία και τις στρατηγικές που απαιτούνται προκειμένου υπάρξει:

• Εξοικείωση με τις αρχές της Μαθηματικής Λογικής
• Εξοικείωση με την χρήση της Μαθηματικής Λογικής ως Γλώσσας Προγραμματισμού
• Κατάρτιση στην Γλώσσα Προγραμματισμού Prolog
• Απόκτηση ικανότητας αναπαράστασης και επίλυσης λογικών εκφράσεων
• Απόκτηση ικανότητας προγραμματισμού με την Γλώσσα Προγραμματισμού Prolog

 

Γ. Προγραμματισμός μαθημάτων

Διάλεξη 1: Εισαγωγή στην Λογική και στον Λογικό Προγραμματισμό
Διάλεξη 2: Λογική: Εισαγωγή, Προτασιακή Λογική  
Διάλεξη 3: Λογική: Κατηγορηματική Λογική, Σχέση Λογικής και Λογικού Προγραμματισμού
Διάλεξη 4: Λογικός Προγραμματισμός: η γλώσσα Prolog: Εισαγωγή, Ιστορική Αναδρομή, Σύνταξη, Εκτέλεση Προγραμμάτων, Αναδρομή
Διάλεξη 5: Λογικός Προγραμματισμός: Σύνθετοι Όροι, Αναδρομικοί Όροι, Λίστες            
Διάλεξη 6: Γλώσσα Prolog: Ενσωματωμένα Κατηγορήματα, Αριθμητικές Διαδικασίες, Διαδικασίες Εισόδου-Εξόδου, Χειρισμός Συμβολοσειρών             
Διάλεξη 7: Γλώσσα Prolog: Διαχείριση δεδομένων, προγράμματος και λύσεων στην Prolog
Διάλεξη 8: Γλώσσα Prolog: Έλεγχος εκτέλεσης προγράμματος, Αποκοπή, Άρνηση
Διάλεξη 9: Εφαρμογές Λογικού Προγραμματισμού: Ταξινόμηση, Δένδρα, Επίλυση Quiz 
Διάλεξη 10:  Εφαρμογές Λογικού Προγραμματισμού: Συμβολικά Μαθηματικά, Συμβολική Παραγώγιση, Φυσικοί Αριθμοί ως Σύνθετοι Όροι 

 

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

• PROγραμματίζοντας στη LOGική, Μ. Κατζουράκη, Μ. Γεργατσούλης, Σ. Κόκκοτος, Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής, Αθήνα 1991.
• Prolog: Προγραμματισμός σε Λογική για Τεχνητή Νοημοσύνη, Μανώλης Μαρακάκης, Εκδόσεις Νέων Τεχνολογιών, ISBN 978-960-6759-98-7, Αθήνα 2014.
• Σημειώσεις-Διαφάνειες διδάσκοντος για το μάθημα.
• Πολυμεσικός οδηγός εκμάθησης Prolog.
• Programming in Prolog, W. Clocksin, C. Mellish, Springer-Verlag.
• Prolog Programming for Artificial Intelligence, Ivan Bratko, Addison-Wesley, (2nd or 3rd ed.).

Επικοινωνία: mantonakakis@hmu.gr

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

Παρασκευή 1 Οκτωβρίου 2021