Skip to main content
SpringerLink
Log in

Time, knowledge, and choice

Preliminary report

  • Conference paper
  • First Online:
Intelligent Agents II Agent Theories, Architectures, and Languages (ATAL 1995)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1037))

Included in the following conference series:

Abstract

This article considers the link between theory and practice in agent-oriented programming. We begin by rigorously defining a new formal specification language for autonomous agents. This language is the expressive branching time logic CTL*, enriched by the addition of two further modal connectives, for representing knowledge and seeing to it that (stit). These connectives are grounded: given a concrete semantics in terms of the states and actions of an agent. This grounding makes it possible to establish a precise relationship between the specification language and deterministic automata, and in particular, the automatic synthesis of agents from logical specifications becomes a possibility. This possibility, and the potential problems associated with it, are discussed at length. The paper closes with a summary of future research issues and directions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. Belnap. Backwards and forwards in the modal logic of agency. Philosophy and Phenomenological Research, LI(4):777–807, December 1991.

    Google Scholar 

  2. N. Belnap. Before refraining: Concepts for agency. Erkenntnis, 34:137–169, 1991.

    Google Scholar 

  3. N. Belnap and M. Perloff. Seeing to it that: a canonical form for agentives. Theoria, 54:175–199, 1988.

    Google Scholar 

  4. N. Belnap and M. Perloff. The way of the agent. Studia Logica, 51:463–484, 1992.

    Google Scholar 

  5. B. Chellas. Modal Logic: An Introduction. Cambridge University Press: Cambridge, England, 1980.

    Google Scholar 

  6. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.

    Google Scholar 

  7. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.

    Google Scholar 

  8. E. A. Emerson and J. Y. Halpern. 'sometimes’ and ‘not never’ revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1):151–178, 1986.

    Google Scholar 

  9. R. Fagin, J. Y. Halpern, and M. Y. Vardi. What can machines know? on the properties of knowledge in distributed systems. Journal of the ACM, 39(2):328–376, 1992.

    Google Scholar 

  10. J. Y. Halpern. Reasoning about knowledge: An overview. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 1–18. Morgan Kaufmann Publishers: San Mateo, CA, 1986.

    Google Scholar 

  11. J. Y. Halpern. Using reasoning about knowledge to analyze distributed systems. Annual Review of Computer Science, 2:37–68, 1987.

    Google Scholar 

  12. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.

    Google Scholar 

  13. J. Y. Halpern and M. Y. Vardi. The complexity of reasoning about knowledge and time. I. Lower bounds. Journal of Computer and System Sciences, 38:195–237, 1989.

    Google Scholar 

  14. C. B. Jones. Systematic Software Development using VDM (second edition). Prentice Hall, 1990.

    Google Scholar 

  15. C. Krogh. The rights of agents. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents Volume II — Proceedings of the IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996. (In this volume).

    Google Scholar 

  16. M. Perloff. STIT and the language of agency. Synthese, 86:379–408, 1991.

    Google Scholar 

  17. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proceedings of the Sixteenth ACM Symposium on the Principles of Programming Languages, January 1989.

    Google Scholar 

  18. A. S. Rao. Decision procedures for propositional linear-time Belief-Desire-Intention logics. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents Volume II — Proceedings of the IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996. (In this volume).

    Google Scholar 

  19. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439–449, 1992.

    Google Scholar 

  20. S. Rosenschein and L. P. Kaelbling. The synthesis of digital machines with provable epistemic properties. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83–98. Morgan Kaufmann Publishers: San Mateo, CA, 1986.

    Google Scholar 

  21. K. Segerberg. Bringing it about. Journal of Philosophical Logic, 18:327–347, 1989.

    Google Scholar 

  22. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.

    Google Scholar 

  23. R. M. Smullyan. First-Order Logic. Springer-Verlag: Heidelberg, Germany, 1968.

    Google Scholar 

  24. C. Stirling. Completeness results for full branching time logic. In REX School-Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, Netherlands, 1988.

    Google Scholar 

  25. E. Werner. What can agents do together: A semantics of co-operative ability. In Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI-90), pages 694–701, Stockholm, Sweden, 1990.

    Google Scholar 

  26. M. Wooldridge. This is MyWorld: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNA1 Volume 890), pages 160–178. Springer-Verlag: Heidelberg, Germany, January 1995.

    Google Scholar 

  27. M. Wooldridge and M. Fisher. A first-order branching time logic of multi-agent systems. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pages 234–238, Vienna, Austria, 1992.

    Google Scholar 

  28. M. Wooldridge and M. Fisher. A decision procedure for a temporal belief logic. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic — Proceedings of the First International Conference (LNAI Volume 827), pages 317–331. Springer-Verlag: Heidelberg, Germany, July 1994.

    Google Scholar 

  29. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2): 115–152, 1995.

    Google Scholar 

  30. M. Xu. Decidability of deliberative STIT theories with multiple agents. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic — Proceedings of the First International Conference (LNAI Volume 827), pages 332–348. Springer-Verlag: Heidelberg, Germany, July 1994.

    Google Scholar 

  31. M. Xu. On the basic logic of STIT with a single agent. Journal of Symbolic Logic, 60(2):459–483, June 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Manchester Metropolitan University, Chester Street, M1 5GD, Manchester, UK

    Michael Wooldridge

Authors
  1. Michael Wooldridge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Wooldridge Jörg P. Müller Milind Tambe

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wooldridge, M. (1996). Time, knowledge, and choice. In: Wooldridge, M., Müller, J.P., Tambe, M. (eds) Intelligent Agents II Agent Theories, Architectures, and Languages. ATAL 1995. Lecture Notes in Computer Science, vol 1037. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540608052_60

Download citation

  • DOI: https://doi.org/10.1007/3540608052_60

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60805-9

  • Online ISBN: 978-3-540-49594-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation