Zur Logik der Logik-Programmierung

Name: Zur Logik der Logik-Programmierung
Brand: Springer, Berlin
SKU: 9783540507208
Price: 1178 CZK
Availability: InStock

Ein konstruktiver Ansatz

Autor: Clemens Beckstein

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 178 Kč

Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die er ste Provokation stammt vo...

Informace o knize

Autor

Clemens Beckstein

Jazyk

Němčina

Vazba

Kniha - Brožovaná

Vydáno

1988

Stránek

246

EAN

9783540507208

ISBN

3540507205

Enbook ID

06807888

Vydavatel

Springer, Berlin

Hmotnost

436

Rozměry

170 x 244 x 14

Kompletní popis

Eigentlich 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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Zur Logik der Logik-Programmierung

Ein konstruktiver Ansatz

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také