ANGLE: An autonomous, normative and guidable agent with changing knowledge

Some emerging computing systems (especially autonomic computing systems) raise several challenges to autonomous agents, including (1) how to reflect the dynamics of business requirements, (2) how to coordinate with external agents with sufficient level of security and predictability, and (3) how to perform reasoning with dynamic and incomplete knowledge, including both informational knowledge (observations) and motivational knowledge (for example, policy rules and contract rules). On the basis of defeasible logic and argumentation, this paper proposes an autonomous, normative and guidable agent model, called ANGLE, to cope with these challenges. This agent is established by combining beliefs-desires-intentions (BDI) architecture with policy-based method and the mechanism of contract-based coordination. Its architecture, knowledge representation, as well as reasoning and decision-making, are presented in this paper. ANGLE is characteristic of the following three aspects. First, both its motivational knowledge and informational knowledge are changeable, and allowed to be incomplete, inconsistent/conflicting. Second, its knowledge is represented in terms of extended defeasible logic with modal operators. Different from the existing defeasible theories, its theories (including belief theory, goal theory and intention theory) are dynamic (called dynamic theories), reflecting the variations of observations and external motivational knowledge. Third, its reasoning and decision-making are based on argumentation. Due to the dynamics of underlying theories, argument construction is not a monotonic process, which is different from the existing argumentation framework where arguments are constructed incrementally.

[1]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .

[2]  Ji Gao,et al.  A Model of Multi-agent System Based on Policies and Contracts , 2005, CEEMAS.

[3]  Eduardo Mena,et al.  Using cooperative mobile agents to monitor distributed and dynamic environments , 2008, Inf. Sci..

[4]  Michael Luck,et al.  A normative framework for agent-based systems , 2006, Comput. Math. Organ. Theory.

[5]  S. Miles,et al.  An Argumentation Inspired Heuristic for Resolving Normative Conflict , 2008 .

[6]  Brett Benyo,et al.  Representation and reasoning for DAML-based policy and domain services in KAoS and nomads , 2003, AAMAS '03.

[7]  Wamberto Weber Vasconcelos,et al.  Constraint rule-based programming of norms for electronic institutions , 2009, Autonomous Agents and Multi-Agent Systems.

[8]  Larry Korba,et al.  Towards Policy-Driven Agent Development and Management , 2000, MATA.

[9]  Ji Gao,et al.  An Automatic Policy Refinement Mechanism for Policy-Driven Grid Service Systems , 2005, GCC.

[10]  Sanjay Modgil,et al.  Argumentation in Artificial Intelligence , 2009 .

[11]  Guido Governatori,et al.  Defeasible Logic: Agency, Intention and Obligation , 2004, DEON.

[12]  Gabriele Kern-Isberner,et al.  On the Relationship of Defeasible Argumentation and Answer Set Programming , 2008, COMMA.

[13]  Leila Amgoud,et al.  A Formal Framework for Handling Conflicting Desires , 2003, ECSQARU.

[14]  Michael Luck,et al.  Argumentation Based Resolution of Conflicts between Desires and Normative Goals , 2009, ArgMAS.

[15]  Antonis C. Kakas,et al.  Argumentation based decision making for autonomous agents , 2003, AAMAS '03.

[16]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[17]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[18]  Henri Prade,et al.  Using arguments for making and explaining decisions , 2009, Artif. Intell..

[19]  Munindar P. Singh,et al.  Multiagent Policy Architecture for Virtual Business Organizations , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[20]  Emil C. Lupu,et al.  Security and management policy specification , 2002, IEEE Netw..

[21]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[22]  Jun Hu,et al.  A federated multi-agent system: autonomic control of Web services , 2004, Proceedings of 2004 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.04EX826).

[23]  Li Jin,et al.  PDC-Agent Enabled Autonomic Computing: A Theory of Autonomous Service Composition , 2006, PRIMA.

[24]  Jeffrey M. Bradshaw,et al.  Semantic Web Languages for Policy Representation and Reasoning: A Comparison of KAoS, Rei, and Ponder , 2003, SEMWEB.

[25]  Karen L. Myers,et al.  Policy-based Agent Directability , 2003 .

[26]  Francesca Toni,et al.  Normative KGP agents , 2006, Comput. Math. Organ. Theory.

[27]  Guido Governatori,et al.  DR-CONTRACT: an architecture for e-contracts in defeasible logic , 2009, Int. J. Bus. Process. Integr. Manag..

[28]  Ji Gao,et al.  An Extended BDI Agent with Policies and Contracts , 2006, PRIMA.

[29]  Guillermo Ricardo Simari,et al.  Argumentation and the Dynamics of Warranted Beliefs in Changing Environments , 2005, Autonomous Agents and Multi-Agent Systems.

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

[31]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[32]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[33]  Guido Governatori,et al.  A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems , 2009, Expert Syst. Appl..

[34]  Martin J. Kollingbaum,et al.  Norm-governed practical reasoning agents , 2005 .

[35]  Jeffrey O. Kephart,et al.  Research challenges of autonomic computing , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[36]  Nick Bassiliades,et al.  Deploying defeasible logic rule bases for the semantic web , 2008, Data Knowl. Eng..

[37]  Gao Ji,et al.  A Defeasible Logic-Based Flexible Agent for Autonomic Computing , 2008 .

[38]  Qinglin Guo,et al.  A novel approach for multi-agent-based Intelligent Manufacturing System , 2009, Inf. Sci..

[39]  Jeffrey M. Bradshaw,et al.  Dimensions of Adjustable Autonomy and Mixed-Initiative Interaction , 2003, Agents and Computational Autonomy.

[40]  Francesca Toni,et al.  Argumentative KGP Agents for Service Composition , 2008, AAAI Spring Symposium: Emotion, Personality, and Social Behavior.

[41]  Michael Wooldridge,et al.  The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System , 2004, Autonomous Agents and Multi-Agent Systems.

[42]  Mehdi Dastani,et al.  Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires , 2001, ECSQARU.

[43]  Bart Verheij,et al.  A Labeling Approach to the Computation of Credulous Acceptance in Argumentation , 2007, IJCAI.

[44]  Munindar P. Singh,et al.  Formal methods in DAI: logic-based representation and reasoning , 1999 .

[45]  Michael J. Maher,et al.  Efficient Defeasible Reasoning Systems , 2001, Int. J. Artif. Intell. Tools.

[46]  Jorge Lobo,et al.  Authorization and Obligation Policies in Dynamic Systems , 2008, ICLP.

[47]  Frank Dignum,et al.  Motivational Attitudes of Agents: On Desires, Obligations, and Norms , 2001, CEEMAS.

[48]  Jeffrey M. Bradshaw,et al.  Demonstrating Human-Robot Coordination through Dynamic Regulation , 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

[49]  Gao Ji,et al.  Conceptual Model and Realization Methods of Autonomic Computing , 2008 .

[50]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[51]  Bei-Shui Liao,et al.  Conceptual Model and Realization Methods of Autonomic Computing: Conceptual Model and Realization Methods of Autonomic Computing , 2008 .

[52]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[53]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..

[54]  Wamberto Weber Vasconcelos,et al.  Resolving conflict and inconsistency in norm-regulated virtual organizations , 2007, AAMAS '07.

[55]  Morris Sloman,et al.  AMUSE: autonomic management of ubiquitous e-Health systems , 2008 .

[56]  Sanjay Modgil.  An Argumentation Based Semantics for Agent Reasoning , 2007, LADS.

[57]  Guido Governatori,et al.  Programming Cognitive Agents in Defeasible Logic , 2005, LPAR.

[58]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[59]  Jun Hu,et al.  Ontology-Based Conceptual Modeling of Policy-Driven Control Framework: Oriented to Multi-agent System for Web Services Management , 2004, AWCC.

[60]  Guido Boella,et al.  Contracts as legal institutions in organizations of autonomous agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[61]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

[62]  Sanjay Modgil,et al.  Proof Theories and Algorithms for Abstract Argumentation Frameworks , 2009, Argumentation in Artificial Intelligence.

[63]  Henry Hexmoor,et al.  Agent Autonomy , 2003, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[64]  Guido Governatori,et al.  BIO logical agents: Norms, beliefs, intentions in defeasible logic , 2008, Autonomous Agents and Multi-Agent Systems.

[65]  Wamberto Weber Vasconcelos,et al.  Normative conflict resolution in multi-agent systems , 2009, Autonomous Agents and Multi-Agent Systems.

[66]  Huaglory Tianfield,et al.  Multi-agent based autonomic architecture for network management , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..

[67]  Jeffrey M. Bradshaw,et al.  Social Order and Adaptability in Animal and Human Cultures as Analogues for Agent Communities: Toward a Policy-Based Approach , 2003, ESAW.

[68]  Jeffrey M. Bradshaw,et al.  Rule-based and Ontology-based Policies: Toward a Hybrid Approach to Control Agents in Pervasive Environments , 2005 .

[69]  Emil C. Lupu,et al.  Conflicts in Policy-Based Distributed Systems Management , 1999, IEEE Trans. Software Eng..

[70]  Guillermo Ricardo Simari,et al.  Defeasible Argumentation Support for an Extended BDI Architecture , 2007, ArgMAS.

[71]  Huaxin Huang,et al.  An Argumentation-Based Flexible Agent with Dynamic Rules of Inference , 2009, 2009 21st IEEE International Conference on Tools with Artificial Intelligence.

[72]  Wamberto Weber Vasconcelos,et al.  Norm-oriented programming of electronic institutions , 2006, AAMAS '06.

[73]  Francesca Toni,et al.  Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents , 2007, ArgMAS.