Λογικός Προγραμματισμός
Ενότητες
Σύνταξη και σημασιολογία λογικών προγραμμάτων. Μοντελοθεωρητική σημασιολογία, σημασιολογία σταθερού σημείου και λειτουργική σημασιολογία.
Λέξεις κλειδιά: λογική πρώτης τάξης, μοντελοθεωρητική σημασιολογία, σημασιολογία σταθερού σημείου, λειτουργική σημασιολογία
Σημειώσεις | ||
| 3. Θεωρία λογικού προγραμματισμού.pptx | ||
| 3. Θεωρία λογικού προγραμματισμού.pdf | ||
Βιντεοδιαλέξεις | ||
| Θεωρία λογικού προγραμματισμού Ορισμός όρου (term), ορισμός ατομικού τύπου (atomic formula) ή ατόμου (atom), ορισμός καλοσχηματισμένου τύπου (well-formed formula) ή τύπου, κλειστός τύπος (closed formula). Προτάσεις, σύνταξη και σημασιολογία (syntax and semantics). |
||
| Πρόβλημα βελτιστοποίησης Επίλυση με δύο τρόπους. |
||
| Κρυπταριθμητικοί γρίφοι Συνέχεια στα παραδείγματα προγραμματισμού με περιορισμούς. |
||
| Περίπτωση τύπων οι οποίοι είναι προτάσεις Σημασιολογία σταθερού σημείου, απεικόνιση σε ένα σύνολο. |
||
| Το πρόβλημα των N βασιλισσών Γενίκευση για Ν βασίλισσες. Επίλυση με την ECLPSE. |
||
| Θεωρία λογικού προγραμματισμού, συνέχεια Σύμπαν Herbrand, Μοντελοθεωρητική σημασιολογία. |
||
| Περίπτωση τύπων οι οποίοι είναι προτάσεις, συνέχεια Παραδείγματα: επίλυση παλαιών θεμάτων. |
||
| Λειτουργική σημασιολογία Στιγμιότυπο (instance), Παραλλαγή (variant), Σύνθεση (composition) αντικαταστάσεων, Ενοποίηση (unification). |
||
| Παράδειγμα Ενοποίησης Κανόνας συμπερασμού της SLD-ανάλυσης. |
||
