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

Study on Granular Resolution Based on Granularly Semantic Reasoning

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

Granular resolution and granularly semantic reasoning are important research results on granular computing mixing together with logical reasoning. It is worth considering that whether granularly semantic reasoning can be taken as a reasoning foundation of granular resolution, or granular resolution is another form of granularly semantic reasoning. The investigations on this problem show that the sequence of granularly resolvent clauses in the process of granular resolution is a sufficient condition for granu-larly semantic reasoning. But, by developing the way of granular resolution, a special sequence of granularly resolvent clauses was constructed, which is a sufficient and necessary condition for granularly semantic reasoning. This expresses that granular resolution has a reasoning foundation, and granularly semantic reasoning also possesses another form. Therefore, there lar resolution and granularly semantic reasoning. is a close relation which can be taken as a bridge between granu