Intention is choice with commitment
Artificial Intelligence
Artificial Intelligence
KAoS: toward an industrial-strength open agent architecture
Software agents
What robots can do: robot programs and effective achievability
Artificial Intelligence
Formalising abilities and opportunities of agents
Fundamenta Informaticae
A formal methodology for verifying situated agents
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
A logical approach to the dynamics of commitments
Artificial Intelligence
Representation and reasoning for goals in BDI agents
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Agent Capabilities: Extending BDI Theory
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Structuring BDI Agents in Functional Clusters
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
High variability design for software agents: Extending Tropos
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Goals in the context of BDI plan failure and planning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker
International Journal of Artificial Intelligence and Soft Computing
Extending Agent Capabilities: Tools vs. Agents
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Operational semantics of goal models in adaptive agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Modules as policy-based intentions: modular agent programming in GOAL
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Programming Role Enactment through Reflection
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Development of an e-engineering framework for automotive module design
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
From stakeholder intentions to software agent implementations
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Reasoning about agent programs using ATL-Like logics
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Using strategic logics to reason about agent programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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 aspects of the specification of a BDI interpreter are affected by the introduction of capabilities and give some indications of additional reasoning which could be incorporated into an agent system on the basis of both the theoretical analysis and the existing implementation.