{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:58:53Z","timestamp":1742925533541,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662538258"},{"type":"electronic","value":"9783662538265"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2016,11,10]],"date-time":"2016-11-10T00:00:00Z","timestamp":1478736000000},"content-version":"vor","delay-in-days":314,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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\u2019s context updates.<\/jats:p>","DOI":"10.1007\/978-3-662-53826-5_15","type":"book-chapter","created":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T11:59:48Z","timestamp":1478692788000},"page":"247-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Context Update for Lambdas and Vectors"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Muskens","sequence":"first","affiliation":[]},{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.33011\/lilt.v9i.1321","volume":"9","author":"M Baroni","year":"2014","unstructured":"Baroni, M., Bernardi, R., Zamparelli, R.: Frege in space: a program for compositional distributional semantics. Linguist. Issues Lang. Technol. 9, 5\u2013110 (2014)","journal-title":"Linguist. Issues Lang. Technol."},{"key":"15_CR2","first-page":"345","volume":"36","author":"B Coecke","year":"2010","unstructured":"Coecke, B., Sadrzadeh, M., Clark, S.: Mathematical foundations for distributed compositional model of meaning. Lambek Festschrift. Linguist. Anal. 36, 345\u2013384 (2010)","journal-title":"Linguist. Anal."},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1162\/COLI_a_00209","volume":"41","author":"E Grefenstette","year":"2015","unstructured":"Grefenstette, E., Sadrzadeh, M.: Concrete models and empirical evaluations for the categorical compositional distributional model of meaning. Comput. Linguist. 41, 71\u2013118 (2015)","journal-title":"Comput. Linguist."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of 16th Semantics and Linguistic Theory Conference (SALT 2016), pp. 1\u201316 (2006)","DOI":"10.3765\/salt.v16i0.2952"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013155. ACL, Toulouse (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"15_CR6","first-page":"249","volume-title":"Formal Semantics - The Essential Readings","author":"I Heim","year":"1983","unstructured":"Heim, I.: On the projection problem for presuppositions. In: Portner, P., Partee, B.H. (eds.) Formal Semantics - The Essential Readings, pp. 249\u2013260. Blackwell, Hoboken (1983)"},{"key":"15_CR7","series-title":"Blackwell Textbooks in Linguistics","volume-title":"Semantics in Generative Grammar","author":"I Heim","year":"1998","unstructured":"Heim, I., Kratzer, A.: Semantics in Generative Grammar. Blackwell Textbooks in Linguistics. Blackwell Publishers, Cambridge (1998)"},{"key":"15_CR8","unstructured":"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)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.3115\/v1\/W14-1406"},{"key":"15_CR10","series-title":"Selected Papers of Richard Montague","first-page":"247","volume-title":"Formal Philosophy","author":"R Montague","year":"1974","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Thomason, R. (ed.) Formal Philosophy. Selected Papers of Richard Montague, pp. 247\u2013270. Yale University Press, New Haven (1974)"},{"key":"15_CR11","unstructured":"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\u2013279. CSLI Publications, Stanford (2001). http:\/\/tinyurl.com\/jrc3nnw"},{"key":"15_CR12","series-title":"Kluwer, Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-94-010-0037-6_2","volume-title":"Resource Sensitivity in Binding and Anaphora","author":"RA Muskens","year":"2003","unstructured":"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\u201354. Springer, Dordrecht (2003)"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10849-009-9114-9","volume":"19","author":"R Muskens","year":"2010","unstructured":"Muskens, R.: New directions in type-theoretic grammars. J. Log. Lang. Inf. 19(2), 129\u2013136 (2010)","journal-title":"J. Log. Lang. Inf."},{"key":"15_CR14","unstructured":"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 2016"},{"issue":"10","key":"15_CR15","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1145\/365628.365657","volume":"8","author":"H Rubenstein","year":"1965","unstructured":"Rubenstein, H., Goodenough, J.: Contextual correlates of synonymy. Commun. ACM 8(10), 627\u2013633 (1965)","journal-title":"Commun. ACM"},{"issue":"3","key":"15_CR16","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00248150","volume":"25","author":"F Veltman","year":"1996","unstructured":"Veltman, F.: Defaults in update semantics. J. Philos. Log. 25(3), 221\u2013261 (1996)","journal-title":"J. Philos. Log."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996\u20132016)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53826-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:23:15Z","timestamp":1709821395000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-53826-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662538258","9783662538265"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53826-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"10 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LACL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logical Aspects of Computational Linguistics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nancy","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lacl2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/lacl.gforge.inria.fr\/lacl-2016\/index-presentation.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}