FreeEnCal: A Forward Reasoning Engine with General-Purpose
作者： Jingde Cheng , Shinsuke Nara , Yuichi Goto
DOI: 10.1007/978-3-540-74827-4_56
关键词:
摘要: 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 general-purpose, named "FreeEnCal", which can interpret and perform inference rules defined given by its users, draw fragments various classical and/or non-classical logic formalized as different formal systems, empirical theorems theories constructed based on deductive, inductive, abductive automatically. FreeEnCal be used ready-made serving core fundamental well alone general-purpose. The our basic ideas to design implement FreeEnCal, facilities provided some applications FreeEnCal.
springer.com
sci-hub.st 参考文章(21)
Martin Davis, The Early History of Automated Deduction. Handbook of Automated Reasoning. pp. 3- 15 ,(2001)
The Blackwell guide to philosophical logic Studia Logica. ,vol. 84, ,(2001) , 10.1111/B.9780631206934.2001.X
Feng Shang, Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng, A Prototype Implementation of an Anticipatory Reasoning-Reacting System AIP Conference Proceedings. ,vol. 839, pp. 401- 414 ,(2006) , 10.1063/1.2216650
Jingde Cheng, Yuichi Goto, Natsumi Kitajima, Daniel M. Dubois, Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems AIP Conference Proceedings. ,vol. 1051, pp. 244- 254 ,(2008) , 10.1063/1.3020663
Jingde Cheng, EnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus IFIP World Conference on IT Tools. pp. 507- 514 ,(1996) , 10.1007/978-0-387-34979-4_56
Jingde Cheng, Temporal Relevant Logic as the Logic Basis of Anticipatory Reasoning-Reacting Systems AIP Conference Proceedings. ,vol. 718, pp. 362- 375 ,(2004) , 10.1063/1.1787339
Andrei Voronkov, Alan Robinson, Handbook of automated reasoning Elsevier B.V.. ,(2001) , 10.1016/B978-044450813-3/50006-0
A companion to philosophical logic Blackwell Publishers. ,(2002) , 10.1111/B.9781405145756.2002.X
Jingde Cheng, Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII. pp. 310- 320 ,(2006)
Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain, Knowledge-Based Intelligent Information and Engineering Systems ,(2004)