Materialien zur Vorlesung

Wissensbasierte Systeme

SS 08

Prof.Dr. Gerhard Brewka

1. Einführung Folien
2. Problemlösen und Suche Folien
3. Constraint Satisfaction Folien
4. Was Sie von Logik (noch) wissen sollten Folien (umfangreiches Hintergrundmaterial: Folien 1 Folien 2 R. Brachmann/H. Levesque)
5. Beschreibungslogiken - eine kurze Einführung (Folien1 Folien2(relevant 1-9) F. Baader)
6. a) Regelbasierte Systeme Folien b) Motivation nichtmonotones Schließen Word Dokument
7. Logikprogrammierung und Answer Sets - Einführung Folien
8. Berechnung von Answer Sets - Smodels - Kardinalitätsconstraints Folien (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 Folien
12. Partial Order Planning, Graphplan, Heuristisches Planen (Folien siehe 11.)
13. Maschinelles Lernen - Entscheidungsbäume, Versionsräume, induktive Logikprogrammierung Folien
14. Maschinelles Lernen - Instanzbasiertes Lernen; Data Mining (Folien siehe 13.)
15. Klausurvorbereitung