Künstliche Intelligenz: 5. Frühjahrsschule, Kifs-87, Günne, 28. März - 5. April 1987 Proceedings (informatik-fachberichte) (german Edition)

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. Front Matter....Pages N2-vii Methodik des Programmierens in Prolog....Pages 1-28 Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung....Pages 29-41 Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs....Pages 42-64 Many-Sorted Resolution....Pages 65-102 Wissensrepräsentation....Pages 103-156 Neuere KI-Formalismen zur Repräsentation von Wissen Eine Fallstudie....Pages 157-187 Nichtmonotone Logiken Ein einführender Überblick....Pages 188-217 Formalizing Local Constraint Propagation Methods....Pages 218-260 Knowledge Engineering mit einer Expertensystem-Shell....Pages 261-294 Techniken des Wissenserwerbs....Pages 295-335 Tutors, Instructions and Helps....Pages 336-385 Belief Systems: Ascribing Belief....Pages 386-403 Back Matter....Pages 405-405 Dieser Band enthalt aufbereitete Darstellungen der Kurse, die auf der KI-Fruhjahrsschule 1987 gehalten wurden. Die Kunstliche-Intelligenz-Fruhjahrsschule 1987, KIFS-87, ist die funfte in der Reihe von Fruhjahrsschulen uber Kunstliche Intelligenz, die seit 1982 vom Fachausschuss 1.2 der Gesellschaft fur Informatik (GI) veranstaltet werden.