Loading [a11y]/accessibility-menu.js
Practical usage of freeencal: An automated forward reasoning engine for general-purpose | IEEE Conference Publication | IEEE Xplore

Practical usage of freeencal: An automated forward reasoning engine for general-purpose


Abstract:

Forward reasoning engine is a computer program to automatically draw new conclusions by repeatedly applying inference rules. An automated forward reasoning engine for gen...Show More

Abstract:

Forward reasoning engine is a computer program to automatically draw new conclusions by repeatedly applying inference rules. An automated forward reasoning engine for general-purpose, named FreeEnCal, has been proposed and developed. Then, to improving its performance and generality, fast algorithms and a general reasoning algorithm are proposed and implemented, but separately. Until now, there is no practical implementation of FreeEnCal that are adopted those algorithms. This paper shows the practical implementation of FreeEnCal and its practical usage. We can expect to use the practical FreeEnCal for an alternative tool to prove something, an enumeration tool by using forward deduction, a web service of automated forward reasoning.
Date of Conference: 15-17 July 2012
Date Added to IEEE Xplore: 24 November 2012
ISBN Information:

ISSN Information:

Conference Location: Xi'an, China

Contact IEEE to Subscribe

References

References is not available for this document.