Abstract
The philosophical roots of the Belief-Desire-Intention model lie in Bratman’s formulation of an intention theory of planning, in which he sought to make sense of the notion of future-directed intention. Implementations of BDI mainly follow the original Procedural Reasoning System model. BDI has a sound logical basis, exemplified by the Logic Of Rational Agents. While the LORA formulation has a temporal logic component, however, this does not translate into any ability for the agent to reason about actual time. Being able to reason about actual time would bring significant benefits for BDI agents, such as the ability for agents to communicate deadlines and to plan and schedule activities in a cooperating group. Given a suitable representation of temporal knowledge, an agent could learn about the temporal aspects of its own actions and processes, and this knowledge could be used as input to the planning process. This paper outlines a possible implementation strategy for the representation of, and the capacity to reason about, actual time.
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
Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence 23(2), 123–154 (1984)
Allen, J.F.: Planning as Temporal Reasoning. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), Morgan Kaufman, Cambridge (1991)
AOS: JACK Intelligent Agents: JACK Manual, Release 4.1, Agent Oriented Software, Pty Ltd (2004)
AOS: JACK Intelligent Agents: JACK Teams Manual, Release 4.1, Agent Oriented Software, Pty Ltd (2004)
Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Busetta, P., Howden, N., et al.: Structuring BDI Agents in Functional Clusters. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–256 (1990)
d’Inverno, M., Kinny, D., et al.: A Formal Specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol. 1365, Springer, Heidelberg (1998)
Emerson, E.A., Halpern, J.Y.: “Sometimes” and “not ever” revisited: on branching time versus linear time temporal logic. Journal of the ACM 33(1), 151–178 (1986)
Gabbay, D.M.: Modal and Temporal Logic Programming. In: Temporal Logics and their Applications, pp. 197–237. Academic Press, London (1987)
Galton, A.: Temporal Logic and Computer Science: An Overview. In: Galton, A. (ed.) Temporal Logics and their Applications, pp. 1–52. Academic Press, London (1987)
Georgeff, M.P., Lansky, A.L.: Procedural Knowledge. Proceedings of the IEEE 74, 1383–1398 (1986)
Georgeff, M.P., Pollack, M.E.: Rational Agency Project. CSLI Monthly 2(3) (1986)
Howden, N., Rönnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents - Summary of an Agent Infrastructure. Paper presented at the 5th International Conference on Autonomous Agents, Montreal, Canada (2001)
Huber, M.: JAM: A BDI-theoretic mobile agent architecture. In: Proceedings of the Third International Conference on Autonomous Agents (Agents 1999), pp. 236–243. ACM Press, New York (1999)
Jarvis, B.: Expressing Commitment in a BDI Architecture (in review)
Jennings, N.R.: Specification and implementation of a belief-desire-joint-intention architecture for collaborative problem solving. Journal of Intelligent and Cooperative Information Systems 2(3), 289–318 (1993)
Jonker, C.M., Terziyan, V., Treur, J.: Temporal and Spatial Analysis to Personalise an Agent’s Dynamic Belief, Desire, and Intention Profiles. In: Klusch, M., Omicini, A., Ossowski, S., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol. 2782, pp. 298–315. Springer, Heidelberg (2003)
Newton-Smith, W.H.: The Structure of Time. Routledge & Kegan Paul, London (1980)
Prouskas, K.-V., Pitt, J.V.: A Real-Time Architecture for Time-Aware Agents. IEEE Transactions on Systems, Man, and Cybernetics–Part B: Cybernetics 34(3) (2004)
Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293–344 (1998)
Sánchez, M.A., Augusto, J.C.: Testing an Implementation of a Temporal Language. Paper presented at the 20th International Conference of the Chilean Computer Science Society (2000)
van der Hoek, W., Wooldridge, M.: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2), 133–157 (2003)
Wooldridge, M.: Reasoning About Rational Agents. The MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jarvis, B., Corbett, D., Jain, L.C. (2005). Reasoning About Time in a BDI Architecture. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2005. Lecture Notes in Computer Science(), vol 3682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11552451_117
Download citation
DOI: https://doi.org/10.1007/11552451_117
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28895-4
Online ISBN: 978-3-540-31986-3
eBook Packages: Computer ScienceComputer Science (R0)