鞠实儿,男,1953年9月出生。教育部人文社会科学重点研究基地中山大学逻辑与认知研究所所长,中山大学哲学系教授、逻辑学博士生导师。主要研究领域:非经典逻辑与逻辑哲学、逻辑学的认知基础、逻辑与文化、科学技术哲学。
在科研方面:近十年主持省部级以上项目15项;同时还连续主持三期211和二期985项目;国家社科基金项目“超内涵逻辑”和“基于开放世界假设的三值逻辑系统及其在AI中的应用”最终成果分别在2007年和2008年鉴定为优秀;在Epistemologia,Journal of Philosophical logic,Studia Logica,IJCA,等重要国际学术刊物以及中国社会科学等国内刊物和文集发表论著共60余篇;主编国际学术论文集A Meeting of Minds:Proceedings of the Workshop on Logic,Rationality and Interaction和Studia Logica Special Issue:Many-Valued Logic and Cognition等两部,上述论文集均由国际重要出版机构出版发行。
在社会工作方面:2008年创办我国、第一份全国性逻辑学刊物《逻辑学研究》并担任主编;同时兼任国务院学位委员会哲学学科评议组成员,教育部社会科学委员会委员,国家社会科学基金项目评审组专家,中国逻辑学会副会长。
第1章 逻辑、自然语言与KRR
1.1 自然语言的内涵性与KRR
1.2 自然语言的模糊性与KRR
1.3 自然语言的交互性与KRR
1.4 自然语言的形态性与KRR
1.5 自然语言的多样性与KRR
1.6 本书结构——从KRR到LNL
第2章 类型逻辑与Lambek演算
2.1 范畴语法
2.2 类型逻辑
2.3 Lambek演算的代数模型
2.4 Lambek演算的证明论性质
2.5 Lambek演算与结构规则
第3章 面向自然语言内涵性的LNL:语境内涵逻辑
3.1 导言
3.2 内涵逻辑及其问题
3.3 超内涵逻辑及其问题
3.4 语境内涵逻辑Ⅰ:基于可能世界语义
3.5 语境内涵逻辑Ⅱ:基于邻域语义
3.6 语境内涵逻辑Ⅲ:基于代数语义
3.7 语境内涵语义Ⅰ:基于博弈语义
3.8 语境内涵语义Ⅱ:基于更新一局部模型语义
第4章 面向自然语言模糊性的LNL:模糊量词逻辑
4.1 导言
4.2 模糊量词的语义
4.3 模糊量词的性质
4.4 模糊量词推理
4.5 基于Lambek演算的模糊量词自然逻辑推理系统FQNL
4.6 FQNL系统0C的判定算法
第5章 面向自然语言交互性的LNL:带群体知识的公开宣告逻辑
5.1 导言
5.2 语言交流与动态认知逻辑模型
5.3 公开宣告逻辑PAL
5.4 群体知识
5.5 静态认知逻辑s5Bm(RC,D,E)
5.6 带有群体知识的公开宣告逻辑PAL(RC,D,E)
5.7 应用分析
第6章 面向自然语言形态性的LNL:时态句型的Lambek演算
6.1 导言
6.2 并发的Lambek时态演算系统
6.3 模态Lambek时态演算系统
第7章 面向汉语的LNL
7.1 导言
7.2 形式语义学对汉语句法语义的关注
7.3 面向汉语灵活语序和致使语义的LNL
附录1 广义量词理论
附录2 模糊集理论及模糊逻辑
附录3 类型论与入λ-演算
参考文献
后记
第1章 逻辑、自然语言与KRR
与形式语言相比,自然语言有内涵性、模糊性、交互性、形态性和多样性等显著特点。这些特点一方面为KRR设置了困难和挑战,另一方面也为KRR提供了更为深刻的直观背景和更加广阔的应用前景。
1.1 自然语言的内涵性与KRR
自然语言与形式语言相比的一个首要特点就是自然语言具有突出的内涵性(intensionality)。这种内涵性不但包括语用上的内涵性,即所谓的言外之意(connotation),如“13”在西方除了表示数字,还有不吉利之意,更重要的在于它还包括语义上的内涵性,即用以确定表达式指称的语义内容,弗雷格(Gottlob Frege)和卡尔纳普(Rudolf Carnap)分别称之为sense和intension。从这一角度看,内涵概念与外延(extension)、指称(reference)或所指(denotation)等概念相对。但是,它们两者之间并不具有一一对应关系。在自然语言中,外延相同而内涵不同的表达式比比皆是,如“有心脏的动物”与“有肾脏的动物”,“北京”与“中华人民共和国首都”。最臭名昭著的例子是“天然两足无羽动物”与“人”。
……
装 帧:平装
页 数:383
版 次:1
开 本:16开
纸 张:胶版纸