Logische Grundlagen Der Künstlichen Intelligenz

ISBN-13: 9783528046385 / Niemiecki / Miękka / 1989 / 576 str.

Michael R. Genesereth; Nils J. Nilsson; Nils J. Nilsson

Opis

Dieses Buch basiert auf zwei zentralen Annahmen: Fur den wissen schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen notig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung uber Kunstliche Intelligenz (KI) verwendeten Mathe matik. Beide Behauptungen mussen begrundet werden. Man sollte allerdings meinen, unser erster Grundsatz fande ei gentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissen schaftsgebieten, in denen das Wissen hauptsachlich an die Praxis und empirische Fallstudien gebunden ist, vehemente Einwande gegen die Versuche einer Mathematisierung. (Einer der Autoren erinnert sich beispielsweise daran, wie sich in den 50-er Jahren einige Elektroingenieure daruber beklagten, dass zum Verstandnis von elek trischen Schaltkreisen und Kontrollsystemen Differentialglei chungen doch vollig unnotig seinen ) Wir behaupten nicht, dass das Wissen um die mathematischen Grundlagen und Techniken einer Diszi plin allein ausreicht, um in der Forschung oder in der Praxis er folgreich zu sein. Wir sind allerdings der Meinung, dass zu einem VIII Vorwort erfolgreichem Studium der modernen, insbesonders technisch orien tierten Wissenschaftsdisziplinen immer auch ein solides mathema tisches Handwerkszeug der jeweiligen Disziplin gehort. Das Studium dieser Grundlagen bietet die Voraussetzungen, um die jeweilige Disziplin interpretieren, verstehen und ausbauen zu konnen. Da die KI eine noch relativ junge Disziplin ist, ist es nicht verwunderlich, dass es hitzige und geistreiche Debatten zwischen "Formalisten" und "Experimentalisten" gibt. Die Formalisten mei nen, die Experimentalisten kamen schneller voran, wenn sie ein tieferes Verstandnis der theoretischen Grundlagen der KI besassen."

Spis treści

Inhalt: Deklaratives Wissen - Inferenz - Resolution - Resolutionsstrategien - Nicht-Monotones Schließen - Induktion - Schlußfolgern bei unsicheren Überzeugungen - Wissen und Glaubenseinstellungen - Meta-Wissen, Meta-Inferenz - Zustände und Zustandswechsel - Planen - Architekturen intelligenter Agenten.