摘要：自然语言处理涉及推理,出于可实现性的考虑,为之建立逻辑系统需顾及表达力与复杂性之间的平衡。简单的模态逻辑刻画了认知词一个基本的性质——有限性,统一得到了它们的完全性,并且证明它们都是可判定的。

原文链接:http://www.cqvip.com//QK/84355B/200904/30667396.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）