Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der
KI-Frühjahrsschule 1987 gehalten wurden. Die
Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in
der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit
1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI)
veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in
repräsentative Teilbereiche der Künstlichen Intelligenz als auch
tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der
Sammelband behandelt die Gebiete Logisches Programmieren,
Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme.
Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden
Themen dieser Gebiete didaktisch aufzuarbeiten.