Künstliche Intelligenz: Theoretische Grundlagen Und Anwendungsfelder Frühjahrsschulen, Dassel, 8.-16. März 1985 Und 8.-16.März 1986

ISBN-13: 9783540189039 / Niemiecki / Mikrofilm / 1988 / 341 str.

Thomas Christaller; Hans-Werner Hein; Michael M. Richter

Opis

Die deutsche Fruhjahrsschule fur Kunstliche Intelligenz, jahrlich veranstaltet von der Fachgruppe 1.2 "Kunstliche Intelligenz und Mustererkennung" der Gesellschaft fur Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Fruhjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrossert die thematische Vielfalt des bereits Verfugbaren um neuartige Einfuhrungen in LISP und PROLOG, sowie ausfuhrliche Beitrage uber Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen."

Spis treści

Einführung in LISP.- PROLOG: PROgrammieren mit LOGik Eine Einführung.- Robotik und Kunstliche Intelligenz.- Programmverifikation.- Qualitative Modelle in Wissensbasierten Systemen.- Kognitive Modellierung: Menschliche Wissensrepräsentationen und Verarbeitungsstrategien.- Automatisches Beweisen.