Λογικός Προγραμματισμός

Μεταβλητές, κατηγορήματα επεξεργασίας λιστών, άρνηση, προγραμματισμός με περιορισμούς.

Συνέσεια στους γράφους. Εύρεση μονοπατιού ελαχίστου κόστους από node1 σε node2. Παραδείγματα.

Αναπαραστάσεις γράφων, αναπαραστάσεις κατευθυνόμενων γράφων (με κόστος ακμών). Εύρεση μονοπατιού σε γράφο, εύρεση μονοπατιού Hamilton (μονοπάτι χωρίς κύκλους που περιλαμβάνει όλους τους κόμβους του γράφου).

Εισαγωγή και διαγραφή κόμβων σε δυαδικό λεξικό, διαγραφή κόμβου από φύλλο, διαγραφή κόμβου από οπουδήποτε. Εισαγωγή κόμβου στη ρίζα. Εισαγωγή κόμβου οπουδήποτε (μη ντετερμινιστικά).

Semantic web, αναπαράσταση γνώσης, τεχνολογίες και ο λογικός προγραμματισμός.

Σημασιολογία των προγραμμάτων datalog. Παραδείγματα. Επεκτάσεις της datalog.

Στοιχείο μέλος ενός δυαδικού δέντρου, δυαδικό λεξικό.

Διερμηνέας, μεταγλωτιστής. Αναπαράσταση στην περιοχή προγράμματος των προτάσεων. Εισαγωγή στον παράλληλο λογικό προγραμματισμό.

Δεδομένα (απλά ή σύνθετα) VS γνώση, σύνταξη προγραμμάτων datalog. Προτάσεις datalog, κατηγορήματα IDB – κατηγορήματα EDB, παραδείγματα.

Υπολογισμός των τιμών των σχισμών καλύπτοντας και την περίπτωση των διαδικασιών.

Κώδικας, παραδείγματα ερωτημάτων. Πλαίσια.

Αναπαράσταση Γνώσης μέσω Σημασιολογικών Δικτύων. Κληρονόμηση ιδιοτήτων σε σημασιολογικά δίκτυα: στοιχειώδης προσέγγιση.

Εισαγωγή ποσοτικού μέτρου βεβαιότητας σε γεγονότα και if-then κανόνες. Επέκταση του μέτα-διερμηνέα για οπίσθια συλλογιστική.

Λογικός προγραμματισμός για την αναπαράσταση γνώσης, έμπειρα συστήματα. Παροχή εξηγήσεων, πως αποδείχθηκε κάτι.

Παραδείγματα

Αρχιτεκτονική των εμπείρων συστημάτων και δομικά στοιχεία. If-then κανόνες.

Μεθοδολογία αναπαράστασης της γνώσης. Ένα πρόβλημα διάγνωσης. Οπίσθια συλλογιστική με απλή Prolog.

Κανόνας συμπερασμού της SLD-ανάλυσης.

Στιγμιότυπο (instance), Παραλλαγή (variant), Σύνθεση (composition) αντικαταστάσεων, Ενοποίηση (unification).

Παραδείγματα: επίλυση παλαιών θεμάτων.

Σημασιολογία σταθερού σημείου, απεικόνιση σε ένα σύνολο.

Σύμπαν Herbrand, Μοντελοθεωρητική σημασιολογία.

Ορισμός όρου (term), ορισμός ατομικού τύπου (atomic formula) ή ατόμου (atom), ορισμός καλοσχηματισμένου τύπου (well-formed formula) ή τύπου, κλειστός τύπος (closed formula). Προτάσεις, σύνταξη και σημασιολογία (syntax and semantics).

Επίλυση με δύο τρόπους.

Συνέχεια στα παραδείγματα προγραμματισμού με περιορισμούς.

Γενίκευση για Ν βασίλισσες. Επίλυση με την ECLPSE.

2ος και 3ος τρόπος επίλυσης του προβλήματος.

Λύση του προβλήματος. Προγραμματισμός με περιορισμούς.

Το κατηγόρημα name. Kατηγορήματα ελέγχου τύπων, χειρισμού όρων, χειρισμού προγράμματος.

Εισαγωγή, παραδείγματα.

Παραδείγματα κατηγορημάτων: subsum, between. Μερικά εσωματωμένα κατηγορήματα.

Παραδείγματα κατηγορημάτων: max, maxlist, ordered.

Το κατηγόρημα length.

Προτεραιότητα ορίσματος, προσεταιριστικότητα (associativity). Μερικοί προκαθορισμένοι τελεστές. Παραδείγματα από παλιά θέματα.

Συνέχεια από το προηγούμενο μάθημα. Παράδειγμα της flatten στην ECLIPSE.

Συνέχεια στο παράδειγμα της sublist. Εισαγωγή στοιχείου στην αρχή της λίστας. Διαγραφή στοιχείου από τη λίστα.

Τα κατηγόρημα reverse και sublist: παραδείγματα.

Συνένωση λιστών. Ενσωματωμένα κατηγορήματα.

Λίστες, παραδείγματα λιστών (απλές εώς σύνθετες).

Άτομα, αριθμοί, μεταβλητές, αναπαράσταση.

Ανακατατάξεις προτάσεων και στόχων. Δένδρα αναπαράστασης.

Περεταίρω κανόνες, αναδρομικοί κανόνες.

Συνθετες ερωτήσεις, επέκταση προγράμματος.

Προβλήματα αναζήτησης: πρώτα κατά βάθος αναζήτηση. Προβλήματα ικανοποίησης περιορισμών. Προβλήματα συμβολικής παραγώγισης.

Λίγα λόγια για το μάθημα. Γενικά στοιχεία, ενδιαφέροντες σύνδεσμοι. Εισαγωγή στην γλώσσα προγραμματισμού Prolog.