Künstliche Intelligenz

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

Paperback Duits 1989 9783540508847
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783540508847
Taal:Duits
Bindwijze:paperback
Aantal pagina's:403
Uitgever:Springer Berlin Heidelberg

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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.

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Künstliche Intelligenz