Commonsense spatial reasoning for context–aware pervasive systems

Authors:
Stefania Bandini;Alessandro Mosca;Matteo Palmonari
Affiliations:
Department of Computer Science, Systems and Communication (DISCo), University of Milan – Bicocca;Department of Computer Science, Systems and Communication (DISCo), University of Milan – Bicocca;Department of Computer Science, Systems and Communication (DISCo), University of Milan – Bicocca
Venue:
LoCA'05 Proceedings of the First international conference on Location- and Context-Awareness
Year:
2005

Citing 5
Cited 6

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
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
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 natural wayfinding exploiting photos in pedestrian navigation systems

Proceedings of the 8th conference on Human-computer interaction with mobile devices and services
Exploiting real world knowledge in ubiquitous applications

Personal and Ubiquitous Computing
COMMON-SENSE SPATIAL REASONING FOR INFORMATION CORRELATION IN PERVASIVE COMPUTING

Applied Artificial Intelligence
Life and Motion Configurations: A Basis for Spatio-temporal Generalized Reasoning Model

ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Ambient Compass: One Approach to Model Spatial Relations

ICDHM '09 Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009
A hybrid logic for commonsense spatial reasoning

AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

A major issue in Pervasive Computing in order to design and implement context–aware applications is to correlate information provided by distributed devices to furnish a more comprehensive view of the context they habit. Such a correlation activity requires considering a spatial model of this environment, 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 commonsense formal model of space supporting reasoning about meaningful correlation. The model consists of a relational structure that can be viewed as the semantic specification for a hybrid logic language, whose formulas represent contextual information and whose satisfiability procedures enhance reasoning, allowing the local perspective typical of many approach to context–awareness.