FreeEnCal: A Forward Reasoning Engine with General-Purpose

Authors:
Jingde Cheng;Shinsuke Nara;Yuichi Goto
Affiliations:
Department of Information and Computer Sciences, Saitama University, 338-8570 Saitama, Japan;Department of Information and Computer Sciences, Saitama University, 338-8570 Saitama, Japan;Department of Information and Computer Sciences, Saitama University, 338-8570 Saitama, Japan
Venue:
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Year:
2007

Citing 5
Cited 2

Handbook of automated reasoning

Handbook of automated reasoning
The Theory Grid and Grid Theorists

SKG '06 Proceedings of the Second International Conference on Semantics, Knowledge, and Grid
EPLAS: An Epistemic Programming Language for All Scientists

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
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
Handbook of Philosophical Logic: Volume 15

Handbook of Philosophical Logic: Volume 15

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing

KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Extending and formalizing bayesian networks by strong relevant logic

ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

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.