基于英文法律语言的Lambek演算

A Lambek Calculus of English Legal Language

本文的主要研究对象是服务于英文法律语言处理的类型逻辑与范畴语法。首先,分析并总结英文法律语言主要的句法特征,由此提出刻画这些特征的类型逻辑与对应的范畴语法。同时,证明了本文所关注的类型逻辑是可判定的且其对应的范畴语法是上下文无关的。本文研究结果为英文法律语言自动处理提供了理论基础。

In this paper, we analysis the main syntactic features of English legal discourse on the grammar level. Then we design a extended Nonassociative Lambek calculus and its corresponding categorial grammars for processing of English legal discourse. Finally,we prove that our system is decidable and the corresponding grammars are context-free.The results will provide a theoretical basis for the automatic processing of English legal language.