
逻辑推理学包括一阶逻辑推理和时序逻辑推理两种。一阶逻辑推理是一种典型的基于规则的推理方法。该方法的推理机制非常简单,利用谓词构建静态的推理规则库。当进行推理时,首先向引擎输入已知的初级上下文信息,通过一致性验证后,与规则进行比较,如果相同,那么给出对应规则结果的高级上下文信息,否则提示没有成功。时序逻辑推理并不是简单的依靠谓词对初级上下文信息组合来进行推理的一种机制,它通过观察上下文存储库中某种或几种上下文信息在一段时间内的记录,跟据上下文发生的时间序列来寻找规律,从而得出高级上下文信息。
哲学上把因果关系定义为“引起”和“被引起”的关系,现实中能够用“因为……所以……”表述的关系并不都是因果关系。逻辑推理中的“条件和结论”与现实中的“原因和结果”必须给予严格区分,复杂因果关系是“基本因果关系”的复合,电源、开关、灯泡三个“元件”串联而成的电路可以作为基本“因果关系模型”。原因与结果都是动态的,开关的“开”与灯泡的“亮”之间具有因果关系,而不是开关与灯泡具有因果关系。寻找可能的原因(现象)是逻辑推理,可能的原因现象有“并联”和“串联”两类,并联现象中只要有一个发生结果就会发生,串联现象必须全部发生结果才会发生。“时间”参数的有无是因果关系与逻辑推理的根本区别。并联现象中最先“成就”的那一个是结果发生的“原因”,而串联现象中最后“成就”的那一个是结果发生的“原因”。原因和条件的区别全在于出现的时间不同。在此基础上,内部原因和外部原因、主要原因和次要原因、根本原因和一般原因、直接原因和间接原因、偶然原因和必然原因等,都可以作出合理解释。
|