Resolving Quasi Logical Forms

The paper describes intermediate and resolved logical form representations of sentences involving referring expressions and a reference resolution process for mapping between these representations. The intermediate representation, Quasi Logical Form (or QLF), may contain unresolved terms corresponding to anaphoric noun phrases covering bound variable anaphora, reflexives, and definite descripitions. Implict relations arising in constructs such as compound nominals appear in QLF as unresolved formulae. The QLF representation is also neutral with respect to ambiguities corresponding to quantifier scope and the collective/distributive distinction, the latter being treated as quantifier resolution. Reference candidates are proposed according to an ordered set of "reference resolution rules" producing possible resolved logical forms to which linguistic and pragmatic constraints are then applied.

[1]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[2]  David Carter,et al.  Book Reviews: Interpreting Anaphors in Natural Language Texts , 1990, CL.

[3]  Candace L. Sidner,et al.  Towards a computational theory of definite anaphora comprehension in English discourse , 1979 .

[4]  T. Reinhart.  Anaphora and semantic interpretation , 1983 .

[5]  Martha E. Pollack,et al.  An Integrated Framework for Semantic and Pragmatic Interpretation , 1988, ACL.

[6]  R. Scha.  Distributive, Collective and Cumulative Quantification , 1984 .

[7]  Hiyan Alshawi,et al.  Memory and context for language interpretation , 1987 .

[8]  Chris Mellish.  Implementing Systemic Classification by Unification , 1988, Comput. Linguistics.

[9]  David Blair Mcdonald,et al.  Understanding noun compounds , 1982 .

[10]  Robert C. Moore.  Problems in Logical Form , 1981, ACL.

[11]  Douglas B. Moran,et al.  Quantifier Scoping in the SRI Core Language Engine , 1988, ACL.

[12]  Fernando Pereira,et al.  Extraposition Grammars , 1981, CL.

[13]  Barbara J. Grosz,et al.  The representation and use of focus in dialogue understanding. , 1977 .

[14]  Jack Kaminsky,et al.  Reference And Generality , 1962 .

[15]  Bernard Harrison,et al.  Reference and Generality , 1979 .

[16]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[17]  Marilyn A. Walker,et al.  Evaluating Discourse Processing Algorithms , 1989, ACL.

[18]  Barbara H. Partee,et al.  Bound Variables and Other Anaphors , 1978, TINLAP.

[19]  Jan van Eijck,et al.  Logical Forms in the Core Language Engine , 1989, ACL.

[20]  Jerry R. Hobbs,et al.  Pronoun resolution , 1977, SGAR.

[21]  D. Dahl.  Review of Interpreting anaphors in natural language texts by David M. Carter. Ellis Horwood 1987. , 1990 .

[22]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[23]  William A. Woods,et al.  Semantics and Quantification in Natural Language Question Answering , 1986, Adv. Comput..