从语言到逻辑--范畴类型逻辑序列

从语言到逻辑--范畴类型逻辑序列

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论.该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释.另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释.范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究.

作 者： 邹崇理 ZOU Chong-li   作者单位： 中国社会科学院,哲学所,北京,100732  刊 名： 重庆工学院学报  ISTIC 英文刊名： JOURNAL OF CHONGQING INSTITUTE OF TECHNOLOGY  年，卷(期)： 2006 20(4)  分类号： B81  关键词： 范畴类型逻辑   自然语言   范畴运算  

【从语言到逻辑--范畴类型逻辑序列】相关文章：

从现代逻辑的语言层次观看逻辑04-27

逻辑与审美04-27

逻辑的概念04-27

杜威的逻辑观04-26

论决策中的逻辑思维与非逻辑思维04-26

逻辑学的新分支--博弈逻辑研究现状分析04-26

逻辑·落寂04-26

认知逻辑研究概观04-26

逻辑网络设计实践报告 网络逻辑结构设计10-10

二值命题逻辑中逻辑推理的有效度04-26