图书介绍
面向知识表示与推理的自然语言逻辑PDF|Epub|txt|kindle电子书版本网盘下载
- 鞠实儿等著 著
- 出版社： 北京：经济科学出版社
- ISBN：9787505876002
- 出版时间：2009
- 标注页数：383页
- 文件大小：135MB
- 文件页数：406页
- 主题词：自然语言－语言逻辑－研究
PDF下载
下载说明
面向知识表示与推理的自然语言逻辑PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章逻辑、自然语言与KRR1
1.1 自然语言的内涵性与KRR1
1.2 自然语言的模糊性与KRR3
1.3 自然语言的交互性与KRR5
1.4 自然语言的形态性与KRR6
1.5 自然语言的多样性与KRR 8
1.6 本书结构——从KRR到LNL11
第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演算的模糊量词自然逻辑推理系统FQNL187
4.6 FQNL系统OC的判定算法205
第5章 面向自然语言交互性的LNL：带群体知识的公开宣告逻辑215
5.1 导言215
5.2 语言交流与动态认知逻辑模型224
5.3 公开宣告逻辑PAL234
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章面向汉语的LNL316
7.1 导言316
7.2 形式语义学对汉语句法语义的关注321
7.3 面向汉语灵活语序和致使语义的LNL326
附录1 广义量词理论341
附录2 模糊集理论及模糊逻辑349
附录3 类型论与λ-演算359
参考文献365
后记383