Exploiting qualitative spatial neighborhoods in the situation calculus

Authors:
Frank Dylla;Reinhard Moratz
Affiliations:
SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany;SFB/TR 8 Spatial Cognition, University of Bremen, Bremen, Germany
Venue:
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Year:
2004

Citing 23
Cited 17

Modelling topological and metrical properties in physical processes

Proceedings of the first international conference on Principles of knowledge representation and reasoning
On binary constraint problems

Journal of the ACM (JACM)
An algebra for cyclic ordering of 2D orientations

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Experiences with an interactive museum tour-guide robot

Artificial Intelligence - Special issue on applications of artificial intelligence
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Qualitative Spatio-Temporal Continuity

COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Route Navigation Using Motion Analysis

COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
cc-Golog: Towards More Realistic Logic-Based Robot Controllers

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Qualitative Spatial Representation and Reasoning Techniques

KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Using Orientation Information for Qualitative Spatial Reasoning

Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Representing Knowledge of Large-scale Space

Representing Knowledge of Large-scale Space
Temporal reasoning in the situation calculus

Temporal reasoning in the situation calculus
A unifying semantics for time and events

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning
Continuous Shape Transformation and Metrics on Regions

Fundamenta Informaticae - Qualitative Spatial Reasoning
Extending DTGOLOG with options

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On-line execution of cc-Golog plans

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
An on-line decision-theoretic Golog interpreter

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A spatial odyssey of the interval algebra: 1. directed intervals

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Spatial knowledge representation for human-robot interaction

Spatial cognition III
Qualitative spatial reasoning about relative position: the tradeoff between strong formal properties and successful reasoning about route graphs

Spatial cognition III
A qualitative model for space

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Modelling models of robot navigation using formal spatial ontology

SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction

Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control

Journal of Intelligent and Robotic Systems
Natural Language Meets Spatial Calculi

Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Bridging the gap between the Kodak and the Flickr generations: A novel interaction technique for collocated photo sharing

International Journal of Human-Computer Studies
On generalizing orientation information in OPRAm

KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Qualitative spatial representation and reasoning in the SparQ-toolbox

SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Semi-automated derivation of conceptual neighborhood graphs of topological relations

COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Right-of-way rules as use case for integrating GOLOG and qualitative reasoning

KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Towards duplicate detection for situation awareness based on spatio-temporal relations

OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning

Journal of Artificial Intelligence Research
Making workflows situation aware: an ontology-driven framework for dynamic spatial systems

Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
A causal perspective to qualitative spatial reasoning in the situation calculus

IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Qualitative reasoning about relative direction of oriented points

Artificial Intelligence
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus

Journal of Intelligent and Robotic Systems
Relaxing constraints on GeoPQL operators to improve query answering

DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
A qualitative trajectory calculus and the composition of its relations

GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
A condensed semantics for qualitative spatial reasoning about oriented straight line segments

Artificial Intelligence
QRPC: A new qualitative model for representing motion patterns

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reasoning qualitatively about relative positions in dynamic environments.