| 鞠实儿，男，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 类型论与入λ-演算参考文献后记 |
内容加载中，请稍后...
商品评论（0条）