证明网络与语言处理

摘要：

证明网络是证明的一种图像处理方式。在范畴语法中，由于证明网络具有便于给出语言句法分析这一特点，因此可以说证明网络是范畴语法中“句法分析即推导”这一口号的最佳体现方式之一。为了对证明网络有一个全面的了解，对其大体内容以及在语言处理上的优势做了概述。

关键词：范畴语法、证明网络、语言处理、句法分析

所属期刊栏目：30

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金重大项目“自然语言信息处理的逻辑语义学研究”10＆ZD073

在线出版日期：2016-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：14-18,61