Context Update for Lambdas and Vectors

  • Reinhard Muskens
  • Mehrnoosh Sadrzadeh
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10054)


Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim’s context updates.


Vector semantics Simply typed lambda calculus Context update Context change potential Compositionality 



We wish to thank the anonymous referees for excellent feedback.


  1. 1.
    Baroni, M., Bernardi, R., Zamparelli, R.: Frege in space: a program for compositional distributional semantics. Linguist. Issues Lang. Technol. 9, 5–110 (2014)Google Scholar
  2. 2.
    Coecke, B., Sadrzadeh, M., Clark, S.: Mathematical foundations for distributed compositional model of meaning. Lambek Festschrift. Linguist. Anal. 36, 345–384 (2010)Google Scholar
  3. 3.
    Grefenstette, E., Sadrzadeh, M.: Concrete models and empirical evaluations for the categorical compositional distributional model of meaning. Comput. Linguist. 41, 71–118 (2015)CrossRefGoogle Scholar
  4. 4.
    de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of 16th Semantics and Linguistic Theory Conference (SALT 2016), pp. 1–16 (2006)Google Scholar
  5. 5.
    de Groote, P.: Towards abstract categorial grammars. association for computational linguistics. In: Proceedings of the Conference on 39th Annual Meeting and 10th Conference of the European Chapter, pp. 148–155. ACL, Toulouse (2001)Google Scholar
  6. 6.
    Heim, I.: On the projection problem for presuppositions. In: Portner, P., Partee, B.H. (eds.) Formal Semantics - The Essential Readings, pp. 249–260. Blackwell, Hoboken (1983)Google Scholar
  7. 7.
    Heim, I., Kratzer, A.: Semantics in Generative Grammar. Blackwell Textbooks in Linguistics. Blackwell Publishers, Cambridge (1998)Google Scholar
  8. 8.
    Krishnamurthy, J., Mitchell, T.M.: Vector space semantic parsing: a framework for compositional vector space models. In: Proceedings of 2013 ACL Workshop on Continuous Vector Space Models and their Compositionality (2013)Google Scholar
  9. 9.
    Maillard, J., Clark, S., Grefenstette, E.: A type-driven tensor-based semantics for CCG. In: Proceedings of EACL 2014 Type Theory and Natural Language Semantics Workshop (2014)Google Scholar
  10. 10.
    Montague, R.: The proper treatment of quantification in ordinary English. In: Thomason, R. (ed.) Formal Philosophy. Selected Papers of Richard Montague, pp. 247–270. Yale University Press, New Haven (1974)Google Scholar
  11. 11.
    Muskens, R.A.: Categorial grammar and lexical-functional grammar. In: Butt, M., King, T.H. (eds.) Proceedings of LFG 2001 Conference, University of Hong Kong, pp. 259–279. CSLI Publications, Stanford (2001).
  12. 12.
    Muskens, R.A.: Language, lambdas, and logic. In: Kruijff, G.J., Oehrle, R. (eds.) Resource Sensitivity in Binding and Anaphora. Kluwer, Studies in Linguistics and Philosophy, vol. 80, pp. 23–54. Springer, Dordrecht (2003)CrossRefGoogle Scholar
  13. 13.
    Muskens, R.: New directions in type-theoretic grammars. J. Log. Lang. Inf. 19(2), 129–136 (2010)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Muskens, R., Sadrzadeh, M.: Lambdas and vectors. In: Workshop on Distributional Semantics and Linguistic Theory (DSALT), 28th European Summer School in Logic, Language and Information (ESSLLI). Free University of Bozen, Bolzano, August 2016Google Scholar
  15. 15.
    Rubenstein, H., Goodenough, J.: Contextual correlates of synonymy. Commun. ACM 8(10), 627–633 (1965)CrossRefGoogle Scholar
  16. 16.
    Veltman, F.: Defaults in update semantics. J. Philos. Log. 25(3), 221–261 (1996)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany 2016

Authors and Affiliations

  1. 1.Department of PhilosophyTilburg UniversityTilburgThe Netherlands
  2. 2.School of Electronic Engineering and Computer ScienceQueen Mary University of LondonLondonUK

Personalised recommendations