面向知识表示与推理的自然语言逻辑PDF电子书下载
- 电子书积分:13 积分如何计算积分?
- 作 者:鞠实儿等著
- 出 版 社:北京:经济科学出版社
- 出版年份:2009
- ISBN:9787505876002
- 页数:383 页
第1章逻辑、自然语言与KRR 1
1.1 自然语言的内涵性与KRR 1
1.2 自然语言的模糊性与KRR 3
1.3 自然语言的交互性与KRR 5
1.4 自然语言的形态性与KRR 6
1.5 自然语言的多样性与KRR 8
1.6 本书结构——从KRR到LNL 11
第2章类型逻辑与Lambek演算 13
2.1 范畴语法 14
2.2 类型逻辑 17
2.3 Lambek演算的代数模型 21
2.4 Lambek演算的证明论性质 23
2.5 Lambek演算与结构规则 26
第3章面向自然语言内涵性的LNL:语境内涵逻辑 29
3.1 导言 30
3.2 内涵逻辑及其问题 33
3.3 超内涵逻辑及其问题 45
3.4 语境内涵逻辑Ⅰ:基于可能世界语义 62
3.5 语境内涵逻辑Ⅱ:基于邻域语义 77
3.6 语境内涵逻辑Ⅲ:基于代数语义 97
3.7 语境内涵语义Ⅰ:基于博弈语义 116
3.8 语境内涵语义Ⅱ:基于更新-局部模型语义 123
第4章面向自然语言模糊性的LNL:模糊量词逻辑 135
4.1 导言 135
4.2 模糊量词的语义 138
4.3 模糊量词的性质 160
4.4 模糊量词推理 177
4.5 基于Lambek演算的模糊量词自然逻辑推理系统FQNL 187
4.6 FQNL系统OC的判定算法 205
第5章 面向自然语言交互性的LNL:带群体知识的公开宣告逻辑 215
5.1 导言 215
5.2 语言交流与动态认知逻辑模型 224
5.3 公开宣告逻辑PAL 234
5.4 群体知识 242
5.5 静态认知逻辑S5Bm(RC,D,E) 255
5.6 带有群体知识的公开宣告逻辑PAL(RC,D,E) 266
5.7 应用分析 274
第6章面向自然语言形态性的LNL:时态句型的Lambek演算 283
6.1 导言 284
6.2 并发的Lambek时态演算系统 287
6.3 模态Lambek时态演算系统 300
第7章面向汉语的LNL 316
7.1 导言 316
7.2 形式语义学对汉语句法语义的关注 321
7.3 面向汉语灵活语序和致使语义的LNL 326
附录1 广义量词理论 341
附录2 模糊集理论及模糊逻辑 349
附录3 类型论与λ-演算 359
参考文献 365
后记 383
- 《自然拼读背单词 高考英语3500词》宋德伟 2019
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《幼儿园课程资源丛书 幼儿园语言教育资源》周兢编 2015
- 《高等学校“十三五”规划教材 C语言程序设计》翟玉峰责任编辑;(中国)李聪,曾志华,江伟 2019
- 《音乐语言的根基》张艺编著 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《认知语言学视野的抽象方位结构研究》曹爽著 2019
- 《激活语言思维》李蒨,王宏年,汤青编著 2017
- 《自然拼读背单词 小学英语1000词》宋德伟 2019
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《革命根据地军事经济史》龚泽琪主编 1994