loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.81.157.133

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Arkoudas, K.; Bringsjord, S. and Khemlani, S. (2009). QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC. In Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2009) - KEOD; ISBN 978-989-674-012-2; ISSN 2184-3228, SciTePress, pages 80-87. DOI: 10.5220/0002306200800087

@conference{keod09,
author={Konstantine Arkoudas. and Selmer Bringsjord. and Sangeet Khemlani.},
title={QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2009) - KEOD},
year={2009},
pages={80-87},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002306200800087},
isbn={978-989-674-012-2},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development (IC3K 2009) - KEOD
TI - QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC
SN - 978-989-674-012-2
IS - 2184-3228
AU - Arkoudas, K.
AU - Bringsjord, S.
AU - Khemlani, S.
PY - 2009
SP - 80
EP - 87
DO - 10.5220/0002306200800087
PB - SciTePress