Back to Search
Start Over
LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS.
- Source :
-
International Journal of Pattern Recognition & Artificial Intelligence . Aug2008, Vol. 22 Issue 5, p1031-1043. 13p. 1 Diagram, 2 Graphs. - Publication Year :
- 2008
-
Abstract
- This paper presents the implementation of ARQ-PROP II, a limited-depth propositional neural reasoner based on the Resolution Principle. The SATyrus platform was used in the synthesis of Energy functions from a set of pseudo-Boolean constraints specifying ARQ-PROP II architectures for different inferencing depths. Global minima of the Energy functions produced by SATyrus are associated to SATisfiability of a formula and, in the case of ARQ-PROP II, are associated to Resolution-based refutations. This allows for simplified abduction, prediction and planning to be unified with deduction in a goal-driven style, i.e. there is no need for presetting a reasoning style upon a target set of clauses. Experimental results on deduction with ARQ-PROP II using different propositional depth settings are presented together with a correction of Gadi Pinkas' mapping of SATisfiability into Energy minima. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 02180014
- Volume :
- 22
- Issue :
- 5
- Database :
- Academic Search Index
- Journal :
- International Journal of Pattern Recognition & Artificial Intelligence
- Publication Type :
- Academic Journal
- Accession number :
- 34172885
- Full Text :
- https://doi.org/10.1142/S0218001408006673