Name
Abstract | ||
|---|---|---|
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representation language consisting of (descriptions of) programs, in the spirit of dynamic predicate logic (DPL) [5]. The difference with DPL is that the usual DPL semantics is replaced by an error state semantics [2]. This allows for the treatment of unbound anaphors, as in DPL, but also of presuppositions and presupposition projection.The use of this dynamic interpretation strategy is demonstrated in an implementation of a small fragment of natural language which handles unbound pronoun antecedent links, where it is assumed that the intended links are indicated in the input string, and uniqueness presuppositions of definite descriptions. The implementation consists of a syntax module which outputs parse trees, a semantic module mapping parse trees to DPL representations, a representation processor which determines truth conditions, falsity conditions and presupposition failure conditions, and an evaluator of these conditions in a database model.The implementation uses the logic programming language Gödel [6], an experimental successor of Prolog, with similar functionality and expressiveness, but with an improved declarative semantics. |
Year | DOI | Venue |
|---|---|---|
1993 | 10.3115/976744.976753 | EACL |
Keywords | Field | DocType |
improved declarative semantics,dynamic interpretation,dpl representation,natural language interpretation,meaning representation language,natural language text,natural language,usual dpl semantics,logic programming language g,dynamic interpretation strategy,error state semantics | Truth condition,Programming language,Computer science,Presupposition,Prolog,Natural language,Natural language processing,Artificial intelligence,Parsing,Logic programming,Predicate logic,Semantics | Conference |
ISBN | Citations | PageRank |
90-5434-014-2 | 1 | 0.42 |
References | Authors | |
6 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Olivier Bouchez | 1 | 1 | 0.42 |
| eijck van d j n | 2 | 4 | 1.55 |
| Olivier Istace | 3 | 1 | 0.42 |