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

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