Dependent Types for Pragmatics
Darryl McAdams, Jonathan Sterling
TL;DR
This paper introduces dependent types as a novel type-theoretic approach to model pragmatic phenomena like pronoun binding and presupposition resolution, offering an alternative to existing formalisms.
Contribution
It presents a new application of dependent types to pragmatics, providing a formal framework for semantic phenomena traditionally modeled by Discourse Representation Theory and Dynamic Semantics.
Findings
Dependent types can effectively model pronoun binding.
Dependent types can handle presupposition resolution.
The approach offers a formal alternative to existing pragmatics formalisms.
Abstract
This paper proposes the use of dependent types for pragmatic phenomena such as pronoun binding and presupposition resolution as a type-theoretic alternative to formalisms such as Discourse Representation Theory and Dynamic Semantics.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNatural Language Processing Techniques · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies