Μαθησιακά Αποτελέσματα
Με την επιτυχή ολοκλήρωση του μαθήματος ο φοιτητής / η φοιτήτρια θα είναι σε θέση να
– Εξηγεί και θεμελιώδεις έννοιες για την αναπαράσταση γνώσης.
– Μοντελοποιεί προβλήματα αναπαράστασης γνώσης ως προβλήματα αναζήτησης, επίλυσης
περιορισμών, επίλυσης answer sets.
– Να κατανοεί την δομή του σημασιολογικού ιστού και τον τρόπο λειτουργίας των βασικών
εργαλείων του.
Περιεχόμενο Μαθήματος
1. Εισαγωγή στην προτασιακή λογική και στην λογική πρώτης τάξης: ανάθεση αληθοτιμών,
ικανοποιησιμότητα, λογικό συμπέρασμα, ταυτολογίες και αντιφάσεις, αποδεικτική διαδικασία,
κανόνας συμπερασμού της ανάλυσης, κανονικές μορφές, ποσοδειξία, ερμηνείες,
αντικατάσταση, ενοποίηση.
2. Λογικά προγράμματα: Γεγονότα, κανόνες και ερωτήματα, αναδρομή, σύνθετοι όροι, μη
ντετερμινιστικός προγραμματισμός, παραγωγή-και-αποτυχία, αναζήτηση.
3. Αναπαράσταση ατελούς γνώσης: Answer Set Programming, περιορισμοί ακεραιότητας,
σταθερά μοντέλα.
4. Αναπαράσταση γνώσης στο Σημασιολογικό Ιστό: data integration και το πρόβλημα της
σημασίας των ατομικών συμβόλων στην αναπαράσταση γνώσης, namespaces και
σημασιολογική αναπαράσταση στο Web, Resource Description Framework (RDF).
5. Συμπερασμός στο Σημασιολογικό Ιστό: Οντολογίες, OWL 2, Λογικές Περιγραφής και
ισοδυναμία με RDFS και OWL 2, αλγόριθμοι συμπερασμού για τις Λογικές Περιγραφής που
καλύπτουν τις RDFS, OWL 2.