Abstract
We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent specifications, and has been extended to allow the handling of agent beliefs, deliberation and multi-agent groups. However, the key problem of uncertainty has not been tackled. Given that agents work in unknown environments, and interact with other agents that may, in turn, be unpredictable, then it is essential for any formal agent description to incorporate some mechanism for capturing this aspect. Within the framework of executable specifications, formal descriptions involving uncertainty must also be executable. The contribution of this paper is to extend executable temporal logic in order to allow the representation and execution of uncertain statements within agents. In particular, we extend the basis of the MetateM temporal framework with a probabilistic belief dimension captured by the recently introduced P F KD45 logic. We provide a description of the extended logic, the translation procedure for formulae in this extended logic to an executable normal form, and the execution algorithm for such formulae. We also outline technical results concerning the correctness of the translation to the normal form and the completeness of the execution mechanism.
Keywords
- Normal Form
- Temporal Logic
- Kripke Model
- Execution Algorithm
- Temporal Formula
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.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abdulla, P., Baier, C., Iyer, P., Jonsson, B.: Reasoning about Probabilistic Lossy Channel Systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, p. 320. Springer, Heidelberg (2000)
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing 7(5), 533–549 (1995)
Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester (1996)
Bradshaw, J., Greaves, M., Holmback, H., Karygiannis, T., Silverman, B., Suri, N., Wong, A.: Agents for the Masses? IEEE Intelligent Systems 14(2) (1999)
Cohen, P.R., Levesque, H.J.: Intention Is Choice with Commitment. Artificial Intelligence 42(2-3), 213–261 (1990)
International Planning Competition: Probabilistic Planning Track (2004), http://www.cs.rutgers.edu/~mlittman/topics/ipc04-pt
de Carvalho Ferreira, N., Fisher, M., van der Hoek, W.: Practical Reasoning for Uncertain Agents. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 82–94. Springer, Heidelberg (2004)
Dix, J., Kraus, S., Subrahmanian, V.S.: Heterogenous Temporal Probabilistic Agents. ACM Transactions on Computational Logic 5(3) (2004)
Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proc. International Joint Conf. on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Francisco (1999)
Fisher, M., Dixon, C., Peim, M.: Clausal Temporal Resolution. ACM Transactions on Computational Logic 2(1), 12–56 (2001)
Fisher, M.: Representing and Executing Agent-Based Systems. In: Wooldridge, M., Jennings, N.R. (eds.) Intelligent Agents. Springer, Heidelberg (1995)
Fisher, M.: A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. J. Logic and Computation 7(4), 429–456 (1997)
Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)
Kracht, M., Wolter, F.: Properties of Independently Axiomatizable Bimodal Logics. Journal of Symbolic Logic 56(4), 1469–1485 (1991)
Madhusudan, P., Thiagarajan, P.S.: Branching-time Controllers for Discrete Event Systems. Theoretical Computer Science 274, 117–149 (2002)
Manna, Z., Wolper, P.: Synthesis of Communication Processes for Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 6, 68–93 (1984)
Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)
Rao, A.S., Georgeff, M.: BDI Agents: from Theory to Practice. In: Proc. First International Conf. on Multi-Agent Systems (ICMAS), pp. 312–319 (1995)
van der Hoek, W., Wooldridge, M.J.: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2), 135–160 (2003)
Wooldridge, M.: Reasoning about Rational Agents. 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
de C. Ferreira, N., Fisher, M., van der Hoek, W. (2005). Logical Implementation of Uncertain Agents. In: Bento, C., Cardoso, A., Dias, G. (eds) Progress in Artificial Intelligence. EPIA 2005. Lecture Notes in Computer Science(), vol 3808. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11595014_53
Download citation
DOI: https://doi.org/10.1007/11595014_53
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30737-2
Online ISBN: 978-3-540-31646-6
eBook Packages: Computer ScienceComputer Science (R0)