Paper: JAUNT: A Constraint Solver For Disjunctive Feature Structures

ACL ID C92-4184
Title JAUNT: A Constraint Solver For Disjunctive Feature Structures
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1992
Authors

To represent a conlblnatorial nulnber nf ambigu ous interpretatioas of a natural la'nguage sentence ef- ficiently, a "packed" or "factorized" represeutath)n is necessary. We propose a representatitm that comprises a set of explicit value disjunctltms and constraints hn- posed on them. New constraints are successively added for disambiguation, dnrhtg which local consistencies are maintained by an underlying mechanism. We have developed a constraint solver called JAUNT that em bodies this idea. The latest techniques, including con straint propagation and forwa,vl checking, are employed ms constraint satisfaction mechauisms. JAUNT also al- lows an external recta-inference program tn intervene in the constraint satisfaction process in order to control the application of the constraints.