Proceedings of the 3d Conference on Artificial General Intelligence (2010)

Quantitative Spatial Reasoning for General Intelligence

Authors
Unmesh Kurup, Nicholas L. Cassimatis
Corresponding Author
Unmesh Kurup
Available Online June 2010.
DOI
https://doi.org/10.2991/agi.2010.4How to use a DOI?
Abstract
One of the basic requirements of an intelligent agent is the ability to represent and reason about space. While there are a number of approaches for achieving this goal, the recent gains in efficiency of the Satisfiability approach have made it a popular choice. Modern propositional SAT solvers are efficient for a wide variety of problems. However, conversion to propositional SAT can sometimes result in a large number of variables and/or clauses. Diagrams represent space as collections of points (regions) while preserving their overall geometric character. This representation allows reasoning to be performed over (far fewer number of) regions instead of individual points. In this paper, we show how the standard DPLL algorithm augmented with diagrammatic reasoning can be used to make SAT more efficient when reasoning about space. We present DPLL-S, a complete SAT solver that utilizes diagrammatic representations when reasoning about space, and evaluate its performance against other SAT solvers.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
3d Conference on Artificial General Intelligence (AGI-2010)
Part of series
Advances in Intelligent Systems Research
Publication Date
June 2010
ISBN
978-90-78677-36-9
ISSN
1951-6851
DOI
https://doi.org/10.2991/agi.2010.4How to use a DOI?
Open Access
This is an open access article distributed under the CC BY-NC license.

Cite this article

TY  - CONF
AU  - Unmesh Kurup
AU  - Nicholas L. Cassimatis
PY  - 2010/06
DA  - 2010/06
TI  - Quantitative Spatial Reasoning for General Intelligence
BT  - 3d Conference on Artificial General Intelligence (AGI-2010)
PB  - Atlantis Press
SP  - 15
EP  - 20
SN  - 1951-6851
UR  - https://doi.org/10.2991/agi.2010.4
DO  - https://doi.org/10.2991/agi.2010.4
ID  - Kurup2010/06
ER  -