Skip to main content
SpringerLink
Log in

Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects

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

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

Abstract

This paper presents Contextual Intensional Logic, a type-theoretic logic intended as a general foundation for reasoning about context. I motivate and illustrate the logical framework, and conclude by indicating extensions that may be desirable.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C.A. Anderson. General intensional logic. In Dov Gabbay and Franz Guenther, (eds.), Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, pp. 355–385. D. Reidel Publishing Co., Dordrecht, 1984.

    Google Scholar 

  2. N.D. Belnap. A useful four-valued logic. In J.M. Dunn and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic. D. reidel Publishing Co., Dordrecht, 1977.

    Google Scholar 

  3. S. Buvac and I. Mason. Propositional logic of context. In R. Fikes and W. Lehnert, (eds.), Proceedings of the 11th National Conference on Artificial Intelligence, pp. 412–419, Menlo Park, California, 1993. American Association for Artificial Intelligence, AAAI Press.

    Google Scholar 

  4. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56–68, 1940.

    Article  MATH  MathSciNet  Google Scholar 

  5. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.

    MATH  Google Scholar 

  6. D. Gallin. Intensional and Higher-Order Logic. North-Holland Publishing Company, Amsterdam, 1975.

    Book  MATH  Google Scholar 

  7. F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non omniscient belief as context-based reasoning. In R. Bajcsy, (ed.), Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 548–554, San Mateo, California, 1993. Morgan Kaufmann.

    Google Scholar 

  8. J. Groenendijk and M. Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14:39–100, 1991.

    Article  MATH  Google Scholar 

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

    Google Scholar 

  10. J. McCarthy and S. Buvac. Formalizing context (expanded notes). Available from http://www-formal.stanford.edu/buvac, 1995.

  11. R. Montague. Pragmatics and intensional logic. Synthèse, 22:68–94, 1970. Reprinted in Formal Philosophy, by R. Montague, Yale University Press, New Haven, CT, 1974, pp. 119—147.

    Article  MATH  Google Scholar 

  12. Y. Moses. Resource-bounded knowledge. In M.Y. Vardi, (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 261–276, San Francisco, 1988. Morgan Kaufmann.

    Google Scholar 

  13. R. Muskens. Meaning and Partiality. Cambridge University Press, Cambridge, England, 1996.

    Google Scholar 

  14. M. Stone. Modality in Dialogue: Planning, Pragmatics and Computation. Ph.d. dissertation, Computer Science Department, University of Pennsylvania, Philadelphia, Pennsylvania, 1998.

    Google Scholar 

  15. R.H. Thomason. Type theoretic foundations for context. In S. Buvac and L. Iwanska, (eds.), Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, pp. 173-175, Menlo Park, California, 1997. American Association for Artificial Intelligence, American Association for Artificial Intelligence.

    Google Scholar 

  16. R.H. Thomason. Representing and reasoning with context. In Jacques Calmet and Jan Plaza, (eds.), Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation (AISC’98), Plattsburgh, New York, pp. 29–41, Berlin, 1998. Springer-Verlag.

    Google Scholar 

  17. K. van Deemter and S. Peters, (eds.). Semantic Ambiguity and Underspecification. Cambridge University Press, Cambridge, England, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Michigan, Ann Arbor, MI, 48109-2110, USA

    Richmond H. Thomason

Authors
  1. Richmond H. Thomason
    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

Thomason, R.H. (1999). Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. 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_27

Download citation

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

  • 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

Search

Navigation