Μαθησιακά Αποτελέσματα
Με την επιτυχή ολοκλήρωση του μαθήματος ο φοιτητής / η φοιτήτρια θα είναι σε θέση να
– Εξηγεί και θεμελιώδεις έννοιες για την αναπαράσταση γνώσης.
– Μοντελοποιεί προβλήματα αναπαράστασης γνώσης ως προβλήματα αναζήτησης, επίλυσης περιορισμών, επίλυσης 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.
