Deterministic Consistency Checking of LP Constraints
Abstract
We provide a constraint based computational model of linear precedence as employed in the HPSG grammar formalism. An extended feature logic which adds a wide range of constraints involving precedence is described. A sound, complete and terminating deterministic constraint solving procedure is given. Deterministic computational model is achieved by weakening the logic such that it is sufficient for linguistic applications involving word-order.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 1995
- DOI:
- 10.48550/arXiv.cmp-lg/9502017
- arXiv:
- arXiv:cmp-lg/9502017
- Bibcode:
- 1995cmp.lg....2017M
- Keywords:
-
- Computer Science - Computation and Language
- E-Print:
- EACL'95, 8 pages, LaTeX, eepic.sty, epsf.sty, eaclap.sty, figures - tar-ed, gzip-ed, uuencode-d