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