Abstract: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.

Multi-agent Belief and Normative Ability Reasoning

Argumentation-Based Non-Monotonic Reasoning of Agents

Making Agents' Abilities Explicit

ANGLE: an Autonomous, Normative and Guidable Agent with Changing Knowledge.

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing

Reasoning About Belief, Evidence And Trust In A Multi-Agent Setting

Theory of Mind for Multi-Agent Collaboration via Large Language Models

Toward a formal theory of belief, capability and promise incorporating temporal aspect

Modeling belief, capability and promise for cognitive agents – a modal logic approach

Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory

Capacity ATL

Strategic Ability Updating in Concurrent Games by Coalitional Commitment.

Reasoning Capacity in Multi-Agent Systems: Limitations, Challenges and Human-Centered Solutions

K-Level Reasoning: Establishing Higher Order Beliefs in Large Language Models for Strategic Reasoning

Textualized Agent-Style Reasoning for Complex Tasks by Multiple Round LLM Generation

Multi-Agent Cooperation Via Reasoning About The Behavior Of Others

When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

MAgIC: Investigation of Large Language Model Powered Multi-Agent in Cognition, Adaptability, Rationality and Collaboration

Nash CoT: Multi-Path Inference with Preference Equilibrium

ATCL: Formalization Tool for Commitment-Based Agent Organization

Cooperation on the Fly: Exploring Language Agents for Ad Hoc Teamwork in the Avalon Game