大家好我是小蝌蚪，逻辑推理，关于逻辑推理的基本详情介绍很多人还不知道，那么现在让我们一起来看看吧！

1、逻辑推理学包括一阶逻辑推理和时序逻辑推理两种。

2、一阶逻辑推理是一种典型的基于规则的推理方法，该方法的推理机制非常简单，利用谓词构建静态的推理规则库。

3、当进行推理时，首先向引擎输入已知的初级上下文信息，通过一致性验证后，与规则进行比较，如果相同，那么给出对应规则结果的高级上下文信息，否则提示没有成功。

4、时序逻辑推理并不是简单的依靠谓词对初级上下文信息组合来进行推理的一种机制，它通过观察上下文存储库中某种或几种上下文信息在一段时间内的记录，跟据上下文发生的时间序列来寻找规律，从而得出高级上下文信息。

本文关于逻辑推理的基本详情介绍就讲解完毕，希望对大家有所帮助。