(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.
-
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.
The library is available under the Apache License, Version 2.0.