Preference-based reasoning in BDI agent systems

An important feature of BDI agent systems is number of different ways in which an agent can achieve its goals. The choice of means to achieve the goal in made by the system at run time, depending on contextual information that is not available in advance. In this article, we explore ways that the user of an agent system can specify preferences which can be incorporated into the BDI execution process and used to guide the choices made. For example, a user of a travel system can specify a preferred airline, or a particular kind of accommodation, and the system will use this information to satisfy the goal and preferences, if possible. Preferences are specified in terms of properties of goals and resource usage, and are used to make two types of decisions: (a) select a plan when there is a choice and (b) determine the order in which subgoals of a plan should be pursued when their order is not fixed by design. We have implemented our preference framework in Jadex, and provide detailed case studies within the context of a holiday travel agent application.

[1]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[2]  Rafael H. Bordini,et al.  An Alternative Approach for Reasoning about the Goal-Plan Tree Problem , 2010, LADS.

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

[4]  Anand S. Rao,et al.  An architecture for real-time reasoning and system control , 1992, IEEE Expert.

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

[6]  Sheila A. McIlraith,et al.  Planning with Qualitative Temporal Preferences , 2006, KR.

[7]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[8]  Koen V. Hindriks,et al.  Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming , 2008, DALT.

[9]  Winfried Lamersdorf,et al.  Jadex: A BDI Reasoning Engine , 2005, Multi-Agent Programming.

[10]  Koen V. Hindriks,et al.  Exploring Heuristic Action Selection in Agent Programming , 2009, ProMAS.

[11]  Sheila A. McIlraith,et al.  Decision-Theoretic GOLOG with Qualitative Preferences , 2006, KR.

[12]  Lin Padgham,et al.  Situational preferences for BDI plans , 2013, AAMAS.

[13]  Ralph Rönnquist,et al.  The Goal Oriented Teams (GORITE) Framework , 2007, PROMAS.

[14]  Paolo Busetta,et al.  Jack intelligent agents - components for intelligent agents in java , 1998 .

[15]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[16]  Anh Nguyen,et al.  An adaptive plan-based dialogue agent: integrating learning into a BDI architecture , 2006, AAMAS '06.

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

[18]  Aditya K. Ghose,et al.  BDI Agents with Objectives and Preferences , 2010, DALT.

[19]  Michael Winikoff,et al.  On the Testability of BDI Agent Systems , 2014, J. Artif. Intell. Res..

[20]  Marcelo Luis Errecalde,et al.  Multi-criteria argumentation-based decision making within a BDI agent , 2013 .

[21]  Sheila A. McIlraith,et al.  Compiling Qualitative Preferences into Decision-Theoretic Golog Programs , 2005 .

[22]  Derek Long,et al.  Plan Constraints and Preferences in PDDL3 , 2006 .

[23]  Michael Winiko,et al.  On the Testability of BDI Agent Systems , 2014 .

[24]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[25]  Karen L. Myers,et al.  Human directability of agents , 2001, K-CAP '01.

[26]  Edmund H. Durfee,et al.  Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information , 1999, AAAI/IAAI.

[27]  Lin Padgham,et al.  Measuring plan coverage and overlap for agent reasoning , 2012, AAMAS.

[28]  Rafael H. Bordini,et al.  Theoretical and experimental results on the goal-plan tree problem , 2008, AAMAS.

[29]  Karen L. Myers,et al.  Conflict management for agent guidance , 2002, AAMAS '02.

[30]  Karen L. Myers,et al.  Resolving Conflicts in Agent Guidance , 2002 .

[31]  Jorge A. Baier,et al.  On Domain-Independent Heuristics for Planning with Qualitative Preferences , 2007, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[32]  Edmund H. Durfee,et al.  Top-down search for coordinating the hierarchical plans of multiple agents , 1999, AGENTS '99.

[33]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[34]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.