Conviviality Masks in Multiagent Systems (Short Paper)

In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent system technology by relating it to agent power and social dependence networks. Second, we define conviviality masks as transformations of social dependencies by hiding power relations and social structures to facilitate social interactions. Third, we introduce dynamic dependence networks to model the creation of conviviality using conviviality masks. We illustrate the use of conviviality masks with a multiagent teleconferencing application for virtual worlds.

[1]  Luis Jimenez de Asúa Nullum crimen, nulla poena sine lege , 1951 .

[2]  Alan Ross Anderson,et al.  A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC , 1958 .

[3]  Cesare marchese di Beccaria,et al.  Dei delitti e delle pene , 1964 .

[4]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[5]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

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

[7]  Roger C. Schank,et al.  Scripts, plans, goals and understanding: an inquiry into human knowledge structures , 1978 .

[8]  Charles W. Bachman,et al.  The Role Concept in Data Models , 1977, VLDB.

[9]  J. Gibson The Ecological Approach to Visual Perception , 1979 .

[10]  Tim Ingold,et al.  Evolution of Social Systems , 1979 .

[11]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[12]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[13]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[14]  Ronald K. Stamper,et al.  The Role of Semantics in Legal Expert Systems and Legal Reasoning , 1991 .

[15]  A. H. Bond,et al.  An Analysis of Problems and Research in DAI , 1988 .

[16]  L. Thorne McCarty,et al.  A language for legal Discourse I. basic features , 1989, ICAIL '89.

[17]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[18]  Renzo Orsini,et al.  An Object Data Model with Roles , 1993, VLDB.

[19]  H. Raiffa,et al.  Decisions with Multiple Objectives , 1993 .

[20]  Roel Wieringa,et al.  Applications of deontic logic in computer science: a concise overview , 1994 .

[21]  C. E. Alchourrón,et al.  Philosophical foundations of deontic logic and the logic of defeasible conditionals , 1994 .

[22]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[23]  André Tunc,et al.  Comparer les droits , 1995 .

[24]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[25]  J. Searle The Construction of Social Reality , 1997 .

[26]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[27]  Diane J. Cook,et al.  Flexible Social Laws , 1995, IJCAI.

[28]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[29]  Dennis Patterson,et al.  Law and Truth , 1996 .

[30]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[31]  Isaac Levi,et al.  For The Sake Of The Argument , 1996 .

[32]  Kasper Østerbye,et al.  Roles: Conceptual Abstraction Theory and Practical Language Issues , 1996, Theory and Practice of Object Systems.

[33]  Michael Schrefl,et al.  Extending object-oriented systems with roles , 1996, TOIS.

[34]  R. W. van Kralingen A Conceptual Frame-based Ontology for the Law , 1997 .

[35]  Raymond K. Wong,et al.  A data model and semantics of objects with dynamic roles , 1997, Proceedings 13th International Conference on Data Engineering.

[36]  Moshe Tennenholtz,et al.  On the Emergence of Social Conventions: Modeling, Analysis, and Simulations , 1997, Artif. Intell..

[37]  Cristiano Castelfranchi,et al.  Modeling Social Action for AI Agents , 1997, IJCAI.

[38]  Dirk Riehle,et al.  The Role Object Pattern , 1997 .

[39]  Mike P. Papazoglou,et al.  A database model for object dynamics , 1997, The VLDB Journal.

[40]  Helder Coelho,et al.  BDI Models and Systems: Bridging the Gap , 1998, ATAL.

[41]  Moshe Tennenholtz,et al.  On Stable Social Laws and Qualitative Equilibria , 1998, Artif. Intell..

[42]  Lambèr M. M. Royakkers,et al.  Collective obligation and commitment , 1998 .

[43]  Frank Dignum,et al.  Autonomous Norm Acceptance , 1998, ATAL.

[44]  Frank Dignum,et al.  Deliberative Normative Agents: Principles and Architecture , 1999, ATAL.

[45]  Jacques Ferber,et al.  Organization models and behavioural requirements specification for multi-agent systems , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[46]  Yongmei Wu,et al.  What else should an HCI Pattern Language include ? , 2000 .

[47]  Wendy A. Kellogg,et al.  Social translucence: an approach to designing systems that support social processes , 2000, TCHI.

[48]  Moshe Tennenholtz,et al.  Choosing social laws for multi-agent systems: Minimality and simplicity , 2000, Artif. Intell..

[49]  A. Rustichini,et al.  A Fine is a Price , 2000, The Journal of Legal Studies.

[50]  Ronald M. Lee Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures , 2000, Business Process Management.

[51]  Friedrich Steimann,et al.  A Radical Revision of UML's Role Concept , 2000, UML.

[52]  Nicholas R. Jennings,et al.  On agent-based software engineering , 2000, Artif. Intell..

[53]  Cristiano Castelfranchi,et al.  Engineering Social Order , 2000, ESAW.

[54]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[55]  Munindar P. Singh A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[56]  W. van Gerven,et al.  Of rights, remedies and procedures , 2000 .

[57]  Friedrich Steimann,et al.  On the representation of roles in object-oriented and conceptual modelling , 2000, Data Knowl. Eng..

[58]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[59]  Henry Lieberman,et al.  Your Wish is My Command , 2001, The Morgan Kaufmann series in interactive technologies.

[60]  Michel Klein,et al.  Combining and relating ontologies: an analysis of problems and solutions , 2001, OIS@IJCAI.

[61]  Alain Pirotte,et al.  A Generic Role Model for Dynamic Objects , 2002, CAiSE.

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

[63]  Jan Treur,et al.  Semantic formalization of interactive reasoning functionality , 2002, Int. J. Intell. Syst..

[64]  Leon Sterling,et al.  ROADMAP: extending the gaia methodology for complex open systems , 2002, AAMAS '02.

[65]  Stephan Herrmann,et al.  Object Teams: Improving Modularity for Crosscutting Collaborations , 2002, NetObjectDays.

[66]  Mehdi Dastani,et al.  Specifying the Merging of Desires into Goals in the Context of Beliefs , 2002, EurAsia-ICT.

[67]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

[68]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[69]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[70]  Marc Esteva,et al.  ISLANDER: an electronic institutions editor , 2002, AAMAS '02.

[71]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

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

[73]  Guido Boella,et al.  Obligations as Social Constructs , 2003, AI*IA.

[74]  Friedrich Steimann,et al.  Towards the systematic use of interfaces in JAVA programming , 2003, PPPJ.

[75]  Guido Boella,et al.  Attributing mental attitudes to normative systems , 2003, AAMAS '03.

[76]  Frank Dignum,et al.  Role-assignment in open agent societies , 2003, AAMAS '03.

[77]  Mira Mezini,et al.  Conquering aspects with Caesar , 2003, AOSD '03.

[78]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[79]  Guido Boella,et al.  Rational norm creation: attributing mental attitudes to normative systems, part 2 , 2003, ICAIL.

[80]  Tom M. van Engers,et al.  Using ontologies for comparing and harmonizing legislation , 2003, ICAIL.

[81]  Oscar Nierstrasz,et al.  Traits: Composable Units of Behaviour , 2002, ECOOP.

[82]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[83]  Fabiola. LoÌpez y LoÌpez Social power and norms : impact on agent behaviour , 2003 .

[84]  Barbara Pozzo,et al.  HARMONISATION OF EUROPEAN CONTRACT LAW AND THE NEED OF CREATING A COMMON TERMINOLOGY , 2003 .

[85]  Piercarlo Rossi,et al.  Terms and Conceps: Towards a syllabus for European Private Law , 2004 .

[86]  Leon van der Torre,et al.  Contrary‐to‐duty reasoning with preference‐based dyadic obligations , 1999, Annals of Mathematics and Artificial Intelligence.

[87]  Guido Boella,et al.  An Abstraction from Power to Coalition Structures , 2004, ECAI.

[88]  Frank Dignum,et al.  Contextual Taxonomies , 2004, CLIMA.

[89]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[90]  Guido Boella,et al.  Delta: The Social Delegation Cycle , 2004, DEON.

[91]  Trevor J. M. Bench-Capon,et al.  A Comparison of Four Ontologies for the Design of Legal Knowledge Systems , 1998, Artificial Intelligence and Law.

[92]  Daniel Oberle,et al.  Semantic management of middleware , 2006, DSM '04.

[93]  Avelino Francisco Zorzo,et al.  Mapping mental states into propositional planning , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[94]  Guido Boella,et al.  Groups as agents with mental attitudes , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[95]  Mehdi Dastani,et al.  Games for Cognitive Agents , 2004, JELIA.

[96]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[97]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[98]  Guido Boella,et al.  Permission and Authorization in Policies for Virtual Communities of Agents , 2004, AP2PC.

[99]  Silvia Likavec,et al.  A core calculus of mixins and incomplete objects , 2004, OOPSLA '04.

[100]  Michael Wooldridge,et al.  On the computational complexity of qualitative coalitional games , 2004, Artif. Intell..

[101]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[102]  Eduardo Alonso,et al.  Rights and Argumentation in Open Multi-Agent Systems , 2004, Artificial Intelligence Review.

[103]  Guido Boella,et al.  An agent oriented ontology of social reality , 2004 .

[104]  Guido Boella,et al.  Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents , 2004, IEEE/WIC/ACM International Conference on Web Intelligence (WI'04).

[105]  Marco Colombetti,et al.  A COMMITMENT-BASED APPROACH TO AGENT COMMUNICATION , 2004, Appl. Artif. Intell..

[106]  David E. Smith Choosing Objectives in Over-Subscription Planning , 2004, ICAPS.

[107]  Guido Boella,et al.  Attributing mental attitudes to roles: The agent metaphor applied to organizational design , 2004 .

[108]  Antonino Rotolo,et al.  On the Logical Nature of Count-as Conditionals , 2004 .

[109]  Guido Boella,et al.  Organizations as Socially Constructed Agents in the Agent Oriented Paradigm , 2004, ESAW.

[110]  Guido Boella,et al.  Social Viewpoints on Multiagent Systems , 2004, AAMAS '04.

[111]  Leon van der Torre,et al.  Contextual Deontic Logic: Normative Agents, Violations and Independence , 2004, Annals of Mathematics and Artificial Intelligence.

[112]  Guido Boella,et al.  From the Theory of Mind to the Construction of Social Reality , 2005 .

[113]  Friedrich Steimann,et al.  Patterns of Interface-Based Programming , 2005, J. Object Technol..

[114]  Guido Boella,et al.  Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages , 2005, PROMAS.

[115]  Guido Boella,et al.  Permission and authorization in normative multiagent systems , 2005, ICAIL '05.

[116]  Guido Boella,et al.  A synthesis between mental attitudes and social commitments in agent communication languages , 2005, IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[117]  Mehdi Dastani,et al.  Beliefs, obligations, intentions, and desires as components in an agent architecture , 2005, Int. J. Intell. Syst..

[118]  Guido Boella,et al.  Interaction in Normative Multi-Agent Systems , 2005, FInCo@ETAPS.

[119]  Farhad Arbab,et al.  Coordination and composition in multi-agent systems , 2005, AAMAS '05.

[120]  Frank Dignum,et al.  Contextual Terminologies , 2005, CLIMA.

[121]  Guido Boella,et al.  Social roles, from agents back to objects , 2005, WOA.

[122]  Reiner Schulze,et al.  European Private Law and Existing EC Law , 2005, European Review of Private Law.

[123]  Pompeu Casanovas,et al.  OPJK modeling methodology , 2005 .

[124]  Giancarlo Guizzardi,et al.  Relational roles and qua-individuals , 2005, AAAI 2005.

[125]  Guido Boella,et al.  Virtual Organizations as Normative Multiagent Systems , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[126]  Guido Boella,et al.  Transaction Trust in Normative Multiagent Systems , 2005 .

[127]  Guido Boella,et al.  Enforceable social laws , 2005, AAMAS '05.

[128]  Guido Boella,et al.  The Roles of Roles in Agent Communication Languages , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[129]  Tomaz Erjavec,et al.  The JRC-Acquis: A Multilingual Aligned Parallel Corpus with 20+ Languages , 2006, LREC.

[130]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[131]  Guido Boella,et al.  Security policies for sharing knowledge in virtual communities , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[132]  Emmanuel Giguet,et al.  Multilingual Lexical Database Generation from Parallel Texts in 20 European Languages with Endogenous Resources , 2006, ACL.

[133]  Guido Boella,et al.  A Logical Architecture of a Normative System , 2006, DEON.

[134]  Andrea G. B. Tettamanzi,et al.  Towards a framework for goal revision , 2006 .

[135]  Guido Boella,et al.  Fair Distribution of Collective Obligations , 2006, ECAI.

[136]  Jordi Cabot,et al.  Conceptual Modelling Patterns for Roles , 2006, J. Data Semant..

[137]  Guido Boella,et al.  Delegation of Power in Normative Multiagent Systems , 2006, DEON.

[138]  M. B. van Riemsdijk,et al.  Cognitive agent programming : A semantic approach , 2006 .

[139]  Guido Boella,et al.  ACL Semantics Between Social Commitments and Mental Attitudes , 2006, AC.

[140]  Leendert van der Torre,et al.  An architecture of a normative system , 2006 .

[141]  Guido Boella,et al.  A game theoretic approach to contracts in multiagent systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[142]  Guido Boella,et al.  Game-Theoretic Foundations for Norms , 2006 .

[143]  Guido Boella,et al.  Roles as a Coordination Construct: Introducing powerJava , 2006, MTCoord@COORDINATION.

[144]  Guido Boella,et al.  Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics , 2006, AAMAS '06.

[145]  Dominique Longin,et al.  A Logical Framework for Grounding-based Dialogue Analysis , 2006, LCMAS.

[146]  Guido Boella,et al.  A Foundational Ontology of Organizations and Roles , 2006, DALT.

[147]  Guido Governatori,et al.  The cost of social agents , 2006, AAMAS '06.

[148]  Guido Boella,et al.  Strengthening Admissible Coalitions , 2006, ECAI.

[149]  Guido Boella,et al.  powerJava: ontologically founded roles in object oriented programming languages , 2006, SAC '06.

[150]  Guido Boella,et al.  Distinguishing Propositional and Action Commitment in Agent Communication , 2007 .

[151]  Guido Boella,et al.  The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles , 2007, Artificial Intelligence and Law.

[152]  Sylvie Szulman,et al.  Merging of legal micro-ontologies from European directives , 2007, Artificial Intelligence and Law.

[153]  Guido Boella,et al.  Norm Negotiation in Multiagent Systems , 2007, Int. J. Cooperative Inf. Syst..

[154]  Guido Boella,et al.  FIPA Communicative Acts in Defeasible Logic , 2007, IJCAI 2007.

[155]  Guido Boella,et al.  Institutions with a hierarchy of authorities in distributed dynamic environments , 2008, Artificial Intelligence and Law.

[156]  Guido Boella,et al.  From social power to social importance , 2007, Web Intell. Agent Syst..

[157]  Jérôme Euzenat,et al.  Semantic Precision and Recall for Ontology Alignment Evaluation , 2007, IJCAI.

[158]  Guido Boella,et al.  Relationships meet their roles in object oriented programming , 2007, FSEN'07.

[159]  Guido Boella,et al.  Interaction between Objects in powerJava , 2007, J. Object Technol..

[160]  Patrice Caire,et al.  A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities , 2007, COIN.

[161]  Guido Boella,et al.  Power in Norm Negotiation , 2007, KES-AMSTA.

[162]  Pier Luigi Emiliani,et al.  Is the Intelligent Environment Smart Enough? , 2007, HCI.