一阶逻辑vs组合范畴语法:公式、目标与表达力

摘要：

一阶逻辑和组合范畴语法都是追逐"莱布尼茨之梦"的产物.一阶逻辑独立于自然语言,从人工语言出发,依据公式形成规则,生成逻辑公式;组合范畴语法实现了自然语言表达式的句法和语义的并行推演,伴随句法组合,自动生成相应的语义表达式.一阶逻辑以找出有效的推理模式为目标,关注系统本身的可靠性和完全性;组合范畴语法旨在用形式化的方法判断语句是否合语法和给出语言表达式的形式语义,关注计算机对自然语言的理解和处理.一阶逻辑对自然语言的抽象化程度非常高,舍弃了自然语言的内涵意义;组合范畴语法立足自然语言,全面、细致地刻画自然语言的句法和语义.

关键词：一阶逻辑、组合范畴语法、合式公式、有效推理、自然语言处理

所属期刊栏目：41

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

资助基金：湖南省社科基金重点项目20ZDB029

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

页数：共8页

页码：51-58