Abstract
Although software agents are becoming more widely used, methodology for constructing agent programs is poorly understood. In this paper, we take a step towards specifying and proving correctness for a class of agent programs based on the PRS architecture, Georgeff and Lansky [9], one of the most widely used in industrial settings. We view PRS as a simplified operating system capable of concurrently running a series of plans, each of which at any time is in a state of partial execution. The PRS system is construed as using a simplified interrupt mechanism to enable it, using information about goal priorities, to “recover” from various contingencies so that blocked plans can be resumed and eventually successfully completed. We develop a simple methodology for PRS program construction, then present a formalism combining dynamic logic and context-based reasoning that can be used to reason about such PRS plans.
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
Asher, N.M., Koons, R.C.: The Revision of Beliefs and Intentions in a Changing World. In: Proceedings of the 1993 Spring Symposium on Reasoning about Mental States: Formal Theories and Applications, pp. 1–9 (1993)
Bell, J.: Changing Attitudes. In: Wooldridge, M.J., Jennings, N.R. (eds.) Intelligent Agents. Springer, Berlin (1995)
Belnap, N.D., Perloff, M.: Seeing To It That: A Canonical Form for Agentives. Theoria 54, 175–199 (1988)
Bradshaw, J.M. (ed.): Software Agents. AAAI Press, Menlo Park (1997)
Bratman, M.E.: Intention, Plans and Practical Reason. Harvard University Press, Cambridge (1987)
Cohen, P.R., Levesque, H.J.: ‘Intention is Choice with Commitment. Artificial Intelligence 42, 213–261 (1990)
Fisher, M.D.: Representing and Executing Agent-Based Systems. In: Wooldridge, M.J., Jennings, N.R. (eds.) Intelligent Agents. Springer, Berlin (1995)
Gabbay, D.M.: Labelled Deductive Systems, vol. 1. Oxford University Press, Oxford (1996)
Georgeff, M.P., Lansky, A.L.: Reactive Reasoning and Planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), pp. 677–682 (1987)
Georgeff, M.P., Rao, A.S.: The Semantics of Intention Maintenance for Rational Agents. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 704–710 (1995)
Georgeff, M.P., Rao, A.S.: Rational Software Agents: From Theory to Practice. In: Jennings, N.R., Wooldridge, M.J. (eds.) Agent Technology. Springer, Berlin (1998)
Goldblatt, R.: Logics of Time and Computation, 2nd edn. Center for the Study of Language and Information, Stanford, CA (1992)
Konolige, K., Pollack, M.E.: A Representationalist Theory of Intention. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pp. 390–395 (1993)
Lee, J., Huber, M.J., Kenny, P.G., Durfee, E.H.: UM-PRS: An Implementation of the Procedural Reasoning System for Multirobot Applications. In: Conference on Intelligent Robotics in Field, Factory, Service, and Space, pp. 842–849 (1994)
Moore, R.C.: A Formal Theory of Knowledge and Action. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Commonsense World. Ablex, Norwood (1985)
Pratt, V.R.: Semantical Considerations on Floyd-Hoare Logic. In: Proceedings of the Seventeenth IEEE Symposium on Foundations of Computer Science, pp. 109–121 (1976)
Rao, A.S., Georgeff, M.P.: Modeling Rational Agents within a BDI-Architecture. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pp. 473–484 (1991)
Rao, A.S., Georgeff, M.P.: An Abstract Architecture for Rational Agents. In: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pp. 439–449 (1992)
Rao, A.S., Georgeff, M.P.: A Model-Theoretic Approach to the Verification of Situated Reasoning Systems. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pp. 318–324 (1993)
Rosenschein, S.J., Kaelbling, L.P.: The Synthesis of Digital Machines with Provable Epistemic Properties. In: Halpern, J.Y. (ed.) Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, Morgan Kaufmann, Los Altos (1986)
Segerberg, K.: Bringing It About. Journal of Philosophical Logic 18, 327–347 (1989)
Singh, M.P.: Multiagent Systems. Springer, Berlin (1994)
Wobcke, W.R.: A Schema-Based Approach to Understanding Subjunctive Conditionals. In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pp. 1461–1466 (1989)
Wobcke, W.R.: Plans and the Revision of Intentions. In: Zhang, C., Lukose, D. (eds.) Distributed Artificial Intelligence: Architecture and Modelling. Springer, Berlin (1996)
Wobcke, W.R.: Agency and the Logic of Ability. In: Wobcke, W.R., Pagnucco, M., Zhang, C. (eds.) Agents and Multi-Agent Systems. Springer, Berlin (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wobcke, W. (2000). On the Correctness of PRS Agent Programs. In: Jennings, N.R., Lespérance, Y. (eds) Intelligent Agents VI. Agent Theories, Architectures, and Languages. ATAL 1999. Lecture Notes in Computer Science(), vol 1757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10719619_4
Download citation
DOI: https://doi.org/10.1007/10719619_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67200-5
Online ISBN: 978-3-540-46467-9
eBook Packages: Springer Book Archive