Abstract
Many advanced knowledge-based systems with purposes of discovery and/or prediction, such as anticipatory reasoning-reacting systems, legal reasoning systems, geographical information system, and so on, require a forward deduction engine for modal logics as an important component. However, until now, there is no forward deduction engine with the general-purpose for modal logics. This paper presents a general-purpose forward deduction engine for modal logics. We show some essential requirements and functions for a general-purpose forward deduction engine for modal logics, present our implementation of the forward deduction engine, and show possible applications based on our forward deduction engine.
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.
References
Cheng, J.: EnCal: An automated forward deduction system for general–purpose entailment calculus. In: Terashima, N., Altman, E. (eds.) Advanced IT Tools, IFIP World Conference on IT Tools, IFIP 1996 – 14th World Computer Congress, pp. 507–517. Chapman & Hall, Boca Raton (1996)
Cheng, J.: Anticipatory reasoning-reacting systems. In: Proc. International Conference on Systems,Development and Self-organization (ICSDS 2002), Beijing, China, pp. 161–165 (2002)
Cheng, J.: Temporal relevant logic as the logical basis of anticipatory reasoningreacting systems. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference. AIP Conference Proceedings, pp. 362–375 (2004)
Cresswell, M.J.: Modal logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 136–158. Blackwell, Malden (2001)
Goto, Y., Nara, S., Cheng, J.: Efficient anticipatory reasoning for anticipatory systems with requirements of high reliability and high security. In: Dubois, D.M. (ed.) International Journal of Computing Anticipatory Systems. CHAOS, vol. 14, pp. 156–171 (2004)
Hilpinen, R.: Deontic logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 159–182. Blackwell, Malden (2001)
Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge (1996)
Meyer, J.J.C.: Epistemic logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 183–202. Blackwell, Malden (2001)
Nitta, K., Ohtake, Y., Maeda, S., Ono, M., Ohsaki, H., Sakane, K.: Helic-II: A legal reasoning system on the parallel inference machine. In: Proceedings of the International Conference on Fifth Generation Computer Systems, vol. 2, pp. 1115–1124 (1992)
Nolt, J., Rohatyn, D.: The propositional calculus. In: Aliano, J. (ed.) Schaum’s Outline of Theory and Problems of Logic, pp. 39–65. McGraw-Hill, New York (1988)
Venema, Y.: Temporal logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 203–223. Blackwell, Malden (2001)
Popkorn, S.: The modal language. In: First Step in Modal Logic, pp. 13–19. Cambridge University Press, Cambridge (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nara, S., Omi, T., Goto, Y., Cheng, J. (2005). A General-Purpose Forward Deduction Engine for Modal Logics. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552451_101
Download citation
DOI: https://doi.org/10.1007/11552451_101
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28895-4
Online ISBN: 978-3-540-31986-3
eBook Packages: Computer ScienceComputer Science (R0)