Commonsense Spatial Reasoning for Context–Aware Pervasive Systems
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.
KeywordsModal Logic Pervasive Computing Proximity Relation Hybrid Logic Meaningful Correlation
Unable to display preview. Download preview PDF.
- 3.Joshi, A., Finin, T., Yesha, Y.: Me-services: A framework for secure & personalized discovery, composition and management of services in pervasive environments. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 248–259. Springer, Heidelberg (2002)CrossRefGoogle Scholar
- 4.Davis, E.: Representations of commonsense knowledge. Morgan Kaufmann Publishers, San Francisco (1990)Google Scholar
- 5.Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, San Mateo, CA, pp. 165–176. Morgan Kaufmann, San Francisco (1992)Google Scholar
- 11.Harary, F.: Graph Theory. Addison-Wesley, Reading (1972)Google Scholar
- 12.Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2000)Google Scholar
- 14.Bandini, S., Bogni, D., Manzoni, S.: Alarm correlation in traffic monitoring and control systems: a knowledge-based approach. In: van Harmelen, F. (ed.) Proceedings of the 15th European Conference on Artificial Intelligence, Lyon (F), Amsterdam, July 21-26, pp. 638–642. IOS Press, Amsterdam (2002)Google Scholar