Defaults in deduktiven Datenbanken

LITERATURVERZEICHNIS 189[Plü90]Dieses Lehrbuch ist eine umfassende Einführung in neuere deduktive Datenbankenam Beispiel der Sprache LDL (288 Seiten).L. Plümer: Termination Proofs for Logic Programs. LNAI 446. Springer-Verlag, Berlin, 1990.In diesem Buch wird ein Verfahren zur automatischen Herleitung von Terminierungsbeweisenfür logische Programme vorgestellt (142 Seiten).[Poo88] D. Poole: A logical framework for default reasoning. Artificial Intelligence36 (1988), 27–47.[Prz89][Prz91][Pup91][Rei78]In dieser Arbeit wurden die einfachen Defaults eingeführt, die also nur aus einerprädikatenlogischen Formel bestehen. Allerdings definiert Poole nur diemaximalen Extensionen, und nicht, was bei mehreren maximalen Extensionenzu geschehen hat. Auch betrachtet er keine Prioritäten. Dafür führt er ”Constraints“ein, die die Anwendbarkeit der Defaults beschränken (21 Seiten).T. C. Przymusinski: An algorithm to compute circumscription. ArtificialIntelligence 38 (1989), 49–73.In dieser Arbeit schlägt Przymusinski einen Antwortalgorithmus für dieVariablen-Circumscription vor, der auf der OL-Resolventenmethode basiert.Allerdings wird nicht herausgestellt, welche Defaults verwendet werden, undder Algorithmus wird nur für Klauseln ohne Variablen angegeben. Er ist demAlgorithmus in [Gin89] recht ähnlich und arbeitet wie dieser mehrphasig (imUnterschied zu dem Algorithmus in [Bra92b]) (25 Seiten).T. C. Przymusinski: Semantics of disjunctive logic programs and deductivedatabases. In C. Delobel, M. Kifer, Y. Masunaga (eds.), Deductive andObject-Oriented Databases, 2nd Int. Conf. (DOOD’91), 85–107, LNCS 566,Springer-Verlag, Berlin, 1991.In dieser Arbeit wird gezeigt, daß die stationäre Semantik logischer Programme,die als Verallgemeinerung der well-founded Semantik eigentlich einedreiwerige Semantik ist, sich auch in der Prädikatenlogik beschreiben läßt,wenn man neue Prädikatsymbole not p einführt (23 Seiten).F. Puppe: Einführung in Expertensysteme, zweite auflage edition. StudienreiheInformatik. Springer-Verlag, Berlin, 1991.Dieses Buch gibt eine umfassende Einführung in Expertensysteme (215 Seiten).R. Reiter: On closed world data bases. In H. Gallaire, J. Minker (eds.),Logic and Data Bases, 55–76, Plenum, New York, 1978.In dieser Arbeit wurde die originale CWA eingeführt. Daneben enthält sieaber auch einige Gedanken zur Anfrageauswertung und zur Übersetzung vonlogischen Formeln in Ausdrücke der Relationenalgebra (22 Seiten).[Rei80] R. Reiter: A logic for default reasoning. Artificial Intelligence 13 (1980),81–132.