Materialien zur Vorlesung

Wissensbasierte Systeme

SS 19

Prof. Dr. Gerhard Brewka

Übungen: Dr. Ringo Baumann, Dr.Stefan Ellmauthaler

• 1. Einführung pdf ppt

• 2. Problemlösen und Suche pdf ppt

• 3. Constraint Satisfaction pdf  ppt

• 4. Was Sie von Logik (noch) wissen sollten pdf  Folien  (umfangreiches Hintergrundmaterial: pdf 1  pdf 2  R. Brachmann/H. Levesque)

• 5. Beschreibungslogiken - eine kurze Einführung (pdf 1 pdf 2(relevant 1-9) F. Baader)

• 6. a) Regelbasierte Systeme pdf  ppt  b) Einführung nichtmonotones Schließen: Überblick Folien Motivation: pdf  Word,

• 7. Logikprogrammierung und Answer Sets - Einführung  Folien

• 8. Berechnung von Answer Sets - Smodels - Kardinalitätsconstraints pdf  Word

• 9.  Probabilistisches Schließen: Grundlagen  Folien

• 10. Probabilistisches Schließen: Bayes Netze (Folien siehe 9.)

• 11. Planen: STRIPS, Vorwärts-/Rückwärts-Planer pdf ppt

• 12. Partial Order Planning, Graphplan, Heuristisches Planen (Folien siehe 11.)

• 13. Maschinelles Lernen - Entscheidungsbäume, Versionsräume, induktive Logikprogrammierung pdf ppt

• 14. Maschinelles Lernen - Instanzbasiertes Lernen; Data Mining (Folien siehe 13.)

• 15. Klausurvorbereitung