scientific article; zbMATH DE number 1794695

MaRDI QIDQ4552500zbMATH OpenFDO

Authors Joseph van Genabith, Dick Crouch

Publication date 25 November 2002

zbMATH Keywords

computational discourse representation theorydiscourse theorydynamic meaninglexical-functional grammarlinear logic semanticsmeaning representation language

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Natural language processing (68T50) Linguistics (91F20)

Review text

The authors of this paper succeed to replace the static meaning representation language in the LFG (Lexical-Functional Grammar) linear logic-based glue language semantics approach (M. Dalrymple et al.; 1996, 1997) with the new `dynamic' meaning representation language CDRT (Computational DRT) of R. Muskens (1994, 1996). The revised approach extends the original meaning representation language to discourse phenomena, and can be combined with an approach to underspecification developed in (R. Crouch, J. van Genabith; 1996). On the other hand it makes available linear logic-based approaches to quantifier scope and underspecification to dynamic semantics. The obtained theoretical results are compared with similar approaches discussed in the literature, and the corresponding interpretations in the QLF (H. Alshawi, R. Crouch; 1992) and UDRS (U. Reyle; 1995) style are outlined for the sets of linear logic premises thus obtained. For the entire collection see [Zbl 1005.68156].

Recommendations

• Quantifiers, anaphora, and intensionality
• scientific article; zbMATH DE number 1252403
• scientific article; zbMATH DE number 1523027
• A resource sensitive interpretation of lexical functional grammar
• The donkey and the monoid. Dynamic semantics with control elements

Cited in

(3)

• First-order Glue
• scientific article; zbMATH DE number 1252403 (Why is no real title available?)
• The donkey and the monoid. Dynamic semantics with control elements

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4552500)