Künstliche Intelligenz: 5. Frühjahrsschule, KIFS-87, Günne, 28. März – 5. April 1987 Proceedings

ISBN-13: 9783540508847 / Niemiecki / Miękka / 1989 / 403 str.

Thomas Christaller

Opis

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. Aufgabe der KIFS ist es, sowohl Einfuhrungen in reprasentative Teilbereiche der Kunstlichen 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 Erganzung zu den vorhandenen KIFS-Banden Themen dieser Gebiete didaktisch aufzuarbeiten."

Spis treści

I Logisches Programmieren.- Methodik des Programmierens in Prolog.- Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung.- Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs.- Many-Sorted Resolution.- II Wissensrepräsentation.- Wissensrepräsentation. Grundkurs.- Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie.- Nichtmonotone Logiken. Ein einführender Überblick.- Formalizing Local Constraint Propagation Methods.- III Wissensakquisition.- Knowledge Engineering mit einer Expertensystem-Shell.- Techniken des Wissenserwerbs.- IV Intelligente Tutorsysteme und Belief-Systeme.- Tutors, Instructions and Helps.- Belief Systems: Ascribing Belief.