A "Natural Logic" For Natural Language Processing And Knowledge Representation (1993)
| Citations: | 4 - 0 self |
BibTeX
@TECHREPORT{Ali93a"natural,
author = {Syed S. Ali},
title = {A "Natural Logic" For Natural Language Processing And Knowledge Representation},
institution = {},
year = {1993}
}
Years of Citing Articles
OpenURL
Abstract
We define a knowledge representation and inference formalism that is well suited to natural language processing. In this formalism every subformula of a formula is closed. We motivate this by observing that any formal language with (potentially) open sentences is an inappropriate medium for the representation of natural language sentences. Open sentences in such languages are a consequence of the separation of variables from their quantifier and type constraints, typically in the antecedents of rules. This is inconsistent with the use of descriptions and noun phrases corresponding to variables in language. Variables in natural language are constructions that are typed and quantified as they are used. A consequence of this is that variables in natural language may be freely reused in dialog. This leads to the use of pronouns and discourse phenomena such as ellipsis involving reuse of entire subformulas. We present an augmentation to the representation of variables so that variables are ...







