Lehr- und Forschungseinheit für
Programmier- und Modellierungssprachen,
Institut für Informatik der Ludwig-Maximilians-Universität München
Vorlesung "Wissensrepräsentation und wissensbasierte Systeme" (WS 95/96)
- Vorlesung:
- Wissensrepräsentation und wissensbasierte Systeme.
(PG, A) 4+2
- Dozent:
François Bry
- Zeit und Ort:
Mi 16-18, Do 11-13, Raum 122, Theresienstr.
- Übung:
- Betreuer:
Slim Abdennadher
- Zeit und Ort:
Mo 17-19, Raum 05/6 Wagmüllerstr. 23
- für:
- Haupt- und Nebenfach Informatik
- Vorkenntnisse:
- Grundkenntnisse in Informatik.
Nützlich wären Grundkenntnisse in Logik
und symbolischer Programmierung
- Schein:
- Gilt für Diplomprüfung
Haupt- und Nebenfach Informatik,
Hauptprüfung für das Lehramt an Gymnasien:
Erweiterungsfach Informatik.
zurück zum Inhaltsverzeichnis dieser Seite
Herkömmliche Programmierparadigmen erweisen sich
als ungeeignet zur Lösung
von gewissen Klassen von Anwendungen und Problemen,
wofür algorithmische Lösungen
nicht offensichtlich bzw. nicht bekannt sind.
Wissensbasierte Systeme (WBS) bieten Lösungsansätze
für solche "unscharfen" Problemstellungen.
WBS ahmen das menschliche Denken in manchen Aspekten nach:
-
Das Wissen über die Anwendung und über die Lösungsmethoden
wird getrennt spezifiziert.
-
Im allgemeinen sind in WBS
mehrere Strategien und Lösungsmethoden vorhanden.
-
Das Wissen wird
in anwendungsnahen Formalismen repräsentiert
In der Vorlesung werden behandelt:
Struktur und Komponenten eines WBS;
uninformierte und informierte Suche;
Logik zur Wissensrepräsentation und
Deduktion zur Problemlösung;
Logikprogrammierung;
regelbasierte Systeme;
semantische Netze und Frames;
objektorientierte Wissensrepräsentation;
Darstellung von unscharfem Wissen;
indirekte Wissensrepräsentation
(modellbasierte Diagnose und fallbasiertes Schließen).
zurück zum Inhaltsverzeichnis dieser Seite
- M. Ginsberg:
Essentials of Artificial Intelligence,
Morgan Kaufmann, 1993.
- P.H. Winston:
Artificial Intelligence, 3rd edition,
Addison-Wesley, 1992.
zurück zum Inhaltsverzeichnis dieser Seite
zurück zum Inhaltsverzeichnis dieser Seite
Jede Woche wird in der Vorlesung ein Übungsblatt verteilt
und in der Übungsstunde besprochen.
Die Übungsblätter sind zusätzlich hier zugänglich.
-
Übungsblatt 1 (20.11.95):
Uninformierte Suche
-
Übungsblatt 2 (27.11.95):
Informierte Suche
-
Übungsblatt 3 (4.12.95):
Informierte Suche
-
Übungsblatt 4 (11.12.95):
Logik
-
Übungsblatt 5 (18.12.95):
Logik
-
Übungsblatt 6 (8.1.96):
Logik
-
Übungsblatt 7 (15.1.96):
Logik
-
Übungsblatt 8 (22.1.96):
Logik
-
Übungsblatt 9 (29.1.96):
Logikprogrammierung
-
Übungsblatt 10 (5.2.96):
Regelbasierte Systeme
-
Übungsblatt 11 (12.2.96):
Semantische Netze und Frames
-
Übungsblatt 12 (19.2.96):
Repräsentation unscharfes Wissens
zurück zum Inhaltsverzeichnis dieser Seite
Lehr- und Forschungseinheit
Institut
Universität
Norbert.Eisinger@informatik.uni-muenchen.de, 1995-09-29