Possibilistic Extension Rules for Reasoning and Knowledge Compilation
Minghao Yin, Jigui Sun, Hai Lin, Xia WU · Journal of Software · 2011
在扩展规则的基础上提出了可能性扩展规则。给出了基于可能性扩展规则的可能性逻辑推理方法，利用互补因子的概念来估价推理问题的复杂度。扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义，提出了可能性蕴含可控制类、不一致性程度计算可控制类的概念。在可能性扩展规则的基础上提出了EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论，并证明了该理论是在最优化形式蕴含可控制类和不一致性程度计算可控制类中的，可以作为可能性