内容简介
本书从自然语言信息处理的视角，主要介绍和阐释了关于扩展三段论的形式化研究成果，具体研究内容包括：三段论片段的完全性，居间广义三段论，模态三段论，关系三段论，带有完全布尔运算的关系三段论，带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容。
内容简介
本书从自然语言信息处理的视角，主要介绍和阐释了关于扩展三段论的形式化研究成果，具体研究内容包括：三段论片段的完全性，居间广义三段论，模态三段论，关系三段论，带有完全布尔运算的关系三段论，带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容。