Πληροφορίες μαθήματος
Κωδικός
ΗΥ-567
Όνομα
Αναπαράσταση Γνώσης και Συλλογιστική
Πρόγραμμα
Μεταπτυχιακό
Περιοχές
Τεχνολογία Πολυμέσων
Πληροφοριακά Συστήματα και Αλληλεπίδραση Ανθρώπου Υπολογιστή
Περιγραφή
Συγγράμματα:
το υλικό του μαθήματος θα βασιστεί σε μέρη από τα ακόλουθα συγγράμματα καθώς και δημοσιευμένα άρθρα:
R. Brachman and H. Levesque, Knowledge Representation and Reasoning. Morgan Kaufmann, 2004
F. van Harmelen, V. Lifschitz, B. Porter, Handbook of Knowledge Representation, Elsevier, 2008
J. Halpern, Y. Moses, M. Vardi, Reasoning about Knowledge, MIT Press, 2005
H. Levesque and G. Lakemeyer, The Logic of Knowledge Bases, MIT Press, 2000
Σκοπός του μαθήματος: Το μάθημα στοχεύει στη διδασκαλία του θεωρητικού υποβάθρου της αναπαράστασης γνώσης και τη θεμελίωση μεθόδων αυτοματοποιημένου λογισμού. Χρησιμοποιεί τη λογική ως τη βάση για την ανάπτυξη μεθόδων αναπαράστασης και λογισμού και καλύπτει ένα σχετικά ευρύ φάσμα από τεχνικές για μονότονο και μη-μονότονο λογισμό, χειρισμό γνώσης, πεποιθήσεων, αβεβαιότητας και τη σύνδεση γνώσης και δράσης. Επίσης, οι φοιτητές του μαθήματος θα εξοικειωθούν με τη χρήση του λογικού προγραμματισμού (γλώσσα Prolog) καθώς και νεότερων προσεγγίσεων όπως ο προγραμματισμός με σύνολα απαντήσεων (Answer Set Programming).
Αξιολόγηση φοιτητών: Θα βασιστεί σε ασκήσεις (θεωρητικές και προγραμματιστικές) κατά τη διάρκεια του εξαμήνου και εργασία σε ομάδες. Η εργασία πέρα από την υλοποίηση θα περιλαμβάνει και τη συγγραφή και παρουσίαση αναφοράς.
Θέματα: Πρωτοβάθμια λογική (1st-order Logic), Μέθοδος της επίλυσης και παραλλαγές (resolution-based theorem proving), Έλεγχος ικανοποιησιμότητας (SAT solvers), Περιγραφική Λογική (Description Logics), Μη-μονότονη Λογική και Λογισμός (Non-monotonic reasoning), Γνώση και Πεποιθήσεις (Knowledge and Belief), Προγραμματισμός με Σύνολα Απαντήσεων (Answer Set Programming), Γνώση και Δράση (Knowledge and Action), Αβεβαιότητα (Uncertainty), Λογισμός με βάση την κοινή λογική (Commonsense Reasoning), Χρονικός Λογισμός (Temporal Reasoning), Σχεδιασμός Ενεργειών (Planning), Εφαρμογές Γνωσιακά συστήματα (Knowledge-Based Systems), Πολύ-πρακτορικά συστήματα (Multi- Agent Systems), Γνωσιακή Ρομποτική (Cognitive Robotics), Ποιοτικός λογισμός και Διάγνωση (Qualitative Reasoning and Diagnosis), Μηχανική της Γνώσης (Knowledge Engineering), Σημασιολογικό Διαδίκτυο (Semantic Web)
ECTS
6
Προαπαιτούμενα
ΗΥ-380, ΗΥ-387
Ιστοσελίδα μαθήματος