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 article focuses on the notions of "place'' and "conceptual spatial relation'' to present a formal model of space supporting common-sense spatial reasoning. The model can be viewed as the semantic specification for a hybrid logic, whose formulas represent spatially qualified information. Interesting classes of common-sense 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.

Bandini, S., Mosca, A., Palmonari, M. (2007). Common-sense spatial reasoning for information correlation in pervasive computing. APPLIED ARTIFICIAL INTELLIGENCE, 21(4-5), 405-425 [10.1080/08839510701252676].

Common-sense spatial reasoning for information correlation in pervasive computing

BANDINI, STEFANIA;PALMONARI, MATTEO LUIGI
2007

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 article focuses on the notions of "place'' and "conceptual spatial relation'' to present a formal model of space supporting common-sense spatial reasoning. The model can be viewed as the semantic specification for a hybrid logic, whose formulas represent spatially qualified information. Interesting classes of common-sense 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.
Articolo in rivista - Articolo scientifico
Common-sense spatial reasoning; Information correlation; pervasive computing
English
2007
21
4-5
405
425
none
Bandini, S., Mosca, A., Palmonari, M. (2007). Common-sense spatial reasoning for information correlation in pervasive computing. APPLIED ARTIFICIAL INTELLIGENCE, 21(4-5), 405-425 [10.1080/08839510701252676].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/3668
Citazioni
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 6
Social impact