3 Review(s)

Dieses Buch basiert auf zwei zentralen Annahmen: Fuer den wissen- schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen noetig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung ueber Kuenstliche Intelligenz (KI) verwendeten Mathe- matik. Beide Behauptungen muessen begruendet werden. Man sollte allerdings meinen, unser erster Grundsatz faende ei- gentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissen- schaftsgebieten, in denen das Wissen hauptsaechlich an die Praxis und empirische Fallstudien gebunden ist, vehemente Einwaende gegen die Versuche einer Mathematisierung. (Einer der Autoren erinnert sich beispielsweise daran, wie sich in den 50-er Jahren einige Elektroingenieure darueber beklagten, dass zum Verstaendnis von elek- trischen Schaltkreisen und Kontrollsystemen Differentialglei- chungen doch voellig unnoetig 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 gehoert. Das Studium dieser Grundlagen bietet die Voraussetzungen, um die jeweilige Disziplin interpretieren, verstehen und ausbauen zu koennen. 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, dieExperimentalisten kaemen schneller voran, wenn sie ein tieferes Verstaendnis der theoretischen Grundlagen der KI besaessen.