Blick ins Buch

Zur Logik der Logik-Programmierung

Ein konstruktiver Ansatz

Clemens Beckstein (Autor)

Buch | Softcover

IX, 246 Seiten

1988
Springer Berlin (Verlag)
978-3-540-50720-8 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

1 Einleitung.- 1.1 Motivation.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Prädikatenlogik.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2.4 Antwortsubstitutionen.- 2.5 Semantik von Logik-Programmen.- 3 Die deklarativ/prozedural-Kontroverse.- 3.1 PLANNER.- 3.2 CONNIVER.- 3.3 Aktorensysteme.- 3.4 Lehren aus dieser Diskussion.- 4 Logik-Programmierung.- 4.1 SLD-Resolution.- 4.2 PROLOG.- 4.3 FWD-Beweise.- 4.4 Berechenbarkeitsaspekte.- 5 Die Grenzen der Ausdruckskraft.- 5.1 Konstruktivistische Aspekte.- 5.2 Dialogische Logik und Logik-Programmierung.- 5.3 Negation.- 5.4 Resümee.- 6 Reason-Maintenance-Systeme.- 6.1 Grundbegriffe des Reason-Maintenance.- 6.2 Negation und Reason-Maintenance.- 6.3 Multiple Welten: DeKleers ATMS.- 7 Ein vereinheitlichender Ansatz: RISC.- 7.1 Unterstützung von S LD-Resolution.- 7.2 Veränderliche Theorien.- 7.3 Hypothetisches Schließen.- 7.4 Ein Beispiel.- 7.5 Diskussion vergleichbarer Ansätze.- 8 Zusammenfassung und Ausblick.

Erscheint lt. Verlag	21.12.1988
Reihe/Serie	Informatik-Fachberichte
Reihe/Serie	Subreihe Künstliche Intelligenz
Zusatzinfo	IX, 246 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	436 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Berechenbarkeit • Beweis • Künstliche Intelligenz • Logik • Prädikate • Prädikatenlogik • Programmiersprache • PROLOG
ISBN-10	3-540-50720-5 / 3540507205
ISBN-13	978-3-540-50720-8 / 9783540507208
Zustand	Neuware