pdrt-sandbox-0.1.1: (Projective) Discourse Representation Theory

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.

Modules