Βοηθός: Κατερίνα Παπαντωνίου
Εξάμηνο: Χειμερινό 2018 (Μεταπτυχιακό)
ECTS: 6
Προαπαιτούμενο: ΗΥ-380
Συνιστώμενο: ΗΥ-387
Το μάθημα στοχεύει στη διδασκαλία του θεωρητικού υποβάθρου της αναπαράστασης γνώσης και τη θεμελίωση μεθόδων αυτοματοποιημένου λογισμού. Χρησιμοποιεί τη λογική ως τη βάση για την ανάπτυξη μεθόδων αναπαράστασης και λογισμού και καλύπτει ένα σχετικά ευρύ φάσμα από τεχνικές για μονότονο και μη-μονότονο λογισμό, χειρισμό γνώσης, πεποιθήσεων, αβεβαιότητας και τη σύνδεση γνώσης και δράσης. Επίσης, οι φοιτητές του μαθήματος θα εξοικειωθούν με τη χρήση του λογικού προγραμματισμού (γλώσσα Prolog) καθώς και νεότερων προσεγγίσεων όπως ο προγραμματισμός με σύνολα απαντήσεων (Answer Set Programming).
Η διδασκαλία του μαθήματος θα γίνει με την υποστήριξη της πλατφόρμας e-learn στη διεύθυνση:
https://elearn.uoc.gr/course/view.php?id=1204
- Πρωτοβάθμια λογική (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)
Tο υλικό του μαθήματος θα βασιστεί σε μέρη από τα ακόλουθα συγγράμματα καθώς και δημοσιευμένα άρθρα
- 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
- E. Mueller, “Commonsense Reasoning”, 2nd ed., MIT Press 2014
- M. Gebser, R. Kaminski, B. Kaufmann, T. Schaub, “Answer Set Solving in Practice”, 2012
- 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
Διαλέξεις
Tρίτη 18:00-20:00 Πέμπτη 16:00-18:00 A.121 Επικοινωνία
patkos@ics.nullforthnull.gr papanton@ics.nullforthnull.gr