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

摘要

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