EulerSharp

  •        0

Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. The Euler path detection is roughly quot;don't step in your own stepsquot; to avoid vicious circles so to speak and in that respect there is a similarity with what Leonhard Euler discovered in 1736 for the Kouml;nigsberg Bridge Problem [1]. The current reasoning engine is EYE [2]. The reasoning that EYE is performing is grounded in FOL (First Order Logic). Keeping a language less powerful than FOL is quite reasonable within an application, but not for the Web [3]. Via N3 [4] it is interoperable with W3C Cwm [5]. [1] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [2] http://eulersharp.sourceforge.net/README#eye [3] http://www.w3.org/DesignIssues/Logic.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm

http://eulersharp.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects

EulerMoz


EulerMoz is an inference engine supporting logic based proofs based on EulerSharp project.