Abstract
A forward reasoning engine is an indispensable component in many advanced knowledge-based systems with purposes of creation, discovery, or prediction. This paper presents a forward reasoning engine with general-purpose, named “FreeEnCal”, which can interpret and perform inference rules defined and given by its users, draw fragments of various classical and/or non-classical logic systems formalized as different formal systems, draw empirical theorems of various formal theories constructed based on various logic systems, and perform deductive, inductive, and abductive reasoning automatically. FreeEnCal can be used as a ready-made forward reasoning engine serving as a core and fundamental component in various advanced knowledge-based systems as well as an alone forward reasoning engine with general-purpose. The paper presents our basic ideas to design and implement FreeEnCal, facilities provided by FreeEnCal, and some applications of FreeEnCal.
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
Advanced Information Systems Engineering Laboratory, Saitama University: FreeEnCal Reference Manual. Saitama (2007)
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 ‘96 14th World Computer Congress, Canberra, Australia, September 2-6, 1996, pp. 507–514. Chapman & Hall, London (1996)
Cheng, J.: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. In: Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. (eds.) Information Modelling and Knowledge Bases XI. Frontiers in Artificial Intelligence and Applications. Frontiers in Artificial Intelligence and Applications, vol. 61, pp. 136–159. IOS Press, Amsterdam (2000)
Cheng, J.: Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. In: Palade, V., Howlett, R.J., Jain, L.C. (eds.) KES 2003. LNCS, vol. 2773, pp. 68–80. Springer, Heidelberg (2003)
Cheng, J.: Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference, AIP Conference Proceedings Liege, Belgium, August 11-16, 2005. American Institute of Physics, vol. 718, pp. 362–375 (2004)
Cheng, J.: Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. In: Kiyoki, Y., Henno, J., Jaakkola, H., Kangassalo, H. (eds.) Information Modelling and Knowledge Bases XVII. Frontiers in Artificial Intelligence and Applications, vol. 136, pp. 310–320. IOS Press, Amsterdam (2006)
Cheng, J., Akimoto, N., Goto, Y., Koide, M., Nanashima, K., Nara, S.: HILBERT: An Autonomous Evolutionary Information System for Teaching and Learning Logic. In: Constantinou, C.P., Zacharia, Z.C. (eds.) CBLIS ’03. Computer Based Learning in Science, Conference Proceedings 2003, 6th International Conference, July 5-10, 2003, vol. 1, pp. 245–254. University of Cyprus, Nicosia (2003)
Cheng, J., Nara, S., Koh, T., Goto, Y.: The Theory Grid and Grid Theorists. In: Proc. 2nd International Conference on Semantics, Knowledge and Grid, IEEE Computer Society, Los Alamitos (2006)
Cheng, J., Goto, Y., Kitajima, N.: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems. In: 8th International Conference on Computing Anticipatory Systems, Liege (2007)
Davis, M.: The Early History of Automated Deduction. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 3–15. Elsevier Science B.V, Amsterdam (2001)
Gabbay, D., Guenthner, F. (eds.): Handbook of Philosophical Logic, 2nd edn., pp. 1–13. Kluwer Academic, Dordrecht (2005)
Goble, L. (ed.): The Blackwell Guide to Philosophical Logic. Blackwell, Oxford (2001)
Jacquette, D. (ed.): A Companion to Philosophical Logic. Blackwell, Oxford (2002)
Kitajima, N., Nara, S., Goto, Y., Cheng, J.: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems. In: 8th International Conference on Computing Anticipatory Systems, Liege (2007)
Nara, S., Shang, F., Omi, T., Goto, Y., Cheng, J.: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems. International Journal of Computing Anticipatory Systems, CHAOS, Leige 18, 225–234 (2006)
Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning, pp. 1–2. Elsevier Science B.V., Amsterdam (2001)
Shang, F., Nara, S., Omi, T., Goto, Y., Cheng, J.: A Prototype Implementation of an Anticipatory Reasoning-Reacting System. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2005 - Seventh International Conference, Liege, Belgium, AIP Conference Proceedings August 8-13, 2005, American Institute of Physics, vol. 839, pp. 401–414 (2006)
Takahashi, I., Nara, S., Goto, Y., Cheng, J.: EPLAS: An Epistemic Programming Language for All Scientists. In: Shi, Y., et al. (eds.) Computational Science - ICCS 2007: 7th International Conference, Proceedings, Part I, Beijing, China, May 27-30, 2007. LNCS, vol. 4487, pp. 406–413. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cheng, J., Nara, S., Goto, Y. (2007). FreeEnCal: A Forward Reasoning Engine with General-Purpose. In: Apolloni, B., Howlett, R.J., Jain, L. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2007. Lecture Notes in Computer Science(), vol 4693. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74827-4_56
Download citation
DOI: https://doi.org/10.1007/978-3-540-74827-4_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74826-7
Online ISBN: 978-3-540-74827-4
eBook Packages: Computer ScienceComputer Science (R0)