有序逻辑程序的回答集语义

为了统一并扩充回答集语义，在带有规则序的逻辑程序中，基于不动点原理，采用了处理优先序的新方法——直接在规则迭代过程中考虑规则序的作用．用此方法得到了9种不同的回答集语义，并讨论了各种语义之问的关系；证明了它们在包含意义下不是构成线序结构，而是一般的格结构；在层次逻辑程序中，该类回答集语义都退化为普通的回答集语义．

Answer Set Semantics for Ordered Logic Programs

Based on the fixed-point theorem, a new method to treat the priori order was proposed in order to unify and extend the different answer set semantics resulted from different ways of dealing with the prior order in logic programs with a rule order. With this method, the rule order was taken into account in the iterative procedure of rules. As a result, nine kinds of answer set semantics were obtained, and the correlation between them was discussed in detail. It was proved that those nine semantics do not form a linear structure but a normal lattice structure. Furthermore, in ordered stratified logic programs, all of the nine answer set semantics become the normal answer set semantics.