Formal methods in DAI: logic-based representation and reasoning
Multiagent systems
Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Answer set programming and plan generation
Artificial Intelligence
The Vision of Autonomic Computing
Computer
Motivational Attitudes of Agents: On Desires, Obligations, and Norms
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Deliberative Normative Agents: Principles and Architecture
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Towards Socially Sophisticated BDI Agents
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Contracts as Legal Institutions in Organizations of Autonomous Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Research challenges of autonomic computing
Proceedings of the 27th international conference on Software engineering
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
Autonomous Agents and Multi-Agent Systems
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
A normative framework for agent-based systems
Computational & Mathematical Organization Theory
Computational & Mathematical Organization Theory
Multiagent Policy Architecture for Virtual Business Organizations
SCC '06 Proceedings of the IEEE International Conference on Services Computing
On the evaluation of argumentation formalisms
Artificial Intelligence
Argumentation in artificial intelligence
Artificial Intelligence
Resolving conflict and inconsistency in norm-regulated virtual organizations
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
AMUSE: autonomic management of ubiquitous e-Health systems
Concurrency and Computation: Practice & Experience - Selected Papers from the 2005 U.K. e-Science All Hands Meeting (AHM 2005)
Using cooperative mobile agents to monitor distributed and dynamic environments
Information Sciences: an International Journal
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
Demonstrating Human-Robot Coordination through Dynamic Regulation
POLICY '08 Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Using arguments for making and explaining decisions
Artificial Intelligence
Reasoning about preferences in argumentation frameworks
Artificial Intelligence
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
On the Relationship of Defeasible Argumentation and Answer Set Programming
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
A novel approach for multi-agent-based Intelligent Manufacturing System
Information Sciences: an International Journal
A labeling approach to the computation of credulous acceptance in argumentation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
An Argumentation-Based Flexible Agent with Dynamic Rules of Inference
ICTAI '09 Proceedings of the 2009 21st IEEE International Conference on Tools with Artificial Intelligence
Preferences and assumption-based argumentation for conflict-free normative agents
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Defeasible argumentation support for an extended BDI architecture
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
A model of multi-agent system based on policies and contracts
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Programming cognitive agents in defeasible logic
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
An automatic policy refinement mechanism for policy-driven grid service systems
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
An extended BDI agent with policies and contracts
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
PDC-Agent enabled autonomic computing: a theory of autonomous service composition
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Security and management policy specification
IEEE Network: The Magazine of Global Internetworking
Dynamics of argumentation systems: A division-based method
Artificial Intelligence
Partial semantics of argumentation
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Induced states in a decision tree constructed by Q-learning
Information Sciences: an International Journal
Case-based strategies for argumentation dialogues in agent societies
Information Sciences: an International Journal
Policy sharing between multiple mobile robots using decision trees
Information Sciences: an International Journal
Hi-index | 0.07 |
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.