面向自然语言信息处理的扩展三段论研究
正版新书 新华官方库房直发 可开电子发票
￥ 106.56 7.2折 ￥ 148 全新
库存2件
作者张晓君
出版社科学出版社
ISBN9787030627230
出版时间2020-08
版次1
装帧平装
开本16开
纸张胶版纸
页数340页
字数360千字
定价148元
货号SC:9787030627230
上书时间2024-12-22
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
内容简介:
本书从自然语言信息处理的视角，主要介绍和阐释了关于扩展三段论的形式化研究成果，具体研究内容包括：三段论片段的接近性，居间广义三段论，模态三段论，关系三段论，带有接近布尔运算的关系三段论，带有动词的扩展三段论的有效性、可靠性、接近性和计算复杂性等内容。本书适合逻辑学、计算语言学的教师和研究生使用，也可供对自然语言信息处理、计算机科学中的知识表示和知识推理感兴趣的教师、研究生和科研人员阅读。
目录:
前言
第一章 三段论片段的接近性研究 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系统
...
— 没有更多了 —
以下为对购买帮助不大的评价