A calculus for first order discourse representation structures (Q1923839)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A calculus for first order discourse representation structures |
scientific article; zbMATH DE number 934101
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A calculus for first order discourse representation structures |
scientific article; zbMATH DE number 934101 |
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
