Logische Grundlagen der Knstlichen Intelligenz [Paperback]

Das Buch ist die deutsche ?bersetzung des Standardwerkes der Stanforder Professoren Michael R. Genesereth und Nils J. Nilsson.Im Unterschied zu deutschen Lehrb?chern der Informatik zeichnet sich das Buch dadurch aus, da? es einen gut lesbaren ?berblick gibt, ohne allzu formalistisch zu werden, gleichwohl aber von hohem Niveau ist und die Ergebnisse j?ngster Forschung ber?cksichtigt. Das Buch empfiehlt sich sowohl f?r Studenten und Dozenten der Inf ormatik, aber auch f?r Forscher aus anderen Gebieten, die von den Grundlagen der K?nstlichen Intelligenz profitieren m?chten.Dieses Buch basiert auf zwei zentralen Annahmen: F?r den wissen? schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen n?tig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung ?ber K?nstliche Intelligenz (KI) verwendeten Mathe? matik. Beide Behauptungen m?ssen begr?ndet werden. Man sollte allerdings meinen, unser erster Grundsatz f?nde ei? gentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissen? schaftsgebieten, in denen das Wissen haupts?chlich an die Praxis und empirische Fallstudien gebunden ist, vehemente Einw?nde gegen die Versuche einer Mathematisierung. (Einer der Autoren erinnert sich beispielsweise daran, wie sich in den 50-er Jahren einige Elektroingenieure dar?ber beklagten, da? zum Verst?ndnis von elek? trischen Schaltkreisen und Kontrollsystemen Differentialglei? chungen doch v?llig unn?tig seinen!) Wir behaupten nicht, da? 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, da? zu einem VIII Vorwort erfolgreichem Studium der modernen, insbesonders technisch orien? tierten Wissenschaftsdisziplinen immer auch ein solides mathema? tisches Handwerkszeug der jeweiligen Disziplin geh?rtlS°