Tech report
Michael Kohlhase, Mandy Simons
CMU-PHIL-127, Carnegie Mellon University, 2002
CMU-PHIL-127, Carnegie Mellon University, 2002
View on KiltHub
Cite
Cite
APA
Click to copy
Kohlhase, M., & Simons, M. (2002). Interpreting Negatives in Discourse. Carnegie Mellon University.
Chicago/Turabian
Click to copy
Kohlhase, Michael, and Mandy Simons. Interpreting Negatives in Discourse. Carnegie Mellon University, 2002.
MLA
Click to copy
Kohlhase, Michael, and Mandy Simons. Interpreting Negatives in Discourse. no. CMU-PHIL-127, Carnegie Mellon University, 2002.
BibTeX Click to copy
@techreport{michael2002a,
title = {Interpreting Negatives in Discourse},
year = {2002},
institution = {Carnegie Mellon University},
issue = {CMU-PHIL-127},
author = {Kohlhase, Michael and Simons, Mandy}
}
Abstract
ABSTRACT: In recent work, tableau-based model generation calculi have been used as computationalmodels of the reasoning processes involved in utterance interpretation. In this linguistic application of an inference technique that was originally developed for automated theorem proving, natural language understanding is treated as a process of generating Herbrand models for the logical form of an utterance in a discourse. This approach captures ambiguity by generating multiple models for input logical forms. In this paper we apply the model generation approach to a particular case of ambiguity: the interpretation of negated sentences. Using model generation, we will demonstrate how the various possible readings of simple negated sentences are generated, and by what criteria an interpreter chooses among these possibilities. Our investigation of negated sentences will lead us to propose constraints on the model generation system which, we will suggest, represent broadly applicable principles of interpretation.