Abstract
Wir entwickeln in diesem Papier Beweiser für Moore’s autoepistemische Logik (AEL) und Reiter’s Defaultlogik (DL), die alle Extensionen bestimmen und auch inkohärente Theorien (d.h. solche ohne Extension) bearbeiten können. Allerdings betrachten wir nur endliche Theorien und fordern, daß die klassische Ableitbarkeit für die zugrundeliegende Sprache erster Stufe entscheidbar ist. In einem ersten Schritt reduzieren wir Extensionen auf zugrundeliegende Annahmenmengen, genannt Extensionsbasen, die wir ebenfalls durch ein Fixpunktkriterium beschreiben. Danach entwerfen wir Generate&Test-Algorithmen zur Berechnung der Extensionsbasen. Diese versuchen möglichst früh, die Nicht-Ableitbarkeit einer Formel zu überprüfen, was ein großes technisches Problem in AEL und DL ist. Dazu werden alle minimalen und konsistenten Annahmenmengen herangezogen, aus denen eine Formel folgt. Diese müssen wiederum von einem (abduktiven) klassischen Beweiser bestimmt werden.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
G. Brewka, Nonmonotonic Reasoning: From Theoretical Foundation Towards Efficient Computation, Dissertation, Universität Hamburg, 1989
J. de Kleer, An Assumption-based TMS, Artificial Intelligence 28
J. de Kleer, A General Labelling Algorithm for Assumption-based Truth Maintenance, Proceedings AAAI88
J. Doyle, A Truth Maintenance System, Artificial Intelligence 12
O. Dressier, An Extended Basic ATMS, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, Springer LNCS 346
D. Etherington, Formalizing Nonmonotonic Reasoning Systems, Artificial Intelligence 31
M. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence 4
. Junker, A Correct Non-Monotonic ATMS, erscheint in: Proceedings IJCAI89
Junker, Non-Monotonic Provers for AEL and DL, erscheint als interner Bericht
K. Konolige, On the Relation between Default and Autoepistemic Logic, Artificial Intelligence 35
K. Konolige, Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, Springer LNCS 346
R. Moore, Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25
M. Reinfrank, O. Dressier, G. Brewka, On the Relation between Truth Maintenance and Autoepistemic Logic, erscheint in: Proceedings IJCAI 89
R. Reiter, A Logic for Default Reasoning, Artificial Intelligence 13
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Junker, U. (1989). Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-75100-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51743-6
Online ISBN: 978-3-642-75100-4
eBook Packages: Springer Book Archive