Λογικός Προγραμματισμός
Ενότητες
Μεθοδολογίες αναπαράστασης γνώσης και υλοποιήσεις τους με χρήση της Prolog. Συστήματα βασισμένα στη γνώση, η γλώσσα Datalog και σύνδεση του λογικού προγραμματισμού με τον παγκόσμιο ιστό.
Λέξεις κλειδιά: έμπειρα συστήματα, σημασιολογικά δίκτυα, πλαίσια, συμπερασματικές βάσεις δεδομένων, Datalog, XML, ημιδομημένα δεδομένα, RDF, λογικές περιγραφών
Σημειώσεις | ||
| 5. Λογικός προγραμματισμός για αναπαράσταση γνώσης.pptx | ||
| 5. Λογικός προγραμματισμός για αναπαράσταση γνώσης.pdf | ||
Βιντεοδιαλέξεις | ||
| Ανακεφαλαίωση προηγούμενου μαθήματος Λογικός προγραμματισμός για την αναπαράσταση γνώσης, έμπειρα συστήματα. Παροχή εξηγήσεων, πως αποδείχθηκε κάτι. |
||
| Εμπρόσθια συλλογιστική σε μέτα-επίπεδο με απλή Prolog Παραδείγματα |
||
| Έμπειρα Συστήματα και Λογικός Προγραμματισμός Μεθοδολογία αναπαράστασης της γνώσης. Ένα πρόβλημα διάγνωσης. Οπίσθια συλλογιστική με απλή Prolog. |
||
| Έμπειρα Συστήματα και Λογικός Προγραμματισμός, συνέχεια Αρχιτεκτονική των εμπείρων συστημάτων και δομικά στοιχεία. If-then κανόνες. |
||
| Αναπαράσταση γνώσης και συλλογιστική Αναπαράσταση Γνώσης μέσω Σημασιολογικών Δικτύων. Κληρονόμηση ιδιοτήτων σε σημασιολογικά δίκτυα: στοιχειώδης προσέγγιση. |
||
| Χειρισμός αβέβαιης πληροφορίας Εισαγωγή ποσοτικού μέτρου βεβαιότητας σε γεγονότα και if-then κανόνες. Επέκταση του μέτα-διερμηνέα για οπίσθια συλλογιστική. |
||
| Κληρονόμηση ιδιοτήτων σε σημασιολογικά δίκτυα: στοιχειώδης προσέγγιση, γενικευμένη προσέγγιση Κώδικας, παραδείγματα ερωτημάτων. Πλαίσια. |
||
| Απλός υπολογισμός των τιμών των σχισμών Υπολογισμός των τιμών των σχισμών καλύπτοντας και την περίπτωση των διαδικασιών. |
||
| Εισαγωγή στις επαγωγικές βάσεις βάσεις δεδομένων - datalog Δεδομένα (απλά ή σύνθετα) VS γνώση, σύνταξη προγραμμάτων datalog. Προτάσεις datalog, κατηγορήματα IDB – κατηγορήματα EDB, παραδείγματα. |
||
| Επαγωγικές βάσεις βάσεις δεδομένων - datalog Σημασιολογία των προγραμμάτων datalog. Παραδείγματα. Επεκτάσεις της datalog. |
||
| Semantic web Semantic web, αναπαράσταση γνώσης, τεχνολογίες και ο λογικός προγραμματισμός. |
||
