Skip to main content
Springer Nature Link
Log in

The Role of Context in the Analysis and Design of Agent Programs

  • Conference paper
  • First Online:
Modeling and Using Context (CONTEXT 1999)

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

Abstract

We discuss the notion of context as applied to the verification of agent programs, and in particular, to the verification of agent programs based on the PRS agent architecture, Georgeff and Lansky [6]. Agent programs are an interesting domain for theories of context for the following reasons: (i) the context of an agent program has both internal (mental state) and external (embedding in the world) aspects, (ii) a logical theory of agent program verification using context-based reasoning must therefore address both syntactic and semantic issues, and (iii) the context of execution of an agent program is dynamic since agents are situated in a dynamically changing environment. We then consider the development of PRS agent programs from the designer’s perspective, and present a logical system of context-based reasoning that enables PRS programs to be proven correct. The methodology involves the program designer constructing contexts for the various procedures used by the agent, so the variety of contexts relevant to the PRS agent is fixed in advance by the programmer and is highly constrained by the PRS agent architecture. The study of context in agent programs thus raises a wide range of general questions that may be considered in the more controlled settings of particular agent architectures and execution environments.

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.

Similar content being viewed by others

References

  1. Barwise, J. & Perry, J. (1983) Situations and Attitudes. MIT Press, Cambridge, MA.

    Google Scholar 

  2. Blamey, S. (1986) ‘Partial Logic.’ in Gabbay, D.M. & Guenthner, F. (Eds) Handbook of Philosophical Logic. Volume 3. Reidel, Dordrecht.

    Google Scholar 

  3. Bratman, M.E. (1987) Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA.

    Google Scholar 

  4. Dretske, F.I. (1981) Knowledge and the Flow of Information. Blackwell, Oxford.

    Google Scholar 

  5. Gabbay, D.M. (1996) Labelled Deductive Systems. Volume 1. Oxford University Press, Oxford.

    Google Scholar 

  6. Georgeff, M.P. & Lansky, A.L. (1987) ‘Reactive Reasoning and Planning.’ Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), 677–682.

    Google Scholar 

  7. Georgeff, M.P. & Rao, A.S. (1998) ‘Rational Software Agents: From Theory to Practice.’ in Jennings, N.R. & Wooldridge, M.J. (Eds) Agent Technology. Springer-Verlag, Berlin.

    Google Scholar 

  8. Giunchiglia, F. & Serafini, L. (1994) ‘Multilanguage Hierarchical Logics (or: How we can do without modal logics).’ Artificial Intelligence, 65, 29–70.

    Article  MATH  MathSciNet  Google Scholar 

  9. Goldblatt, R. (1992) Logics of Time and Computation. Second Edition. Center for the Study of Language and Information, Stanford, CA.

    Google Scholar 

  10. Kripke, S.A. (1972) ‘Naming and Necessity.’ in Davidson, D. & Harman, G. (Eds) Semantics for Natural Language. Reidel, Dordrecht.

    Google Scholar 

  11. Lenat, D.B. & Guha, R.V. (1991) Building Large Knowledge-Based Systems. Addison-Wesley, Reading, MA.

    Google Scholar 

  12. Lewis, D.K. (1973) Counterfactuals. Blackwell, Oxford.

    Google Scholar 

  13. Lewis, D.K. (1986) On the Plurality of Worlds. Blackwell, Oxford.

    Google Scholar 

  14. McCarthy, J.M. (1993) ‘Notes on Formalizing Context.’ Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 81–98.

    Google Scholar 

  15. Pratt, V.R. (1976) ‘Semantical Considerations on Floyd-Hoare Logic.’ Proceedings of the Seventeenth IEEE Symposium on Foundations of Computer Science, 109–121.

    Google Scholar 

  16. Rao, A.S. & Georgeff, M.P. (1992) ‘An Abstract Architecture for Rational Agents.’ Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 439–449.

    Google Scholar 

  17. Searle, J.R. (1983) Intentionality. Cambridge University Press, Cambridge.

    Google Scholar 

  18. Stalnaker, R.C. (1984) Inquiry. MIT Press, Cambridge, MA.

    Google Scholar 

  19. van Fraassen, B.C. (1966) ‘Singular Terms, Truth-value Gaps, and Free Logic.’ Journal of Philosophy, 63, 481–495.

    Article  Google Scholar 

  20. Wobcke, W.R. (1988) A Logical Approach to Schema-Based Inference. Ph.D. Thesis, Department of Computer Science, University of Essex.

    Google Scholar 

  21. Wobcke, W.R. (1989) ‘A Schema-Based Approach to Understanding Subjunctive Conditionals.’ Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1461–1466.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Intelligent Systems Research Group, BT Laboratories, MLB 1/PP 12, Martlesham Heath, Ipswich Suffolk, IP5 3RE, UK

    Wayne Wobcke

Authors
  1. Wayne Wobcke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Trento, DISA, 5, via Inama, I-38050, Trento, Italy

    Paolo Bouquet  & Massimo Benerecetti  & 

  2. IRST-ITC, Pante di Povo, I-38050, Trento, Italy

    Luciano Serafini

  3. University Paris VI, LIP6 4, Place Jussieu, F-75252, Paris Cedex 05, France

    Patrick Brézillon

  4. University of Trento, 26, via Verdi, I-38050, Trento, Italy

    Francesca Castellani

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wobcke, W. (1999). The Role of Context in the Analysis and Design of Agent Programs. In: Bouquet, P., Benerecetti, M., Serafini, L., Brézillon, P., Castellani, F. (eds) Modeling and Using Context. CONTEXT 1999. Lecture Notes in Computer Science(), vol 1688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48315-2_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-48315-2_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66432-1

  • Online ISBN: 978-3-540-48315-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics