基于粒语义推理的粒归结研究

粒归结方法和粒语义推理均是针对粒计算与逻辑推理相互融合研究的成果。粒语义推理能否作为粒归结方法的推理基础,或粒归结方法是否为粒语义推理的另一种形式是值得探究的问题。研究表明,粒归结方法中的粒归结序列是粒语义推理的充分条件。但对粒归结方法推广后,所得到的特殊粒归结序列是粒语义推理的充分必要条件。于是粒归结方法具有了推理的基础,粒语义推理也存在了其它的形式。这样粒归结方法与粒语义推理便具有相互支撑的紧密关系。

粒空间中基于粒计算的粒语义推理

在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵粒语义推理.尽管粒空间上的完备性不成立,但结果表明粒语义推理是各经典推理模式的扩充,所以粒语义推理既拓宽推理研究的范围,又引进粒计算的研究方法,促成粒计算与逻辑推理的进一步融合.