Materialien zur Vorlesung

Wissensbasierte Systeme

SS 11

Prof. Dr. Gerhard Brewka

Übungen: Ringo Baumann

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) Motivation nichtmonotones Schließen 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