面向自然语言信息处理的扩展三段论研究

书籍简介:

本专著致力于研究的主要内容包括：三段论片段的完全性、居间广义三段论、模态三段论、关系三段论、带有完全布尔运算的关系三段论、带有动词的三段论的有效性、可靠性、完全性和计算复杂性等等内容。第一章主要研究了三段论片断的完全性（主要内容如下：引言、相关准备工作、包含All语句的三段论片断、包含All语句和Some语句的三段论片断、添加了专名的三段论片断、包含All语句和No语句的三段论片断、L（all,some,no,names）语言、添加了布尔运算的三段论片断、包含ThereareatleastasmanyXasY语句的三段论片断。第二章进行了居间广义三段论的形式化研究（主要内容如下：引言、相关准备工作、居间量词和广义三段论、有效的居间广义三段论。第三章拟对亚氏模态三段论的形式化进行研究（主要内容包括：引言、？ukasiewicz的断言系统、反断言系统和模态系统、现代模态谓词逻辑、McCall的L—X—M系统、条件链与相干逻辑、或然三段论、McCall的Q—L—X—M系统、两个前提Q—有效的三段论））。第四章拟对亚氏模态三段论的重构进行研究（主要内容如下：引言、基于可预测语义学的模态三段论、模态系动词、模态三段论及其证明。第五章对关系三段论的形式化进行了研究（主要内容如下：引言、相关准备工作（包括：六个关系三段论片断（S、S?、R、R?、R和R?）、语义、恒假式、否定和同一性、三段论规则和归谬法）、关于间接三段论系统S、S?、R和R、非间接关系三段论系统R?和R?是否具有可靠性、完全性和斥完全性的证明系统的探讨等等）。第六章探讨了关系三段论的可靠性和完全性（主要内容如下：引言、关系三段论？、？和？？语言（包括：句法和语义、证明论、关系三段论？？语言的可靠性和完全性的规则集）、两种传递闭包、技术机制、可靠性和完全性证明等等）。第七章进行了带有完全布尔推理的关系三段论研究。

书籍规格:

书籍信息归属:

面向自然语言信息处理的扩展三段论研究是科学出版社于2019.10出版的中图分类号为 B502.233 ,B812.23 的主题关于 亚里士多德(Aristotle 前384-前322)－三段论－研究 ,推理－研究 的书籍。