Format:
1 Online-Ressource (IX, 246S. 246 Abb)
ISBN:
9783642744037
,
9783540507208
Series Statement:
Informatik-Fachberichte 199
Note:
Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die erste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veröffentlichungen überschrieben hat: "If PROLOG is the answer, what is the question?". Sie sollte mir die vergangenen drei Jahre nicht mehr aus dem Kopf gehen. Heute möchte ich die Frage erweitern: " . . . and given the question, is PROLOG the answer?". Die zweite Provokation hängt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein derartiges Truth-Maintenance-System in einem Logik Programmiersystem spielen konnte. DeKleer selbst schätzt diese Rolle in persönlichen Äußerungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht - recht, wenn er unter Logik-Programmierung im wesentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefaßt wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwähnten Aussagen waren deKleer und Bobrow von zentraler Bedeutung für diese Arbeit. Ihnen gilt deshalb mein erster Dank. Sodann möchte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaftlichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fürsprache ist es zuzuschreiben, daß die vorliegende Arbeit durch ein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens Stipendium, gefördert wurde. Ohne den damit verbundenen finanziellen Spielraum hätten viele wertvolle Gespräche mit ausländischen Kollegen auf Tagungen und Studienreisen nicht stattfinden können. Besonderer Dank gebührt auch meinem Doktorvater Prof. Dr. H. Wedekind
Language:
German
Keywords:
RISC
;
Logik
;
Programmierung
;
Logische Programmierung
;
Hochschulschrift
;
Electronic books.
DOI:
10.1007/978-3-642-74403-7
URL:
https://ebookcentral.proquest.com/lib/th-brandenburg/detail.action?docID=6856997
Author information:
Beckstein, Clemens 1960-
