This Article 
 Bibliographic References 
 Add to: 
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
November 2010 (vol. 22 no. 11)
pp. 1492-1506
Antonis Bikakis, Institute of Computer Science—FORTH, Heraklion Crete
Grigoris Antoniou, Institute of Computer Science—FORTH, Heraklion Crete
The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context information render contextual reasoning a very challenging task. The accomplishment of this task requires formal models that handle the involved entities as autonomous logic-based agents and provide methods for handling the imperfect and distributed nature of context. This paper proposes a solution based on the Multi-Context Systems paradigm in which local context knowledge of ambient agents is encoded in rule theories (contexts), and information flow between agents is achieved through mapping rules that associate concepts used by different contexts. To handle imperfect context, we extend Multi-Context Systems with nonmonotonic features: local defeasible theories, defeasible mapping rules, and a preference ordering on the system contexts. On top of this model, we have developed an argumentation framework that exploits context and preference information to resolve potential conflicts caused by the interaction of ambient agents through the mappings, and a distributed algorithm for query evaluation.

[1] M. Weiser, "The Computer for the 21st Century," Scientific Am., vol. 265, no. 3, pp. 94-104, Sept. 1991.
[2] Information Society Technologies Advisory Group (ISTAG), "Ambient Intelligence: From Vision to Reality," technical report, Sept. 2003.
[3] K. Henricksen and J. Indulska, "Modelling, Using Imperfect Context Information," Proc. Second IEEE Ann. Conf. Pervasive Computing and Comm. Workshops (PERCOMW '04), pp. 33-37, 2004.
[4] A. Bikakis, T. Patkos, G. Antoniou, and D. Plexousakis, "A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence," Constructing Ambient Intelligence, M. Mühlhäuser, A. Ferscha, and E. Aitenbichler, eds., pp. 14-23, Springer, 2008.
[5] A. Bikakis and G. Antoniou, "Distributed Reasoning with Conflicts in a Multi-Context Framework," Proc. 23rd Nat'l Conf. Artificial Intelligence (AAAI), D. Fox and C.P. Gomes, eds., pp. 1778-1779, 2008.
[6] A. Bikakis and G. Antoniou, "Distributed Defeasible Contextual Reasoning in Ambient Computing," Proc. European Conf. Ambient Intelligence (AmI), pp. 308-325, 2008.
[7] P. McBurney and S. Parsons, "Dialogue Games for Agent Argumentation," Argumentaion in Artificial Intelligence, pp. 261-280, Springer, 2009.
[8] A. Bikakis, G. Antoniou, and P. Hassapis, "Alternative Strategies for Conflict Resolution in Multi-Context Systems," Proc. Fifth IFIP Conf. Artificial Intelligence Applications and Innovations (AIAI '09), 2009.
[9] J. McCarthy, "Generality in Artificial Intelligence," Comm. ACM, vol. 30, no. 12, pp. 1030-1035, 1987.
[10] S. Buvac and I.A. Mason, "Propositional Logic of Context," Proc. 11th Nat'l Conf. Artificial Intelligence (AAAI), pp. 412-419, 1993.
[11] J. McCarthy and S. Buvač, "Formalizing Context (Expanded Notes)," Computing Natural Language, A. Aliseda, R. van Glabbeek, and D. Westerståhl, eds., pp. 13-50, CSLI Publications, 1998.
[12] F. Giunchiglia and L. Serafini, "Multilanguage Hierarchical Logics, or: How We Can Do without Modal Logics," Artificial Intelligence, vol. 65, no. 1, pp. 29-70, 1994.
[13] C. Ghidini and F. Giunchiglia, "Local Models Semantics, or Contextual Reasoning=Locality+Compatibility," Artificial Intelligence, vol. 127, no. 2, pp. 221-259, 2001.
[14] L. Serafini and P. Bouquet, "Comparing Formal Theories of Context in AI," Artificial Intelligence, vol. 155, nos. 1/2, pp. 41-67, 2004.
[15] F. Roelofsen and L. Serafini, "Minimal and Absent Information in Contexts," Proc. 19th Int'l Joint Conf. Artificial Intelligence (IJCAI), pp. 558-563, 2005.
[16] G. Brewka, F. Roelofsen, and L. Serafini, "Contextual Default Reasoning," Proc. 20th Int'l Joint Conf. Artificial Intelligence (IJCAI), pp. 268-273, 2007.
[17] J. Sabater, C. Sierra, S. Parsons, and N.R. Jennings, "Engineering Executable Agents Using Multi-Context Systems," J. Logic and Computation, vol. 12, no. 3, pp. 413-442, 2002.
[18] A. Casali, L. Godo, and C. Sierra, "A Logical Framework to Represent and Reason about Graded Preferences and Intentions," Proc. 11th Int'l Conf. Principles of Knowledge Representation and Reasoning (KR), pp. 27-37, 2008.
[19] M. Dastani, G. Governatori, A. Rotolo, I. Song, and L. van der Torre, "Contextual Deliberation of Cognitive Agents in Defeasible Logic," Proc. Sixth Int'l Joint Conf. Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1-3, 2007.
[20] D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, "Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach," Proc. 10th Int'l Symp. Database Programming Languages (DBPL '05), pp. 90-105, 2005.
[21] P. Chatalic, G.H. Nguyen, and M.-C. Rousset, "Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems," Proc. 17th European Conf. Artificial Intelligence (ECAI), pp. 352-356, 2006.
[22] A. Binas and S.A. McIlraith, "Peer-to-Peer Query Answering with Inconsistent Knowledge," Proc. 11th Int'l Conf. Principles of Knowledge Representation and Reasoning (KR), pp. 329-339, 2008.
[23] G. Antoniou, D. Billington, G. Governatori, and M.J. Maher, "Representation Results for Defeasible Logic," ACM Trans. Computational Logic, vol. 2, no. 2, pp. 255-287, 2001.
[24] G. Governatori, M.J. Maher, G. Antoniou, and D. Billington, "Argumentation Semantics for Defeasible Logic," J. Logic and Computation, vol. 14, no. 5, pp. 675-702, 2004.
[25] P.M. Dung, "On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games," Artificial Intelligence, vol. 77, pp. 321-357, 1995.
[26] G. Antoniou, M.J. Maher, and D. Billington, "Defeasible Logic versus Logic Programming without Negation as Failure," J. Logic Programming, vol. 42, no. 1, pp. 47-57, 2000.
[27] A. Bikakis and G. Antoniou, "Local and Distributed Defeasible Reasoning in Multi-Context Systems," Proc. Int'l Symp. Rule Representation, Interchange and Reasoning on the Web (RuleML), pp. 135-149, 2008.
[28] P. Adjiman, P. Chatalic, F. Goasdoue', M.-C. Rousset, and L. Simon, "Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web," J. Artificial Intelligence Research, vol. 25, pp. 269-314, 2006.
[29] D. Nute, "Apparent Obligation," Defeasible Deontic Logic, pp. 288-315, Kluwer, 1997.
[30] D. Nute, "Defeasible Logic," Proc. 14th Int'l Conf. Applications of Prolog, pp. 87-114, 2001.

Index Terms:
Ambient Intelligence, contextual reasoning, defeasible reasoning, argumentation systems.
Antonis Bikakis, Grigoris Antoniou, "Defeasible Contextual Reasoning with Arguments in Ambient Intelligence," IEEE Transactions on Knowledge and Data Engineering, vol. 22, no. 11, pp. 1492-1506, Nov. 2010, doi:10.1109/TKDE.2010.37
Usage of this product signifies your acceptance of the Terms of Use.