Μάθημα στο eclass

Τόπος και χρόνος διαλέξεων: Τρίτη, 15:00 - 18:00, Αίθουσα Γ', Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ

Διδάσκουσα: Ιζαμπώ Καράλη

Περιεχόμενο Μαθήματος

• Γενικά περι "Γνώσης"
• Συνοπτική παρουσίαση της γλώσσας prolog
• Συστήματα βασισμένα σε γvώση
  (ανάγκη αναπαράστασης γνώσης και συμπερασμού: η "παραδοσιακή προσέγγιση")
• Αναπαράσταση γνώσης και συμπερασμός
  • Συστήματα κανόνων
  • Σημασιολογικά δίκτυα
  • Πλαίσια
  • Αντικειμενοστραφές μοντέλο
  • Συνοπτική παρουσίαση του εργαλείου CLIPS
  • Συνοπτική παρουσίαση του συστήματος FLEX
  • Προτασιακός λογισμός
  • Κατηγορηματικός λογισμός
  • Λογική Πρώτης Τάξης
  • non-valid inference rules (abduction, induction, analogical inference)
  • Λογικές περιγραφών
• Σημασιολογικός ιστός
  (ανάγκη αναπαράστασης γνώσης και συμπερασμού: η "σύγχρονη προσέγγιση" )
• Συνοπτική παρουσίαση του περιβάλλοντος Protégé
• Επαγωγικές βάσεις δεδομένων: η περίπτωση της datalog
  (η λογική ως μοντέλο δεδομένων)
• Συλλογιστική με αβεβαιότητα
  • Θεωρία πιθανοτήτων κατά Bayes
  • Το μοντέλο του συστήματος PROSPECTOR
  • Θεωρία μέτρων βεβαιότητας των Buchanan και Shortliff
  • Θεωρία μαρτυρίας των Dempster και Shafer
  • Possibilistic λογική
  • Ασαφής λογική
  • Λογικές με πολλαπλές τιμές

Λογισμικό

• SWI-Prolog (Sociaal-Wetenschappelijke Informatica Prolog)
• CLIPS (C Language Integrated Production System)
• Protégé Περιβάλλον ανάπτυξης οντολογιών και συστημάτων βασισμένων σε γνώση.

Εκτενέστερη Βιβλιογραφία

• Brachman R., Levesque H. "Knowledge, Representation and Reasoning"
• Halpern J., "Reasoning about Uncertainty"
• D. Patterson, "Introduction to Artificial Intelligence and Expert Systems"
• I. Bratko, "Prolog Programming for Artificial Intelligence"
• R. Schalkoff, "Artificial Intelligence: An Engineering Approach"
• J. Ullman, "Principles of Database and Knowledge-base Systems"
• Βλαχάβας Ι., Κεφαλάς Π., Βασιλειάδης Ν., Ρεφανίδης Ι., Κόκκορας Φ., Σακελλαρίου Η., "Τεχνητή Νοημοσύνη"
• G. Antoniou, F. van Harmelen, "A Semantic Web Primer"

Χρήσιμοι Σύνδεσμοι

• Σημειώσεις Λογικού Προγραμματισμού - Μέρος Β', Ι. Καράλη, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Αθήνα 2008
• Σημειώσεις Λογικού Προγραμματισμού, Π. Σταματόπουλος και Ι. Καράλη, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Αθήνα 2011
• Σημειώσεις Τεχνητής Νοημοσύνης, Π. Σταματόπουλος, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Αθήνα 2004
• M164α-"Τεχνολογίες Γνώσεων" , M. Koubarakis (2025-26 on sabbatical leave - instructor I.Karali)
• Logic and Artificial Intelligence
• The Official Web Page of the Description Logics Community
• "A Model of Inexact Reasoning in Medicine"
• Edward H. Shortliffe (Home Page)
• "Dempster Shafer Theory"
• Many valued logics

Εργασία

Μελέτη-Παρουσίαση Αρθρων

Γραπτή Εξέταση