Algebraic Effects for Extensible Dynamic Semantics

• Published in: Journal of logic, language, and information Vol. 32; no. 2; pp. 219 - 245
• Main Authors: Grove, Julian, Bernardy, Jean-Philippe
• Format: Journal Article
• Language: English
• Published: Dordrecht Springer Netherlands 01.05.2023
• Subjects: Algebraic effects; Compositionality; Computer Science; Dynamic semantics; Education; General Language Studies and Linguistics; Information Systems Applications (incl.Internet); Jämförande språkvetenskap och lingvistik; Language Technology (Computational Linguistics); Linguistics; Logic; Monads; Philosophy; Science & Technology - Other Topics; Semantics; Språkteknologi (språkvetenskaplig databehandling); Monads; Dynamic semantics; Compositionality; Algebraic effects
• ISSN: 0925-8531; 1572-9583
• DOI: 10.1007/s10849-022-09378-7

Research in dynamic semantics has made strides by studying various aspects of discourse in terms of computational effect systems, for example, monads (Shan, 2002; Charlow, 2014), Barker and 2014), (Maršik, 2016). We provide a system, based on graded monads, that synthesizes insights from these programs by formalizing individual discourse phenomena in terms of separate effects, or grades. Included are effects for introducing and retrieving discourse referents, non-determinism for indefiniteness, and generalized quantifier meanings. We formalize the behavior of individual effects, as well as the interactions between effects, in terms of algebraic laws tailored to the relevant discourse phenomena. The system we propose is thus modular and suggests a novel approach to integrating formal accounts of distinct semantic phenomena. Finally, we give an interpretation of the system into pure λ -calculus that respects the laws. Future work will aim to integrate more discourse phenomena using the same methodology, for example, presupposition and conventional implicature.