A hybrid logic for commonsense spatial reasoning

Authors:
Stefania Bandini;Alessandro Mosca;Matteo Palmonari
Affiliations:
Department of Computer Science, Systems and Communication (DISCo), University of Milan, Milan, Italy;Department of Computer Science, Systems and Communication (DISCo), University of Milan, Milan, Italy;Department of Computer Science, Systems and Communication (DISCo), University of Milan, Milan, Italy
Venue:
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Year:
2005

Citing 8
Cited 5

Recurring dominoes: making the highly undecidable highly understandable

Selected papers of the international conference on "foundations of computation theory" on Topics in the theory of computation
Representations of commonsense knowledge

Representations of commonsense knowledge
Modal logic

Modal logic
Me-Services: A Framework for Secure & Personalized Discovery, Composition and Management of Services in Pervasive Environments

CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Tableaux for Quantified Hybrid Logic

TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Signs of a revolution in computer science and software engineering

ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Commonsense spatial reasoning for context–aware pervasive systems

LoCA'05 Proceedings of the First international conference on Location- and Context-Awareness
A conceptual framework for monitoring and control system development

UMICS'04 Proceedings of the Second CAiSE conference on Ubiquitous Mobile Information and Collaboration Systems

A simulation-based approach to highly iterative prototyping of ubiquitous computing systems

Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Application development using modeling and dynamical systems analysis

Proceedings of the 1st International Workshop on Context-Aware Middleware and Services: affiliated with the 4th International Conference on Communication System Software and Middleware (COMSWARE 2009)
Modeling and simulation to assist context aware system design

Simulation
Spatial representation and reasoning: integrating synthetic character's visual perception and symbolic representation

AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
Situation-based testing for pervasive computing environments

Pervasive and Mobile Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The current technological trend depicts a scenario in which space, and more generally the environment in which the computation takes place, represents a key aspect that must be considered in order to improve systems' context awareness, even if the kind of information processed is not only of spatial nature. This paper focuses on the notions of “place” and “conceptual spatial relation” to present a formal model of space supporting Commonsense Spatial Reasoning. The model can be viewed as the semantic specification for a Hybrid Logic, whose formulas represent spatially qualified information. Interesting classes of Commonsense Spatial Models are identified according to the properties of their characteristic relations and an axiomatization of the associated hybrid language is given; a sound and complete tableau based calculus for these classes of models is provided.