{"product_id":"zur-logik-der-logik-programmierung-ein-konstruktiver-ansatz-von-clemens-beckstein","title":"Zur Logik der Logik-Programmierung","description":"\u003cp\u003eEigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die er­ ste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veroffentlichungen iiberschrieben hat: \"If PROLOG is the answer, what is the question?\". Sie sollte mir die vergangenen drei Jahre nicnt mehr aus dem Kopf gehen. Heute mochte ich die Frage erweitern: \" . . . and given the ques­ tion, is PROLOG the answer?\". Die zweite Provokation hii. ngt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein dera. . rtiges Truth-Maintenance-System in einem Logik­ Programmiersystem spielen konnte. DeKleer selbst schatzt diese Rolle in per­ sonlichen Au6erungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht-recht, wenn er unter Logik-Programmierung im we­ sentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefa6t wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwahnten Aus­ sagen waren deKleer und Bobrow von zentraler Bedeutung fiir diese Arbeit. Ih­ nen gilt deshalb mein erster Dank. Sodann mochte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaft­ lichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fiirsprache ist es zuzuschreiben, da6 die vorliegende Ar­ beit durchein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens­ Stipendium, gefordert wurde. Ohne den damit verbundenen finanziellen Spiel­ raU1p· hatten viele wert volle Gesprache mit auslandischen Kollegen auf Tagungen und Studienreisen nicht stattfinden konnen. Besonderer Dank gebiihrt auch meinem Doktorvater Prof. Dr. H. Wedekind.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540507208\"\u003e\u003ch3\u003eEin konstruktiver Ansatz\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540507208","offer_id":39426781216861,"sku":"9783540507208","price":54.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/80445200-361a-458c-a0d1-05aa7f6a5773.jpg?v=1743746226","url":"https:\/\/shop.autorenwelt.de\/products\/zur-logik-der-logik-programmierung-ein-konstruktiver-ansatz-von-clemens-beckstein","provider":"Autorenwelt Shop","version":"1.0","type":"link"}