关于非单调推理中的择优蕴涵

ON THE PREFERENTIAL IMPLICATION IN THE NONMONOTONIC REASONING

为解决非单调推理问题,Shoham提出了择优模(preferred model)和择优蕴涵(preferential implication)的概念,本文在Shoham概念的基础上,进一步探讨了择优蕴涵与传统蕴涵的异同,给出了择优蕴涵单调性的两个充要条件,证明了择优蕴涵的单调性与传递性是等价的。

To solve the problems of nonmonotonic reasoning, Shoham proposed the notions of preferred model and preferential implication. Based on these notions, the differences between the identity of preferential implication and traditional implication are explored. Two equivalent conditions of preferential implication being monotonic are proved.