Inhalt
| Inhalt |
2 Aussagenlogik
2.1 Syntax
2.2 Semantik
2.3 Beweisverfahren
2.4 Resolution
2.5 Hornklauseln
2.6 Berechenbarkeit und Komplexität
2.7 Anwendungen und Grenzen
2.8 Übungen
3 Prädikatenlogik erster Stufe
3.1 Syntax
3.2 Semantik
3.2.1 Gleichheit
3.3 Quantoren und Normalformen
3.4 Beweiskalküle
3.5 Resolution
3.5.1 Resolutionsstrategien
3.5.2 Gleichheit
3.6 Automatische Theorembeweiser
3.7 Mathematische Beispiele
3.8 Anwendungen
3.9 Zusammenfassung
3.10 Übungen
4 Grenzen der Logik
4.1 Das Suchraumproblem
4.2 Entscheidbarkeit und Unvollständigkeit
4.3 Der fliegende Pinguin
4.4 Modellierung von Unsicherheit
4.5 Übungen
5 Logikprogrammierung mit PROLOG
5.1 PROLOG Systeme und Implementierungen
5.2 Einfache Beispiele
5.3 Ablaufsteuerung und prozedurale Elemente
5.4 Listen
5.5 Selbstmodifizierende Programme
5.6 Ein Planungsbeispiel
5.7 Constraint Logic Programming
5.8 Zusammenfassung
5.9 Übungen |
| Literatur |
http://www.cs.berkeley.edu/~russell/aima.html
S. Russell and P. Norvig
Artificial Intelligence: A Modern Approach
http://erde.fbe.fh-weingarten.de/ertel/vorlesungen/ki/ki.html
W. Ertel: Künstliche Intelligenz, Vieweg (erscheint 2007)
J. Dassow: Logik für Informatiker, Teubner Verlag, 2005 |
| Lernziele |
Der Student soll Syntax und Semantik der Aussagenlogik und der Prädikatenlogik 1. Stufe verstehen. Ausserdem soll er die Mechanisiserung der Logik in Form des Resolutionskalküls verstehen und einfache Probleme mit der Programmiersprache PROLOG lösen können. |
