A Soft COP Model for Goal Deliberation in a BDI Agent

Agent systems, such as those used to control robots, make decisions about their actions and take into account changes in the surrounding environment. The agent’s reasoning includes deliberating about its goals, such as whether to adopt an additional goal, to prioritize or reprioritize its goals, and to suspend some goals. In popular agent systems, such as those based around the BeliefDesire-Intention (BDI) architecture, deliberation is usually qualitative only, in that goals are dropped when they are found to be in conflict with other goals, or no longer believed to be possible, rather than as a means of increasing a measure of utility. In this paper we add a quantitative dimension to this reasoning process by formulating it as a Constraint Optimization Problem (COP). This allows us to incorporate preferences and other utility measures. We describe some criteria relevant to the reasoning process. The resulting model is able to encompass multiple aspects of agent deliberation, enabling the agent to make decisions that take into account more options and sources of information than it could by breaking the deliberation into components across its decision cycle.

[1]  Lin Padgham,et al.  Hierarchical planning in BDI agent programming languages: a formal approach , 2006, AAMAS '06.

[2]  Michael Winikoff,et al.  Detecting & exploiting positive goal interaction in intelligent agents , 2003, AAMAS '03.

[3]  V. S. Subrahmanian,et al.  Optimal status sets of heterogeneous agent programs , 2005, AAMAS '05.

[4]  Toby Walsh,et al.  Handbook of Constraint Programming (Foundations of Artificial Intelligence) , 2006 .

[5]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[6]  Roman Barták,et al.  Encoding HTN Planning as a Dynamic CSP , 2005, CP.

[7]  Karen L. Myers,et al.  A Cognitive Framework for Delegation to an Assistive User Agent , 2005 .

[8]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[9]  Lin Padgham,et al.  Representation and Reasoning for Goals in BDI Agents , 2002, ACSC.

[10]  Victor R. Lesser,et al.  AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling , 2002, AAMAS '02.

[11]  Mehdi Dastani,et al.  Programming BOID-plan agents deliberating about conflicts among defeasible mental attitudes and plans , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[12]  Ulrich Junker,et al.  Preference-Based Search and Multi-Criteria Optimization , 2002, Ann. Oper. Res..

[13]  Michael Winikoff,et al.  Avoiding Resource Conflicts in Intelligent Agents , 2002, ECAI.

[14]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[15]  Eugene C. Freuder,et al.  Constraints and Agents Confronting Ignorance , 1998, AI Mag..

[16]  F. Dignum,et al.  From Desires, Obligations and Norms to Goals , 2002 .

[17]  Michael Wooldridge,et al.  The theory and practice of intention reconsideration , 2004, J. Exp. Theor. Artif. Intell..

[18]  Victor R. Lesser,et al.  A framework for meta-level control in multi-agent systems , 2007, Autonomous Agents and Multi-Agent Systems.

[19]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[20]  R. S. Laundy,et al.  Multiple Criteria Optimisation: Theory, Computation and Application , 1989 .

[21]  John Thangarajah,et al.  Aborting tasks in BDI agents , 2007, AAMAS '07.

[22]  Monique Calisti,et al.  Constraint Satisfaction Techniques and Software Agents , 2004 .

[23]  Alun D. Preece,et al.  Supporting Virtual Organisations Using BDI Agents and Constraints , 2002, CIA.

[24]  Karen L. Myers,et al.  Continuous refinement of agent resource estimates , 2006, AAMAS '06.

[25]  Avelino Francisco Zorzo,et al.  Propositional planning in BDI agents , 2004, SAC '04.

[26]  Rafael H. Bordini,et al.  Towards Alternative Approaches to Reasoning About Goals , 2007, DALT.

[27]  Sriraam Natarajan,et al.  A Relational Hierarchical Model for Decision-Theoretic Assistance , 2007, ILP.

[28]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[29]  Jon Doyle,et al.  Impediments to Universal Preference-Based Default Theories , 1989, KR.

[30]  Mehdi Dastani,et al.  Specifying the Merging of Desires into Goals in the Context of Beliefs , 2002, EurAsia-ICT.

[31]  Avi Pfeffer Functional Specification of Probabilistic Process Models , 2005, AAAI.

[32]  Deborah L. McGuinness,et al.  An Intelligent Personal Assistant for Task and Time Management , 2007, AI Mag..

[33]  Alan K. Mackworth Constraint-Based Agents: The ABC's of CBA's , 2000, CP.