Abstract
We present a uniform framework for implementing the variety of consistency checks needed for an implementation platform for query-answering in default logics. Our approach is centered around the concept of local proof procedures that allow for validating each inference step when it is performed. The resulting system is unique in offering simultaneously the expressiveness of multiple default logics.
Preview
Unable to display preview. Download preview PDF.
References
P Besnard & T. Schaub. An approach to context-based default reasoning. Fundamenta Informaticae, 23(2-4):175–223, 1995.
W. Bibel. Automated Theorem Proving. Vieweg, 1987.
G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50(2):183–205, 1991.
S. Brüning & T. Schaub. A model-based approach to consistency-checking. In Z. Ras & M. Michalewicz, Int'l Symp. on Methodologies for Intell. Systems, 315–324. Springer, 1996.
J. Delgrande, T. Schaub & W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1-2):167–237, 1994.
L. Giordano & A. Martinelli. On cumulative default logics. Artificial Intelligence, 66(1):161–179, 1994.
T Linke & T. Schaub. Towards a classification of default logics. Journal of Applied Non-Classical Logics, 1997. To appear.
W. Lukaszewicz. Considerations on default logic-an alternative approach. Computational Intelligence, 4:1–16, 1988.
A. Mikitiuk & M. Truszczynski. Rational default logic and disjunctive logic programming. In A. Nerode & L. Pereira, Int'l Workshop on logic Programming and Non-monotonic Reasoning., 283–299. MIT Press, 1993.
D. Poole. What the lottery paradox tells us about default reasoning. In R. Brachman et al., Int'l Conf. on the Principles of Knowledge Representation and Reasoning, 333–340, 1989. Morgan Kaufmann.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81–132, 1980.
T Schaub & S. Brüning. Prolog technology for default reasoning. In W. Wahlster, Europ. Conf. on Artificial Intelligence, 105–109. Wiley, 1996.
T. Schaub & P Nicolas. The XRay system, its implementation and evaluation. In J. Dix & U. Furbach, Int'l Conf. on Logic Programming and Non-Monotonic Reasoning, Springer, 1997. To appear.
C. Schwind. A tableaux-based theorem prover for a decidable subset of default logic. In M. Stickel, Conf. on Automated Deduction. Springer, 1990. *** DIRECT SUPPORT *** A0008166 00005
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schaub, T., Nicolas, P. (1997). An implementation platform for query-answering in default logics: Theoretical underpinnings. In: Raś, Z.W., Skowron, A. (eds) Foundations of Intelligent Systems. ISMIS 1997. Lecture Notes in Computer Science, vol 1325. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63614-5_19
Download citation
DOI: https://doi.org/10.1007/3-540-63614-5_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63614-4
Online ISBN: 978-3-540-69612-4
eBook Packages: Springer Book Archive