ΤΕΧΝΟΛΟΓΙΑ ΓΝΩΣΕΩΝ

Γενικά Στοιχεία

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

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

Λογισμικό

• CLIPS (C Language Integrated Production System) (εναλλακτικά, JESS -Rule Engine για Java-)
• LPA-FLEX (Expert System Toolkit) για χρήση κάτω από MS Windows. Συμβουλευτείτε το αρχείο ~izambo/FLEX/README

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

• Βλαχάβας Ι., Κεφαλάς Π., Βασιλειάδης Ν., Ρεφανίδης Ι., Κόκκορας Φ., Σακελλαρίου Η., "Τεχνητή Νοημοσύνη"
• Brachman R., Levesque H. "Knowledge, Representation and Reasoning"
• 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"

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

• Logic and Artificial Intelligence
• The Official Web Page of the Description Logics Community
• F-Logic (Frame Logic) (συλογή άρθρων)
• "A Model of Inexact Reasoning in Medicine"
• "Dempster Shafer Theory"
• Many valued logics
• RuleML
• Getting Started With the Java Rule Engine API (JSR 94): Toward Rule-Based Applications
• Semantic Web

Εργασία

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

Βαθμολογία