Authors:
Konstantine Arkoudas
1
;
Selmer Bringsjord
1
and
Sangeet Khemlani
2
Affiliations:
1
RPI, United States
;
2
Princeton University, United States
Keyword(s):
Qualitative spatial reasoning, 3-Valued logic, Heterogeneous reasoning, Diagrams, Sat-solving, Constraints, Relative position, Orientation, Flip-flop calculus, Combined direction calculus.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Enterprise Software Technologies
;
Intelligent Problem Solving
;
Knowledge Engineering and Ontology Development
;
Knowledge Representation
;
Knowledge-Based Systems
;
Software Engineering
;
Symbolic Systems
Abstract:
Systems for qualitative spatial reasoning (QSR) are usually formulated as relation algebras, and reasoning in such systems is performed by constraint-satisfaction techniques. While this is often adequate, it is a rather inexpressive framework that cannot model and solve many spatial reasoning problems; it can also complicate the combination of different spatial formalisms, e.g., the combination of topological with metric primitives, or absolute orientation with relative orientation. Here we suggest an alternative approach, whereby spatial information is expressed in a rich quantified 3-valued logic, equipped with a novel semantics for dealing with incomplete information. Decidability is ensured by a systematic compilation into propositional logic and the use of SAT solvers. To illustrate, we define and implement a new system for two-dimensional positional reasoning that combines Frank’s cardinal-direction calculus, the ip- op calculus for reasoning about relative orientation, and var
ious new positional primitives. Unlike previous work, the system uses diagrams as well as symbolic formulas. In particular, the logic we introduce is heterogeneous, meaning that it combines symbolic and diagrammatic representation and inference.
(More)