Abstract
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.
This paper is an extended version of [16] and is also a revised version of [14].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
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)
Clement, B.J., Durfee, E.H.: Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information. In: Proc. AAAI 1999, pp. 495–502 (1999)
Clement, B.J., Durfee, E.H., Barrett, A.C.: Abstract Reasoning for Planning and Coordination. J. of Artificial Intelligence Research 28, 453–515 (2007)
Dastani, M.: 2APL: A Practical Agent Programming Language. J. of AAMAS 16(3), 214–248 (2008)
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)
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)
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)
Horty, J.F., Pollack, M.E.: Evaluating New Options in the Context of Existing Plans. Artificial Intelligence 127, 199–220 (2001)
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)
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)
Khan, S.M., Lespérance, Y.: ECASL: A Model of Rational Agency for Communicating Agents. In: Proc. AAMAS 2005, pp. 762–769 (2005)
Khan, S.M., Lespérance, Y.: A Logical Framework for Prioritized Goal Change. In: Proc. AAMAS 2010, pp. 283–290 (2010)
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)
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)
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)
Levesque, H.J., Pirri, F., Reiter, R.: Foundations for a Calculus of Situations. Electronic Transactions of AI (ETAI) 2(3-4), 159–178 (1998)
Pistore, M., Traverso, P.: Planning as Model Checking for Extended Goals in Non-Deterministic Domains. In: Proc. IJCAI 2001, pp. 479–484 (2001)
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)
Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)
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)
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)
Scherl, R., Levesque, H.J.: Knowledge, Action, and the Frame Problem. Artificial Intelligence 144(1-2), 1–39 (2003)
Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. In: Proc. IJCAI 2007, pp. 2625–2630 (2007)
Shapiro, S., Lespérance, Y., Levesque, H.J.: Goal Change in the Situation Calculus. J. of Logic and Computation 17(5), 983–1018 (2007)
Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and Avoiding Interference between Goals in Intelligent Agents. In: Proc. IJCAI 2003, pp. 721–726 (2003)
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)
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: Proc. KR 2002, pp. 470–481 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khan, S.M., Lespérance, Y. (2012). Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). In: Dennis, L., Boissier, O., Bordini, R.H. (eds) Programming Multi-Agent Systems. ProMAS 2011. Lecture Notes in Computer Science(), vol 7217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31915-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-31915-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31914-3
Online ISBN: 978-3-642-31915-0
eBook Packages: Computer ScienceComputer Science (R0)