Abstract
A forward reasoning engine with general-purpose should be able to deal with various logic systems with different formalizations and various formal theories based on the logic systems, and to perform deductive, inductive, and abductive reasoning based on the logic systems. This paper presents a general forward reasoning algorithm for various logic systems formalized as Hilbert style axiomatic systems, Gentzen natural deduction systems, or Gentzen sequent calculus systems, and its implementation in FreeEnCal, a forward reasoning engine with general-purpose, that we are developing.
This is a preview of subscription content, log in via an institution to check access.
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
Davis, M.: The Early History of Automated Deduction. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 5–15. Elsevier and MIT Press (2001)
Robinson, A., Voronkov, A. (eds.): Handbook of Automated Reasoning. vol. 1-2. Elsevier and MIT Press (2001)
Cheng, J., Nara, S., Goto, Y.: FreeEncal: A Forward Reasoning Engine with General-purpose. In: Apolloni, B., Howlett, R.J., Jain, L.C. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 444–452. Springer, Heidelberg (2007)
Cheng, J.: EnCal: An Automated Forward Deduction System for General–purpose Entailment Calculus. In: Terashima, N., Altman, E. (eds.) Advanced IT Tools, Proceedings of the 14th WCC, Canberra, pp. 507–517. Chapman & Hall, Boca Raton (1996)
Goto, Y., Nara, S., Cheng, J.: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security. International Journal of Computing Anticipatory Systems 14, 156–171 (2004)
Barwise, J. (ed.): Handbook of Mathematical Logic. North-Holland, Amsterdam (1977)
van Dalen, D.: Logic and Structure, 3rd edn. Springer, Heidelberg (1994)
Socher-Ambrosius, R., Johann, P.: Deduction Systems. Springer, Heidelberg (1997)
Winston, P.H., Horn, B.K.P.: LISP, 3rd edn. Addison-Wesley, Reading (1989)
Szabo, M.E. (ed.): The Collected Papers of Gerhard Gentzen. North-Holland, Amsterdam (1969)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goto, Y., Koh, T., Cheng, J. (2008). A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. In: Lovrek, I., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2008. Lecture Notes in Computer Science(), vol 5178. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85565-1_65
Download citation
DOI: https://doi.org/10.1007/978-3-540-85565-1_65
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85564-4
Online ISBN: 978-3-540-85565-1
eBook Packages: Computer ScienceComputer Science (R0)