Abstract
We present an efficient interpreter for CAPRI, a non-monotonic deduction system using rules of the form if...unless...then... .The interpreter is built on top of a reason maintenance system maintaining its current database and includes a fast pattern matcher combining both ideas from RETE and from non-monotonic dependency network update algorithms.
The author’s work is kindly supported by the SIEMENS AG, ZTI INF 3, Muenchen
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Doyle, Jon: Some Theories of Reasoned Assumptions. CMU-CS-83125, CMU (Pittsburgh, May 1983 )
Freitag-87] Freitag,Hartmut:An Admissible Extension Theory Based Non-Monotonic Deduction System. Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern (forthcoming).
Forgy, Charles L.: RETE: A Fast Algorithm for the Many Pattern/Many Object Match Problem. Artificial Intelligence 19, pp. 17 - 38 (1982)
Goodwin, James: An Improved Algorithm for Non-Monotonic Dependency Net Update. LITH-MAT-R-82-23, Linkoeping University ( Linkoeping, August 1982 )
Reinfrank, Michael: An Introduction to Non-Monotonic Reasoning. MEMO SEKI-85-02, Univ. Kaiserslautern (Kaiserslautern, 1985 )
Reinfrank, Michael: Reason Maintenance Systems. In: Stoyan, H. (ed.): Proc. Workshop on Truth Maintenance Systems ( Berlin, Oct. 1986 ). Springer Verlag (to appear)
Reinfrank, Michael; Freitag, Hartmut: An Integrated Non-Monotonic Deduction and Reason Maintenance System. In: Stoyan, H. (ed.): Proc. Workshop on Truth Maintenance Systems ( Berlin, Oct. 1986 ). Springer Verlag (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Freitag, H., Reinfrank, M. (1987). An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System. In: Morik, K. (eds) GWAI-87 11th German Workshop on Artifical Intelligence. Informatik-Fachberichte, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73005-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-73005-4_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18388-4
Online ISBN: 978-3-642-73005-4
eBook Packages: Springer Book Archive