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