[an error occurred while processing this directive]
Dr Peter Hancox: Publications
Dr Peter Hancox
[an error occurred while processing this directive]
Some other publications
Chart Parsing in Prolog Phrase Structure in a Computational Model of Child Language Acquisition Representation, Coherence and Inference The uniform treatment of constraints, coherency and completeness in a LFG compiler
On the home page
Top of the page Research Research theses supervised Teaching Administration Research student admissions Other things
My pages
Prolog teaching material The School's PhD student prospectus Graduate scholarships
Other pages
School of Computer Science The University of Birmingham

AI and Cognitive Science 2005

Hancox, P. Lexical Functional Grammar constraints and concurrent constraint programming. In: AI and Cognitive Science '05: proceedings of the 16th Annual Conference, University of Ulster, Coleraine, 7-9 September 2005. Coleraine: University of Ulster, 2005. (ISBN 1-85923-197-7) pp 309-318.

 

Abstract

Lexical Functional Grammar allows grammar writers to use linguistic constraints to specify attributes and their values without using unification. The satisfaction algorithm for these constraints is within the generate-and-test paradigm and has the disadvantage of not being able to detect, at minimal cost, violations of the constraints as early as native speakers. Concurrent constraint languages, of which CHR is an example, allow searches to be incrementally constrained with goals delayed until they can be properly discharged. It is shown that linguistic constraints can be implemented in CHR to give early detection of satisfaction/violation of constraints, and also allows some further detection of redundancy and inconsistency.

 

Full text (PDF)
[an error occurred while processing this directive]
[an error occurred while processing this directive]