Simone逻辑推理学
的有关信息介绍如下：
逻辑推理学包括一阶逻辑推理和时序逻辑推理两种。一阶逻辑推理是一种典型的基于规则的推理方法。该方法的推理机制非常简单，利用谓词构建静态的推理规则库。当进行推理时，首先向引擎输入已知的初级上下文信息，通过一致性验证后，与规则进行比较，如果相同，那么给出对应规则结果的高级上下文信息，否则提示没有成功。时序逻辑推理并不是简单的依靠谓词对初级上下文信息组合来进行推理的一种机制，它通过观察上下文存储库中某种或几种上下文信息在一段时间内的记录，跟据上下文发生的时间序列来寻找规律，从而得出高级上下文信息。
想要了解更多“逻辑推理学”的信息，请点击：逻辑推理学百科
