Introducing Conviviality as a property of Multi-Context Systems

Multi-Context Systems (MCS) are rule-based representation models for distributed, heterogeneous knowledge sources, called contexts, such as ambient intelligence devices and agents. Contexts interact with each other through the sharing of their local knowledge, or parts thereof, using so-called bridge rules to enable the cooperation among different contexts. On the other hand, the concept of conviviality, introduced as a social science concept for multiagent systems to highlight soft qualitative requirements like user friendliness of systems, was recently proposed to model and measure cooperation among agents in multiagent systems. In this paper, we introduce conviviality as a property to model and evaluate cooperation in MCS. We first introduce a formal model, then we propose conviviality measures, and finally we suggest an application consisting in a conviviality-driven method for inconsistency resolution.

[1]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[2]  I. Illich.  Tools for Conviviality , 1973 .

[3]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[4]  Grigoris Antoniou,et al.  Reasoning about Context in Ambient Intelligence Environments: A Report from the Field , 2010, KR.

[5]  Jaime Simão Sichman,et al.  Multi-agent dependence by dependence graphs , 2002, AAMAS '02.

[6]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[7]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[8]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[9]  Antonius Weinzierl,et al.  Managed Multi-Context Systems , 2011, IJCAI.

[10]  Nicholas R. Jennings,et al.  Engineering Executable Agents using Multi-context Systems , 2002, J. Log. Comput..

[11]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[12]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[13]  Leon van der Torre,et al.  2 . RUNNING EXAMPLE : NAO ROBOTS , 2011 .

[14]  Patrice Caire,et al.  Enhancing Cooperation in Distributed Information Systems Using Conviviality and Multi-Context Systems , 2011, MIWAI.

[15]  C. Castelfranchi.  The Micro-Macro Constitution of Power , 2003 .

[16]  Grigoris Antoniou,et al.  Strategies for contextual reasoning with conflicts in ambient intelligence , 2010, Knowledge and Information Systems.

[17]  Antonius Weinzierl,et al.  Preference-Based Inconsistency Assessment in Multi-Context Systems , 2010, JELIA.

[18]  Serena Villata,et al.  Conviviality masks in multiagent systems , 2008, AAMAS.

[19]  Grigoris Antoniou,et al.  Defeasible Contextual Reasoning with Arguments in Ambient Intelligence , 2010, IEEE Transactions on Knowledge and Data Engineering.

[20]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[21]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.

[22]  Antonius Weinzierl,et al.  Finding explanations of inconsistency in multi-context systems , 2010, Artif. Intell..

[23]  Floris Roelofsen,et al.  Contextual Default Reasoning , 2007, IJCAI.