To be able to react adequately a smart environment must be aware of the context and its changes. Modeling the context allows applications to better understand it and to adapt to its changes. In order to do this an appropriate formal representation method is needed. Ontologies have proven themselves to be one of the best tools to do it. Semantic inference provides a powerful framework to reason over the context data. But there are some problems with this approach. The inference over semantic context information can be cumbersome when working with a large amount of data. This situation has become more common in modern smart environments where there are a lot sensors and devices available. In order to tackle this problem we have developed a mechanism to distribute the context reasoning problem into smaller parts in order to reduce the inference time. In this paper we describe a distributed peer-to-peer agent architecture of context consumers and context providers. We explain how this inference sharing process works, partitioning the context information according to the interests of the agents, location and a certainty factor. We also discuss the system architecture, analyzing the negotiation process between the agents. Finally we compare the distributed reasoning with the centralized one, analyzing in which situations is more suitable each approach.
References
[1]
Dey, A.K. Understanding and using context. Pers. Ubiquit. Comput. 2001, 5, 4–7, doi:10.1007/s007790170019.
[2]
Strang, T.; Linnhoff-Popien, C. A context modeling survey. Proceedings of the first International Workshop on Advanced Context Modelling Reasoning and Management, Nottingham, UK, 7–10 September 2004.
[3]
OWL 2 Web Ontology Language. Available online: http://www.w3.org/TR/owl2-overview/ (accessed on 9 July 2012).
[4]
López-de-Ipi？a, D.; Almeida, A.; Aguilera, U.; Larigoitia, I.; Laiseca, X.; Ordu？a, P.; Barbier, A.; Vazquez, J.I. Dynamic discovery and semantic reasoning for next generation intelligent environments. Proceedings of the 4th IET International Conference on Intelligent Environments IE08, Seattle, WA, USA, 21–22 July 2008.
[5]
Dey, A.K.; Salber, D.; Abowd, G.D. A Context-based infrastructure for smart environments. Proceedings of the 1st International Workshop on Managing Interactions in Smart Environments (MANSE '99), Dublin, Ireland, 13–14 December 1999.
[6]
Serafini, L.; Tamilin, A. Distributed reasoning architecture for the semantic web. Proceedings of the Second European Semantic Web Conference, ESWC 2005, Heraklion, Greece, 29 May–1 June 2005.
[7]
Oren, E.; Kotoulas, S.; Anadiotis, G.; Siebes, R.; Teije, A.; van Harmelen, F. Marvin: Distributed reasoning over large-scale semantic web data. J. Web Semant. 2009, 7, 305–316, doi:10.1016/j.websem.2009.09.002.
[8]
Adjiman, P.; Chatalic, P.; Goasdou, F.; Rousset, M.C.; Simon, L. Distributed reasoning in a peer-to-peer setting: Application to the semantic web. J. Artif. Intell. Res. 2006, 25, 269–314.
[9]
Chu, M.; Mitter, S.K.; Zhao, F. An information architecture for distributed inference on ad hoc sensor networks. Proceedings of the Forty-First Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA, 1–3 October 2003.
[10]
Cabitza, F.; Sarini, M.; Dal Seno, B. DJess—A context-sharing middleware to deploy distributed inference systems in pervasive computing domains. Proceedings of the International Conference on Pervasive Services, Santorini, Greece, 11–14 July 2005.
[11]
Paskin, M.; Guestrin, C.; McFadden, J. A robust architecture for distributed inference in sensor networks. Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, Los Angeles, CA, USA, 25–27 April 2005.
[12]
Funiak, S.; Guestrin, C.; Paskin, M.; Sukthankar, R. Distributed inference in dynamical systems. In Advances in Neural Information Processing Systems; MIT Press: Cambridge, MA, USA, 2007; Volume 19, pp. 433–440.
[13]
Pellet: OWL 2 Reasoner for Java. Available online: http://clarkparsia.com/pellet/ (accessed on 9 June 2012).
[14]
Jena Inference. Available online: http://jena.sourceforge.net/inference/ (accessed on 9 June 2012).
[15]
Knabe, T.; Schillo, M.; Fischer, K. Improvements to the FIPA contract net protocol for performance increase and cascading applications. Proceeding of the International Workshop for Multi-Agent Interoperability at the German Conference on AI, Aachen, Germany, 16–20 September 2002.
[16]
Smith, R.G. The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Trans. Comput. 1980, 12, 1104–1113.
[17]
Smith, R.G.; Davis, R. Frameworks for co-operation in distributed problem solving. IEEE Trans. Syst. Man Cybern. 1981, 11, 61–70, doi:10.1109/TSMC.1981.4308579.
[18]
Xu, L.; Weigand, H. The evolution of the contract net protocol. Proceedings of the Second International Conference on Advances in Web-Age Information Management, Xi'an, China, 9–11 July 2001; pp. 257–264.
[19]
Sandholm, T. An implementation of the contract net protocol based on marginal cost calculations. Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), Washington, DC, USA, 11–15 July 1993.
[20]
Weigand, H.; Verharen, E.; Dignum, F. A language/action perspective on cooperative information agents. Account. Manag. Inf. Technol. 1998, 8, 39–59, doi:10.1016/S0959-8022(98)00006-X.
[21]
Sachs, M.; Dan, A.; Nguyen, T. Executable Trading-Partner Agreements in Electronic Commerce. IBM Research Report; Watson Research Center: Yorktown Hts, NY, USA, 2000.
[22]
Ouelhadj, D.; Garibaldi, J.; MacLaren, J.; Sakellariou, R.; Krishnakumar, K. A multi-agent infrastructure and a service level agreement negotiation protocol for robust scheduling in grid computing. In Advances in Grid Computing; Springer: Berlin, Germany, 2005; Volume 3470, pp. 651–660.
[23]
Hsieh, F.; Chiang, C. Workflow planning in Holonic manufacturing systems with extended contract net protocol. In Next-Generation Applied Intelligence, Lecture Notes in Computer Science; Springer: Berlin, Germany, 2009; p. 5579.
[24]
Huang, W.; Zhang, X.; Wei, X. An improved contract net protocol with multi-agent for reservoir flood control dispatch. J. Water Res. Prot. 2011, 3, 735–746, doi:10.4236/jwarp.2011.310084.
[25]
Ouelhadj, D.; Hanachi, C.; Bouzouia, B. Multi-agent system for dynamic scheduling and control in manufacturing cells. Proceedings of the IEEE International Conference on Robotics and Automation, Lueven, Belgium, 16–20 May 1998.
[26]
Ouelhadj, D.; Hanachi, C.; Bouzouia, B. Multi-agent architecture for distributed monitoring in flexible manufacturing systems (FMS). Proceedings of the IEEE International Conference on Robotics and Automation, San Francisco, CA, USA, 24–28 April 2000.
[27]
Almeida, A.; López-de-Ipi？a, D. Assessing ambiguity of context data in intelligent environments: Towards a more reliable context managing system. Sensors 2012, 12, 4934–4951, doi:10.3390/s120404934. 22666068
[28]
Orchard, R.A. FuzzyCLIPS Version 6.04A User's Guide; Integrated Reasoning Group, Institute for Information Technology, National Research Council Canada: Ottawa, ON, Canada, 1998.
[29]
Shortliffe, E.H. Computer-based medical consultations: MYCIN (Artificial Intelligence Series); Elsevier Science Ltd.: Amsterdam, The Netherlands, 1976; p. 388.
[30]
Jade—Java Agent DEvelopment Framework. Available online: http://jade.tilab.com/ (accessed on 9 June 2012).
[31]
FIPA. ACL Message Structure Specification. Available online: http://www.fipa.org/specs/fipa00061/SC00061G.pdf (accessed on 9 June 2012).
[32]
Seitz, C.; Sch？nfelder, R. Rule-based owl reasoning for specific embedded devices. Proceedings of the 10th International Semantic Web Conference, Boston, MA, USA, 11–15 November 2011.
[33]
CLIPS, a Tool for Building Expert Systems. Available online: http://clipsrules.sourceforge.net/ (accessed on 9 June 2012).
[34]
OWL 2 RL Profile. Available online: http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/#OWL_2_RL (accessed on 9 June 2012).
