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