扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
心灵元气社
-
>
县中的孩子 中国县域教育生态
-
>
(精)人类的明天(八品)
-
>
厌女（增订本）
-
>
这样学习才高效/杨慧琴
-
>
心理学经典文丛:女性心理学
-
>
中国文化5000年
面向自然语言信息处理的扩展三段论研究 版权信息
- ISBN：9787030627230
- 条形码：9787030627230 ; 978-7-03-062723-0
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
面向自然语言信息处理的扩展三段论研究 内容简介
本书从自然语言信息处理的视角, 主要介绍和阐释了关于扩展三段论的形式化研究成果, 具体研究内容包括: 三段论片段的完全性、居间广义三段论、模态三段论、关系三段论、带有完全布尔运算的关系三段论、带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容。
面向自然语言信息处理的扩展三段论研究 目录
目录
前言
**章 三段论片段的完全性研究 1
**节 引言 1
第二节 相关基础知识 4
第三节 仅包含All语句的三段论片段 7
第四节 包含All语句和Some语句的三段论片段 11
第五节 添加了专名的三段论片段 14
第六节 包含All语句和No语句的三段论片段 15
第七节 L（all，some，no，names）语言 16
第八节 添加了布尔运算的三段论片段 18
第九节 包含There are at least as many X as Y语句的三段论片段 21
第十节 本章小结 28
第二章 居间广义三段论的研究 31
**节 引言 32
第二节 相关准备工作 34
第三节 居间量词和广义三段论 42
第四节 有效的居间广义三段论 48
第五节 居间三段论的实例解释 69
第六节 几个开问题 78
第七节 本章小结 79
第三章 亚里士多德模态三段论研究 82
**节 引言 82
第二节 Lukasiewicz的实然三段论系统A 86
第三节 Lukasiewicz的模态三段论系统M 99
第四节 现代模态谓词逻辑 102
第五节 McCall的模态三段论系统L-X-M 108
第六节 链条件、相干逻辑和AP系统 130
第七节 偶然三段论 134
第八节 模态三段论系统QLXM 141
第九节 QLXM系统的亚里士多德特征 161
第十节 两前提Q-有效三段论总览 162
第十一节 QLXM系统的扩展 165
第十二节 亚里士多德模态三段论的重构 165
第十三节 本章小结 176
第四章 关系三段论的形式化研究 184
**节 引言 184
第二节 相关准备工作 186
第三节 间接三段论系统S和Sy 197
第四节 具有斥完全性的关系三段论系统R 204
第五节 间接关系三段论系统R 213
第六节 非间接关系三段论系统Ry和Ry 217
第七节 其他相关的关系三段论片段 226
第八节 关系三段论片段的复杂性 229
第九节 关系三段论的可靠性和完全性研究 230
第十节 本章小结 264
第五章 带有完全布尔运算的关系三段论系统 266
**节 引言 266
第二节 带有完全布尔运算的关系三段论的语法与语义 272
第三节 带有完全布尔运算的关系三段论的公理和推理规则 274
第四节 带有完全布尔运算的关系三段论系统的完全性 277
第五节 带有完全布尔运算的关系三段论的语义复杂性 292
第六节 本章小结 294
第六章 带有动词的扩展三段论研究 296
**节 引言 296
第二节 辖域确定的NMI三段论片段的变种 299
第三节 同时带有All、一个动词和名词性补语的三段论逻辑 310
第四节 含有类表达式的三段论片段 314
第五节 本章小结 321
参考文献 323
后记 331
前言
**章 三段论片段的完全性研究 1
**节 引言 1
第二节 相关基础知识 4
第三节 仅包含All语句的三段论片段 7
第四节 包含All语句和Some语句的三段论片段 11
第五节 添加了专名的三段论片段 14
第六节 包含All语句和No语句的三段论片段 15
第七节 L（all，some，no，names）语言 16
第八节 添加了布尔运算的三段论片段 18
第九节 包含There are at least as many X as Y语句的三段论片段 21
第十节 本章小结 28
第二章 居间广义三段论的研究 31
**节 引言 32
第二节 相关准备工作 34
第三节 居间量词和广义三段论 42
第四节 有效的居间广义三段论 48
第五节 居间三段论的实例解释 69
第六节 几个开问题 78
第七节 本章小结 79
第三章 亚里士多德模态三段论研究 82
**节 引言 82
第二节 Lukasiewicz的实然三段论系统A 86
第三节 Lukasiewicz的模态三段论系统M 99
第四节 现代模态谓词逻辑 102
第五节 McCall的模态三段论系统L-X-M 108
第六节 链条件、相干逻辑和AP系统 130
第七节 偶然三段论 134
第八节 模态三段论系统QLXM 141
第九节 QLXM系统的亚里士多德特征 161
第十节 两前提Q-有效三段论总览 162
第十一节 QLXM系统的扩展 165
第十二节 亚里士多德模态三段论的重构 165
第十三节 本章小结 176
第四章 关系三段论的形式化研究 184
**节 引言 184
第二节 相关准备工作 186
第三节 间接三段论系统S和Sy 197
第四节 具有斥完全性的关系三段论系统R 204
第五节 间接关系三段论系统R 213
第六节 非间接关系三段论系统Ry和Ry 217
第七节 其他相关的关系三段论片段 226
第八节 关系三段论片段的复杂性 229
第九节 关系三段论的可靠性和完全性研究 230
第十节 本章小结 264
第五章 带有完全布尔运算的关系三段论系统 266
**节 引言 266
第二节 带有完全布尔运算的关系三段论的语法与语义 272
第三节 带有完全布尔运算的关系三段论的公理和推理规则 274
第四节 带有完全布尔运算的关系三段论系统的完全性 277
第五节 带有完全布尔运算的关系三段论的语义复杂性 292
第六节 本章小结 294
第六章 带有动词的扩展三段论研究 296
**节 引言 296
第二节 辖域确定的NMI三段论片段的变种 299
第三节 同时带有All、一个动词和名词性补语的三段论逻辑 310
第四节 含有类表达式的三段论片段 314
第五节 本章小结 321
参考文献 323
后记 331
展开全部
面向自然语言信息处理的扩展三段论研究 作者简介
张晓君，女，四川南充人。现任四川师范大学逻辑与信息研究所所长。2011年博士毕业于中国社会科学院研究生院，2013年从厦门大学博士后出站后，就职于四川师范大学，兼职于福建省仿脑智能系统重点实验室（厦门大学）。在《模式识别与人工智能》、《哲学研究》、《逻辑研究》等核心期刊发表学术期刊50余篇，其中：英文7篇、被人大复印报刊资料全文转载5篇；出版专著2部，合著2部；主持国家级课题3项。获得“金岳霖学术奖”、四川师范大学“科研十佳”等奖项多项。
书友推荐
- >
巴金－再思录
巴金－再思录
¥14.7¥46.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥24.9¥49.8 - >
推拿
推拿
¥12.2¥32.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
莉莉和章鱼
莉莉和章鱼
¥14.3¥42.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥17.4¥58.0
本类畅销
-
字海探源
¥25¥78 -
《标点符号用法》解读
¥8.3¥15 -
文言津逮
¥10.2¥28 -
那时的大学
¥12¥28 -
现代汉语通用字笔顺规范
¥19.6¥58 -
2020年《咬文嚼字》合订本
¥23.8¥60
