约束范畴语法

Luis Damas; Nelma Moreira

约束范畴语法

cmp-lg 2008-02-03 v1 计算与语言

作者: Luis Damas , Nelma Moreira

摘要

虽然可以采用单一化方法来实现 $\beta$ -归约的一种弱形式，但 several linguistic phenomena（语言现象）更适合使用某种 $\lambda$ -演算的形式。在本文中，我们提出了一种基于已排序 $\lambda$ -演算的高阶特征描述微积分。我们展示了 \CLG 中用于解决复杂特征约束的技术如何被有效扩展。\CCLG 是一种简单形式，基于范畴语法，旨在测试此类微积分的实际可行性。

关键词

约束范畴语法 $\lambda$ 演算特征约束范畴语法计算语言学

引用

@article{arxiv.cmp-lg/9507001,
  title  = {Constraint Categorial Grammars},
  author = {Luis Damas and Nelma Moreira},
  journal= {arXiv preprint arXiv:cmp-lg/9507001},
  year   = {2008}
}

备注

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

约束范畴语法

摘要

关键词

引用

备注

相关论文