MIN-Fakultät
Fachbereich Informatik
Arbeitsbereich Wissens- und Sprachverarbeitung

64-240 Vorlesung: GWV - Wissensbasierte Systeme
Wintersemester 2012/13

Veranstalter
Christopher Habel
Zeit/Ort
Mo 10-12 F-132
Inhalt
In der Vorlesung werden theoretische und praktische Grundkenntnisse zur Wissensrepräsentation und Wissensverarbeitung vermittelt. Dabei werden verschiedene Aufgabenstellungen, in denen wissensbasierte Systeme angewandt werden können, beispielhaft diskutiert. Themen sind u.a.:

Typen wissensbasierter Systeme, Typen autonomer Agenten

Grundlagen der Wissensrepräsentation
  • Qualitative und quantitative Ansätze
  • Symbolische und netzartige Ansätze
  • Ansätze zur Repräsentation und Verarbeitung von sicherem und unsicherem Wissen

Basale Verfahren der Wissensverarbeitung
  • Maschinelles Schließen (vollständige und korrekte Verfahren)
  • Suchen, Planen (heuristische Verfahren)

Wissensbasierte Lösung komplexer Probleme
  • Planen, Diagnose, Konfiguration, Entscheidungsunterstützung
  • Architektur wissensbasierter Systeme
Vorgehen
Vorlesung
Literatur
David Poole and Alan Mackworth, Artificial Intelligence: Foundations of Computational Agents, Cambridge University Press, 2010 HTML-Version
Folien
Die Folien sind nur von Rechnern der Informatik aus zugänglich.
Zu jedem in sich geschlossenen Themenkomplex (Kapitel des Buches von Poole & Mackworth, 2010) kann hier ein Foliensatz heruntergeladen werden. Diese Foliensätze bestehen im Wesentlichen aus den Originalvorlesungsfolien von D. Poole (zu finden hier), die zum Teil mit Kommentaren versehen sind. Zusätzlich sind Ergänzungsfolien (CH) mit eigener Seitenzählung eingefügt. Alle Folien der Vorlesung 2011/12 sind auf der Seite des Vorjahres link bereitgestellt. Diese Folien werden während des laufenden Semesters durch aktualisierte Folien ersetzt, ergänzt und somit überschrieben werden. (Für die Prüfungen relevant sind die aktuellen Inhalte des laufenden Wintersemesters, und somit die aktualisierten Foliensätze.)
Organization

Artificial Intelligence and Agents

Agent Architectures and Hierarchical Control

States and Searching

Constraints and Features

Propositions and Inference

Reasoning under Uncertainty
  • Kapitel 6 pdf

Planning with Certainty

Planning under Uncertainty