Definites and the Proper Treatment of Rabbits (1999)
| Venue: | in Proceedings of Inference in Computational Semantics, eds., Christof Monz and Maarten de Rijke |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Gardent99definitesand,
author = {Claire Gardent and Karsten Konrad},
title = {Definites and the Proper Treatment of Rabbits},
booktitle = {in Proceedings of Inference in Computational Semantics, eds., Christof Monz and Maarten de Rijke},
year = {1999},
pages = {53--69},
publisher = {ILLC}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We argue that model generation programs, i.e., deduction systems that automatically compute the interpretations satisfying a given formula, can provide a procedural interpretation for semantic theories of natural language. We illustrate this claim by describing how the higher-order model generator Kimba interprets definite descriptions. 1 Introduction The concept of a Discourse Model has repeatedly been advocated as an essential component of natural language understanding. In cognitive psychology, discourse models have been used to explain inferences that people draw in understanding text [3]. In artificial intelligence, Webber proposes them as describing the situation/state which the speaker is talking about [21]. The understanding task then consists in an attempt by the listener to synthesize the appropriate discourse model. In the dynamic/DRT (Discourse Representation Theory [10]) trend of natural language semantics, it represents the context created by previous discourse and ...
