Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)

  • Shakil M. Khan
  • Yves Lespérance
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7217)


To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality – they ignore other concurrent intentions of the agent when selecting plans, and as a consequence, the selected plans may be inconsistent with these intentions. In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritized declarative goals that addresses this deficiency. We ensure that the agent’s chosen declarative goals and adopted plans are consistent with each other and with the agent’s knowledge. We show how agents specified in our language satisfy some key rationality requirements.


Transition Rule Agent Program Logical Foundation Situation Calculus Parent Goal 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)Google Scholar
  2. 2.
    Calvanese, D., De Giacomo, G., Vardi, M.Y.: Reasoning about Actions and Planning in LTL Action Theories. In: Proc. KR 2002, pp. 593–602 (2002)Google Scholar
  3. 3.
    Clement, B.J., Durfee, E.H.: Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information. In: Proc. AAAI 1999, pp. 495–502 (1999)Google Scholar
  4. 4.
    Clement, B.J., Durfee, E.H., Barrett, A.C.: Abstract Reasoning for Planning and Coordination. J. of Artificial Intelligence Research 28, 453–515 (2007)zbMATHGoogle Scholar
  5. 5.
    Dastani, M.: 2APL: A Practical Agent Programming Language. J. of AAMAS 16(3), 214–248 (2008)Google Scholar
  6. 6.
    De Giacomo, G., Lespérance, Y., Levesque, H.J.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121, 109–169 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming with Declarative Goals. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 228–243. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  8. 8.
    Hindriks, K.V., van der Hoek, W., van Riemsdijk, M.B.: Agent Programming with Temporally Extended Goals. In: Proc. AAMAS 2009, pp. 137–144 (2009)Google Scholar
  9. 9.
    Horty, J.F., Pollack, M.E.: Evaluating New Options in the Context of Existing Plans. Artificial Intelligence 127, 199–220 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An Architecture for Real-Time Reasoning and System Control. IEEE Expert 7(6), 34–44 (1992)CrossRefGoogle Scholar
  11. 11.
    Khan, S.M.: Rational Agents : Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals (in preparation). Ph.D. thesis, York University, Canada (2011)Google Scholar
  12. 12.
    Khan, S.M., Lespérance, Y.: ECASL: A Model of Rational Agency for Communicating Agents. In: Proc. AAMAS 2005, pp. 762–769 (2005)Google Scholar
  13. 13.
    Khan, S.M., Lespérance, Y.: A Logical Framework for Prioritized Goal Change. In: Proc. AAMAS 2010, pp. 283–290 (2010)Google Scholar
  14. 14.
    Khan, S.M., Lespérance, Y.: Towards a Rational Agent Programming Language with Prioritized Goals. In: Working Notes of DALT VIII, pp. 18–33 (2010)Google Scholar
  15. 15.
    Khan, S.M., Lespérance, Y.: Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS (LNAI), vol. 5948, pp. 119–136. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  16. 16.
    Khan, S.M., Lespérance, Y.: SR-APL: A Model for a Programming Language for Rational BDI Agents with Prioritized Goals (Extended Abstract). In: Proc. AAMAS 2011, pp. 1251–1252 (2011)Google Scholar
  17. 17.
    Levesque, H.J., Pirri, F., Reiter, R.: Foundations for a Calculus of Situations. Electronic Transactions of AI (ETAI) 2(3-4), 159–178 (1998)MathSciNetGoogle Scholar
  18. 18.
    Pistore, M., Traverso, P.: Planning as Model Checking for Extended Goals in Non-Deterministic Domains. In: Proc. IJCAI 2001, pp. 479–484 (2001)Google Scholar
  19. 19.
    Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  20. 20.
    Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)Google Scholar
  21. 21.
    Sardiña, S., de Silva, L., Padgham, L.: Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach. In: Proc. AAMAS 2006, pp. 1001–1008 (2006)Google Scholar
  22. 22.
    Sardiña, S., Padgham, L.: A BDI Agent Programming Language with Failure Recovery, Declarative Goals, and Planning. J. of AAMAS 23(1), 18–70 (2011)Google Scholar
  23. 23.
    Scherl, R., Levesque, H.J.: Knowledge, Action, and the Frame Problem. Artificial Intelligence 144(1-2), 1–39 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. In: Proc. IJCAI 2007, pp. 2625–2630 (2007)Google Scholar
  25. 25.
    Shapiro, S., Lespérance, Y., Levesque, H.J.: Goal Change in the Situation Calculus. J. of Logic and Computation 17(5), 983–1018 (2007)CrossRefzbMATHGoogle Scholar
  26. 26.
    Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and Avoiding Interference between Goals in Intelligent Agents. In: Proc. IJCAI 2003, pp. 721–726 (2003)Google Scholar
  27. 27.
    van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Goals in Conflict: Semantic Foundations of Goals in Agent Programming. J. of AAMAS 18(3), 471–500 (2009)Google Scholar
  28. 28.
    Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: Proc. KR 2002, pp. 470–481 (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Shakil M. Khan
    • 1
  • Yves Lespérance
    • 1
  1. 1.Department of Computer Science and EngineeringYork UniversityTorontoCanada

Personalised recommendations