Skip to main content
SpringerLink
Log in

Representing and reasoning with context

  • Conference paper
  • First Online:
Artificial Intelligence and Symbolic Computation (AISC 1998)

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

Abstract

This paper surveys the recent work in logical AI on context and discusses foundational problems in providing a logic of context. As a general logic of context, I recommend an extension of Richard Montague’s Intensional Logic that includes a primitive type for contexts.

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. Gianni Amati and Fiora Pirri. Contexts as relative definitions: A formalization via fixed points. In Sasa Buvač and łucia Iwańska, editors, Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, pages 7–14, Menlo Park, California, 1997. American Association for Artificial Intelligence, American Association for Artificial Intelligence.

    Google Scholar 

  2. Saša Buvač, Vanja Buvač, and Ian Mason. Metamathematics of contexts. Fundamenta Mathematicae, 23(3), 1995. Available from http://www-formal.stanford.edu/buvac.

    Google Scholar 

  3. Saša Buvač and Richard Fikes. A declarative formalization of knowledge translation. In Proceedings of the ACM CIKM: the Fourth International Conference in Information and Knowledge Management, 1995. Available from http://www-formal.stanford.edu/buvac.

    Google Scholar 

  4. Sasa Buvač and łucia Iwańska, editors. Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language. American Association for Artificial Intelligence, Menlo Park, California, 1997.

    Google Scholar 

  5. Saša Buvač. Resolving lexical ambiguity using a formal theory of context. In Kees van Deemter and Stanley Peters, editors, Semantic Ambiguity and Underspecification, pages 100–124. Cambridge University Press, Cambridge, England, 1996.

    Google Scholar 

  6. Alonzo Church. The need for abstract entities in semantic analysis. Proceedings of the American Academy of Arts and Sciences, 80:100–112, 1951.

    Google Scholar 

  7. D.A. Cruse. Polysemy and related phenomena from a cognitive linguistic viewpoint. In Patrick Saint-Dizier and Evelyne Viegas, editors, Computational Lexical Semantics, pages 33–49. Cambridge University Press, Cambridge, England, 1995.

    Google Scholar 

  8. Herbert H. Clark and Michael Schober. Understanding by addressees and overhearers. Cognitive Psychology, 24:259–294, 1989.

    Google Scholar 

  9. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning About Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.

    Google Scholar 

  10. Daniel Gallin. Intensional and Higher-Order Logic. North-Holland Publishing Company, Amsterdam, 1975.

    Google Scholar 

  11. Dov Gabbay and Rolf T. Nossum. Structured contexts with fibred semantics. In Sasa Buvač and łucia Iwańska, editors, Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, pages 48–57, Menlo Park, California, 1997. American Association for Artificial Intelligence, American Association for Artificial Intelligence.

    Google Scholar 

  12. Jeroen Groenendijk and Martin Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14:39–100, 1991.

    Article  MATH  Google Scholar 

  13. Ramanathan V. Guha. Contexts: a formalization and some applications. Technical Report STAN-CS-91-1399, Stanford Computer Science Department, Stanford, California, 1991.

    Google Scholar 

  14. Fairouz Kamareddine. Are types needed for natural language? In László Pólos and Michael Masuch, editors, Applied Logic: How, What, and Why? Logical Approaches to Natural Language, pages 79–120. Kluwer Academic Publishers, Dordrecht, 1995.

    Google Scholar 

  15. David Kaplan. On the logic of demonstratives. Journal of Philosophical Logic, 8:81–98, 1978.

    Google Scholar 

  16. Saul Kripke. Outline of a theory of truth. Journal of Philosophy, 72:690–715, 1975.

    Article  MATH  Google Scholar 

  17. John McCarthy and Saša Buvač. Formalizing context (expanded notes). Available from http://www-formal.stanford.edu/buvac., 1995.

    Google Scholar 

  18. John McCarthy. Notes on formalizing contexts. In Tom Kehler and Stan Rosenschein, editors, Proceedings of the Fifth National Conference on Artificial Intelligence, pages 555–560, Los Altos, California, 1986. American Association for Artificial Intelligence, Morgan Kaufmann.

    Google Scholar 

  19. John McCarthy. Notes on formalizing context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 81–98, Los Altos, California, 1993. Morgan Kaufmann.

    Google Scholar 

  20. John McCarthy. Modality si! Modal logic, no! Studio, Logica, 59(1):29–32, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  21. Richard Montague. Syntactical treatments of modality, with corollaries on reflection principles and finite axiomatizability. Acta Philosophica Fennica, 16:153–167, 1963.

    MATH  MathSciNet  Google Scholar 

  22. Richard Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven, CT, 1974.

    Google Scholar 

  23. Reinhard Muskens. Meaning and Partiality. Cambridge University Press, Cambridge, England, 1996.

    Google Scholar 

  24. P. Pandurang Nayak and Alan Levy. A semantic theory of abstractions. In Chris Mellish, editor, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 196–203, San Francisco, 1995. Morgan Kaufmann.

    Google Scholar 

  25. James Pustejovsky and Brian Boguraev, editors. Lexical Semantics: The Problem of Polysemy. Oxford University Press, Oxford, 1997.

    Google Scholar 

  26. Barbara H. Partee and Herman L.W. Hendriks. Montague grammar. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language, pages 5–91. Elsevier Science Publishers, Amsterdam, 1996.

    Google Scholar 

  27. Willard V. Quine. Three grades of modal involvement. In Proceedings of the XIth International Congress of Philosophy, Volume 14, pages 65–81, 1953.

    MATH  MathSciNet  Google Scholar 

  28. Willard V. Quine. Quantifiers and propositional attitudes. The Journal of Philosophy, 53:177–187, 1956.

    Article  Google Scholar 

  29. David A. Schmidt. The Structure of Typed Programming Languages. The MIT Press, Cambridge, Massachusetts, 1994.

    Google Scholar 

  30. D. Wright and P. Hull. How people give verbal instructions. Journal of Applied Cognitive Psychology, 4:153–174, 1990.

    Google Scholar 

  31. R. Michael Young. Generating Concise Descriptions of Complex Activities. Ph.d. dissertation, Intelligent Systems Program, University of Pittsburgh, Pittsburgh, Pennsylvania, 1997.

    Google Scholar 

Download references

Authors
  1. Richmond H. Thomason
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet Jan Plaza

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thomason, R.H. (1998). Representing and reasoning with context. In: Calmet, J., Plaza, J. (eds) Artificial Intelligence and Symbolic Computation. AISC 1998. Lecture Notes in Computer Science, vol 1476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055900

Download citation

  • DOI: https://doi.org/10.1007/BFb0055900

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49816-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation