Dieses Buch basiert auf zwei zentralen Annahmen: Fr den wissen schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen ntig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung ber Knstliche Intelligenz (KI) verwendeten Mathe matik. Beide Behauptungen mssen begrndet werden. Man sollte allerdings meinen, unser erster Grundsatz fnde ei gentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissen schaftsgebieten, in denen das Wissen hauptschlich an die Praxis und empirische Fallstudien gebunden ist, vehemente Einwnde gegen die Versuche einer Mathematisierung. (Einer der Autoren erinnert sich beispielsweise daran, wie sich in den 50-er Jahren einige Elektroingenieure darber beklagten, da zum Verstndnis von elek trischen Schaltkreisen und Kontrollsystemen Differentialglei chungen doch vllig unntig 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 gehrt. Das Studium dieser Grundlagen bietet die Voraussetzungen, um die jeweilige Disziplin interpretieren, verstehen und ausbauen zu knnen. Da die KI eine noch relativ junge Disziplin ist, ist es nicht verwunderlich, da es hitzige und geistreiche Debatten zwischen "Formalisten" und "Experimentalisten" gibt. Die Formalisten mei nen, dieExperimentalisten kmen schneller voran, wenn sie ein tieferes Verstndnis der theoretischen Grundlagen der KI besen.