Polynomial Event Semantics: Non-Montagovian Proper Treatment of Quantifiers




We propose a simple extension of event semantics that naturally supports the compositional treatment of quantification. Our analyses require neither quantifier raising or other syntactic movements, nor type-lifting. Denotations are computed strictly compositionally, from lexical entries up, and quantifiers are analyzed in situ. We account for the universal, existential and counting quantification and the related distributive coordination, with the attendant quantifier ambiguity phenomena. The underlying machinery is not of lambda-calculus but of much simpler relational algebra, with the straightforward set-theoretic interpretation.

The source of quantifier ambiguity in our approach lies in two possible analyses for the existential and counting quantification. Their inherent ambiguity however becomes apparent only in the presence of another, non-existential quantification.

The current version is March 2019
PolyEvent.pdf [289K]
The paper published in New Frontiers in Artificial Intelligence. JSAI-isAI 2018. Lecture Notes in Computer Science, 2019, vol 11717, pp 313-324. Springer.

PolyEvent-talk.pdf [208K]
Talk at LENLS 2018, Kanagawa, Japan, November 13, 2018

poly.ml [11K]
The OCaml implementation of the model construction, to run all examples in the talk/paper