Methoden der Künstlichen Intelligenz
Vorlesung im Wintersemester 2001/02 Bernhard Jung, Universität Bielefeld
1. KI und symbolische Repräsentation
18.10.01 Einführung, Intelligente Agenten
25.10.01 Interne Repräsentation, Prädikatenlogik, alternative Notationen 2. Logik und Inferenz
8.11.01 Schlußfolgern in PL1, Skolemisierung, Unifikation, Resolution 15.11.01 Theorembeweisen. Logisches und Regelbasiertes Programmieren 3. Wissensrepräsentation und Modellierung
22.11.01 Repräsentationssprachen
29.11.01 Kategorien und Wissensmodellierung 4. Problemlösen und Suche
6.12.01 Suchprobleme und Suchalgorithmen; Heuristische Suche
13.12.01 Suche: Vermeidung wiederholter Zustände; Goal Trees; Game Trees 20.12.01 Constraint Satisfaction, Planen
5. Spezielle Schlußverfahren
10.1.02 Probabilistisches Schließen; nichtmonotones Schließen 17.1.02 Temporales und räumliches Schließen
6. Intelligente Systeme
24.1.02 Sprachverstehende Systeme 31.1.02 Einführung in Expertensysteme 7.2.02 Einführung in Agentensysteme 14.2.02 Embodied Conversational Agents