Intention is choice with commitment
Artificial Intelligence
Rational software agents: from theory to practice
Agent technology
Proceedings of the 1st international conference on Knowledge capture
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Representation and reasoning for goals in BDI agents
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Developing Intelligent Agent Systems: A Practical Guide
Developing Intelligent Agent Systems: A Practical Guide
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Semantics of declarative goals in agent programming
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On proactivity and maintenance goals
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goal types in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Suspending and resuming tasks in BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
BDI-agents for agile goal-oriented business processes
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Theoretical and experimental results on the goal-plan tree problem
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Operational semantics of goal models in adaptive agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
First principles planning in BDI systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Goal Types in Agent Programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Extending BDI plan selection to incorporate learning from experience
Robotics and Autonomous Systems
Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions)
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Belief-Goal Relationships in Possibilistic Goal Generation
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
On the Life-Cycle of BDI Agent Goals
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A unified interaction-aware goal framework
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A Logical Model of Intention and Plan Dynamics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Modeling and reasoning about service-oriented applications via goals and commitments
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Representing long-term and interest BDI goals
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Computationally Effective Reasoning About Goal Interactions
Journal of Automated Reasoning
Subgoal semantics in agent programming
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |
A fundamental feature of intelligent agents is their ability to deliberate over their goals. Operating in an environment that may change in unpredictable ways, an agent needs to regularly evaluate whether its current set of goals is the most appropriate set to pursue. The management of goals is thus a key aspect of an agent's architecture. Focusing on BDI agents, we consider the various types of goals studied in the literature, including both achievement and maintenance goals. We develop a detailed description of goal states (such as whether goals have been suspended or not), and a comprehensive suite of operations that may be applied to goals (including dropping, aborting, suspending and resuming them). We provide an operational semantics corresponding to this detailed description in an abstract agent language (CAN), and demonstrate on a detailed real-life scenario. The three key contributions of our generic framework for goal states and transitions are (1) to encompass both goals of accomplishment and rich goals of monitoring, (2) to provide the first specification of abort and suspend for all the common goal types, and (3) to account for plan execution as well as the dynamics of subgoaling. Our semantics clarifies how an agent can manage its goals, based on the decisions that it chooses to make, and further provides a foundation for correctness verification of agent behaviour.