An abductive treatment of long distance dependencies in CHR

  • Authors:
  • Veronica Dahl

  • Affiliations:
  • Logic and Functional Programming Group, Department of Computing Science, Simon Fraser University, Burnaby, B.C., Canada

  • Venue:
  • CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a CHR treatment for long distance dependencies which abduces the missing elements while relating the constituents that must be related. We discuss our ideas both from a classical analysis point of view, and from a property-grammar based perspective. We exemplify them through relative clauses first, and next through the more challenging case of natural language coordination. We present an abductive rule schema for conjunction from which appropriate rule instances materialize through the normal process of unification in a given sentence's parse, and which fills in (abduces) any information that may be missing in one conjunct through semantic and syntactic information found in the other. Thus semantic criteria, which in most previous approaches was understressed in favour of syntactic criteria, regains its due importance, within our encompassing while retaining economic abductive formulation.