Blick ins Buch

Künstliche Intelligenz

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

Thomas Christaller (Herausgeber)

Buch | Softcover

VII, 403 Seiten

1989
Springer Berlin (Verlag)
978-3-540-50884-7 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

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.

Erscheint lt. Verlag	2.3.1989
Reihe/Serie	Informatik-Fachberichte
Reihe/Serie	Subreihe Künstliche Intelligenz
Zusatzinfo	VII, 403 S. 3 Abb.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	755 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Expertensystem • Künstliche Intelligenz • Logisches Programmieren • Nichtmonotone Logik • PROLOG • Wissen • Wissensakquisition • Wissensrepräsentation
ISBN-10	3-540-50884-8 / 3540508848
ISBN-13	978-3-540-50884-7 / 9783540508847
Zustand	Neuware