Künstliche Intelligenz

Thomas Christaller

ISBN 10: 3540189033 / ISBN 13: 9783540189039

Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1988, 1988

Riguardo questo articolo

Neuware -Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 'Künstliche Intelligenz und Mustererkennung' der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Deutsch.

Codice articolo 9783540189039

Dati bibliografici

• Titolo: Künstliche Intelligenz
• Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1988
• Data di pubblicazione: 1988
• Lingua: Tedesco
• ISBN 10: 3540189033
• ISBN 13: 9783540189039
• Rilegatura: Taschenbuch
• Condizione: Neu

Descrizione articolo

Riassunto

Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.

Contenuti

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.