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

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

First-order Logic vs Combinatory Categorial Grammar:Formula, Goal, and Expressiveness

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

姚从军、林延廷

展开 >

湘潭大学哲学系,湖南 湘潭 411105

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

湖南省社科基金重点项目

20ZDB029

2023

贵州工程应用技术学院学报
毕节学院

贵州工程应用技术学院学报

影响因子：0.175
ISSN：2096-0239
年,卷(期)：2023.41(1)
  • 1