pdrt-sandbox-0.1.1: (Projective) Discourse Representation Theory
This is an implementation of the formal framework of Projective Discourse Representation Theory (Venhuizen et al. 2013; 2014), which is an extension of standard Discourse Representation Theory (Kamp 1981; Kamp & Reyle 1993) with projection pointers.
The implementation includes a translation from PDRT to DRT and First-order Logic, composition via different types of merge, and unresolved structures based on Montague Semantics, defined as Haskell functions.
- References
- H. Kamp. "A theory of truth and semantic representation", 1981.
- H. Kamp and U. Reyle. "From discourse to logic: Introduction to model-theoretic semantics of natural language, formal logic and Discourse Representation Theory", 1993.
- N. J. Venhuizen, J. Bos and H. Brouwer. "Parsimonious semantic representations with projection pointers", 2013.
- N. J. Venhuizen, J. Bos, P. Hendriks and H. Brouwer. "How and why conventional implicatures project", 2014.