Zur Logik der Logik-Programmierung Ein konstruktiver Ansatz [Paperback]

1 Einleitung.- 1.1 Motivation.- 1.1.1 Logik als Analysewerkzeu.- 1.1.2 Logik als Repr?sentations- und Schlu?Werkzeu.- 1.1.3 Logik als Programmiersprach.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Pr?dikatenlogik.- 2.1.1 Grundbegriffe der Pr?dikatenlogik.- 2.1.2 Pr?dikatenlogische Formeln in Klauselform.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2.3.1 Einfache Resolution.- 2.3.2 Resolution mit Unifikation.- 2.3.3 Resolutionsstrategien.- 2.3.3.1 Elimination von Tautologien.- 2.3.3.2 Set-of-support-Resolution.- 2.3.3.3 P1-und N1-Resolution.- 2.3.3.4 Hyperresolution.- 2.3.3.5 Input-Resolution.- 2.3.3.6 Lineare Resolution.- 2.3.3.7 Einheits-Resolution.- 2.3.3.8 Subsumtions-Resolution.- 2.4 Antwortsubstitutionen.- 2.5 Semantik von Logik-Programmen.- 2.5.1 Modelltheoretische Semantik.- 2.5.2 Semantik des kleinsten Fixpunktes.- 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.1.1 SLD-Widerlegungen.- 4.1.2 SLD-B?ume.- 4.2 PROLOG.- 4.2.1 Suchstrategie von PROLOG.- 4.2.2 Nicht-logische Eigenschaften von PROLOG.- 4.2.2.1 Meta-logische Pr?dikate und Meta-Variablen.- 4.2.2.2 Die Operatoren CUT und FAIL.- 4.2.2.3 Die Operatoren ASSERT und RETRACT.- 4.2.3 Res?mee.- 4.3 FWD-Beweise.- 4.3.1 FWD-Ableitungen.- 4.3.2 FWD-Graphen.- 4.3.3 SLD-Resolution versus FWD-Beweisen.- 4.4 Berechenbarkeitsaspekte.- 5 Die Grenzen der Ausdruckskraft.- 5.1 Konstruktivistische Aspekte.- 5.2 Dialogische Logik und Logik-Programmierung.- 5.2.1 Grundbegriffe der Dialogischen Logik.- 5.2.2 Dialogische Logik versus SLD-Resolution.- 5.2.3 Dialogische versus Klassische Logik.- 5.3 Negation.- 5.3.1 Closed World Assumption.- 5.3.2 Finite Failure und Negation as Failure.- 5.3.3 Vervollst?ndigungen von Logik-Programmen.- 5.4 Res?mee.- 6 Reason-Maintenance-Systeme.- 6.1 Grundbegriffe des Reason-Maintenance.- 6.2 Negation und ReaslãT