Constraint Categorial Grammars
cmp-lg
2008-02-03 v1 Computation and Language
Abstract
Although unification can be used to implement a weak form of -reduction, several linguistic phenomena are better handled by using some form of -calculus. In this paper we present a higher order feature description calculus based on a typed -calculus. We show how the techniques used in \CLG for resolving complex feature constraints can be efficiently extended. \CCLG is a simple formalism, based on categorial grammars, designed to test the practical feasibility of such a calculus.
Cite
@article{arxiv.cmp-lg/9507001,
title = {Constraint Categorial Grammars},
author = {Luis Damas and Nelma Moreira},
journal= {arXiv preprint arXiv:cmp-lg/9507001},
year = {2008}
}
Comments
12 pages, 5 Postscript figures, uses llncs.sty and epsfig.sty. To appear in Proceedings of EPIA'95, 7th Portuguese Conference on Artificial Intelligence, Funchal- Madeira Island, Portugal 3-6 October , 1995