Formalisations of Capabilities for BDI-Agents

Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into some of these systems as a software engineering mechanism to support modularity and reusability while still allowing meta-level reasoning. This paper presents possible formalisations of capabilities within the framework of beliefs, goals and intentions and indicates how capabilities can affect agent reasoning about its intentions. We define a style of agent commitment which we refer to as a self-aware agent which allows an agent to modify its goals and intentions as its capabilities change. We also indicate which

• Type: Journal
• Year: 2005
• Where: AAMAS
• Authors: Lin Padgham, Patrick Lambrix
• Keywords: AAMAS 2005, Intelligent Agents, Intentional Agent Systems, Meta-level Reasoning, Software Engineering Mechanism