自然语言的语义推理的一种方法

　　本文建立的新数学模型可在较广泛的范围内进行语义推理,能得到符合人们常识的逻辑结论,并且能与经典的二值逻辑推理过程有机地联系起来。正象普通集合为模糊集合的特例一样,我们所建立的模型使经典的逻辑推理变成为模糊逻辑推理的一种特例。 本文将模糊命题分解为否定词、程度副词和基词,建立了命题间的类似性测度,并对过去一些文献中关于否定词“not”的运算方法作了更改。在本文中又引入了对模糊推理十分有用的“模糊概念有序集”,从而建立了模糊逻辑的推理步骤。……