Corrections and Higher-Order Unification

Details Corrections and Higher-Order Unification Corrections and Higher-Order Unification

1996-09-02

arxiv.org/abs/cmp-lg/9609001v1

Computer Science

Computation and Language

12 pages, LateX file, In Proccedings of the 3. Konferenz zur Verarbeitung natuerlicher Sprache (KONVENS), Bielefeld, 1996

Scientific paper

We propose an analysis of corrections which models some of the requirements corrections place on context. We then show that this analysis naturally extends to the interaction of corrections with pronominal anaphora on the one hand, and (in)definiteness on the other. The analysis builds on previous unification--based approaches to NL semantics and relies on Higher--Order Unification with Equivalences, a form of unification which takes into account not only syntactic beta-eta-identity but also denotational equivalence.

Affiliated with

Also associated with

No associations

Rating

Corrections and Higher-Order Unification does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Corrections and Higher-Order Unification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Corrections and Higher-Order Unification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-62983