微信扫码查看移动端店铺
~
更多参数>>
本书从自然语言信息处理的视角,主要介绍和阐释了关于扩展三段论的形式化研究成果,具体研究内容包括:三段论片段的完全性,居间广义三段论,模态三段论,关系三段论,带有完全布尔运算的关系三段论,带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容。
本书适合逻辑学、计算语言学的教师和研究生使用,也可供对自然语言信息处理、计算机科学中的知识表示和知识推理感兴趣的教师、研究生和科研人员阅读。
前言第一章 三段论片段的完全性研究 第一节 引言 第二节 相关基础知识 第三节 仅包含All语句的三段论片段 第四节 包含All语句和Some语句的三段论片段 第五节 添加了专名的三段论片段 第六节 包含All语句和No语句的三段论片段 第七节 L（all，some，no，names）语言 第八节 添加了布尔运算的三段论片段 第九节 包含There are at least as many X as Y语句的三段论片段 第十节 本章小结第二章 居间广义三段论的研究 第一节 引言 第二节 相关准备工作 第三节 居间量词和广义三段论 第四节 有效的居间广义三段论 第五节 居间三段论的实例解释 第六节 几个开问题 第七节 本章小结第三章 亚里士多德模态三段论研究 第一节 引言 第二节 Lukasiewicz的实然三段论系统A 第三节 Lukasiewicz的模态三段论系统M 第四节 现代模态谓词逻辑 第五节 McCall的模态三段论系统L-X-M 第六节 链条件、相干逻辑和AP系统 第七节 偶然三段论 第八节 模态三段论系统QLXM 第九节 QLXM系统的亚里士多德特征 第十节 两前提Q-有效三段论总览 第十一节 QLXM系统的扩展 第十二节 亚里士多德模态三段论的重构 第十三节 本章小结第四章 关系三段论的形式化研究 第一节 引言 第二节 相关准备工作 第三节 间接三段论系统S和Sy 第四节 具有斥完全性的关系三段论系统R 第五节 间接关系三段论系统R 第六节 非间接关系三段论系统Ry和Ry 第七节 其他相关的关系三段论片段 第八节 关系三段论片段的复杂性 第九节 关系三段论的可靠性和完全性研究 第十节 本章小结第五章 带有完全布尔运算的关系三段论系统 第一节 引言 第二节 带有完全布尔运算的关系三段论的语法与语义 第三节 带有完全布尔运算的关系三段论的公理和推理规则 第四节 带有完全布尔运算的关系三段论系统的完全性 第五节 带有完全布尔运算的关系三段论的语义复杂性 第六节 本章小结第六章 带有动词的扩展三段论研究 第一节 引言 第二节 辖域确定的NMI三段论片段的变种 第三节 同时带有All、一个动词和名词性补语的三段论逻辑 第四节 含有类表达式的三段论片段 第五节 本章小结参考文献后记
