Abstract
We present an implementation platform for query-answering in default logics. The overall approach along with its implementation, the XRay system, allows for query-answering from default theories supporting local proof procedures. The deductive power of XRay stems from it susage of Prolog Technology Theorem Proving Techniques (PTTP) supported by further enhancements, such as default lemma handling and regularity-based truncations of the underlying search space. The generality of the approach, allowing for a (simultaneous) treatment of different default logics, stems from a novel model-based approach to consistency checking.
Preview
Unable to display preview. Download preview PDF.
References
P. Besnard and T. Schaub. An approach to context-based default reasoning. Fundamenta Informaticae, 23(2–4):175–223, 1995.
G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50(2):183–205, 1991.
S. Brüning and T. Schaub. A model-based approach to consistency-checking. In Z. Ras and M. Michalewicz, editors, Proceedings of the Ninth International Symposium on Methodologies for Intelligent Systems, pages 315–324. Springer Verlag, 1996.
J. Delgrande, T. Schaub, and W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1–2): 167–237, 1994.
L. Giordano and A. Martinelli. On cumulative default logics. Artificial Intelligence, 66(1):161–179, 1994.
C. Goller, R. Letz, K. Mayr, and J. Schumann. SETHEO V3.2: Recent Developments. In A. Bundy, editor, Proceedings of the Conference on Automated Deduction, pages 778–782. Springer Verlag, 1994. System abstract.
T. Linke and T. Schaub. Lemma handling in default logic theorem provers. In C. Froidevaux and J. Kohlas, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 285–292. Springer Verlag, 1995.
T. Linke and T. Schaub. Towards a classification of default logics. Journal of Applied Non-Classical Logics, 1997. To appear.
D. Loveland. Automated Theorem Proving: A Logical Basis. North-Holland, New York, 1978.
W. Lukaszewicz. Considerations on default logic — an alternative approach. Computational Intelligence, 4:1–16, 1988.
A. Mikitiuk and M. Truszczyński. Rational default logic and disjunctive logic programming. In A. Nerode and L. Pereira, editors, Proceedings of the Second International Workshop on logic Programming and Non-monotonic Reasoning., pages 283–299. MIT Press, 1993.
D. Poole. Compiling a default reasoning system into prolog. New Generation Computing, 9(1):3–38, 1991.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1–2):81–132, 1980.
T. Schaub. A new methodology for query-answering in default logics via structure-oriented theorem proving. Journal of Automated Reasoning, 15(1):95–165, 1995.
T. Schaub and S. Brüning. Prolog technology for default reasoning. In W. Wahlster, editor, Proceedings of the European Conference on Artificial Intelligence, pages 105–109. John Wiley & sons, 1996.
T. Schaub, S. Brüning, and P. Nicolas. XRay: A prolog technology theorem prover for default reasoning: A system description. In M. McRobbie and J. Slaney, editors, Proceedings of the Conference on Automated Deduction, pages 293–297. Springer Verlag, 1996.
M. Stickel. A Prolog technology theorem prover. In M. Stickel, editor, Proceedings of the Conference on Automated Deduction, pages 673–674. Springer Verlag, 1990.
M. Stickel. A Prolog technology theorem prover: A new exposition and implementation in prolog. In A. Miola, editor, Proceedings of the International Symposium on Design and Implemetation of Symbolic Computation Systems, pages 154–163. Springer Verlag, 1990.
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: The XRay system, its implementation and evaluation. In: Dix, J., Furbach, U., Nerode, A. (eds) Logic Programming And Nonmonotonic Reasoning. LPNMR 1997. Lecture Notes in Computer Science, vol 1265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63255-7_34
Download citation
DOI: https://doi.org/10.1007/3-540-63255-7_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63255-9
Online ISBN: 978-3-540-69249-2
eBook Packages: Springer Book Archive