A calculus for first order discourse representation structures (Q1923839)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A calculus for first order discourse representation structures |
scientific article |
Statements
A calculus for first order discourse representation structures (English)
0 references
13 October 1996
0 references
The authors present a novel, sound and complete natural deduction-style proof system for the first-order fragment of Discourse Representation Theory (DRT). This proof system differs from certain other proof systems for DRT in that it conforms to various inference patterns followed by human interpreters of natural language texts. The system also comes with a score keeping device that helps to identify rule applications in a derivation.
0 references
natural language semantics
0 references
natural deduction-style proof system
0 references
first-order fragment of Discourse Representation Theory
0 references
score keeping device
0 references
