有序逻辑程序的回答集语义
Answer Set Semantics for Ordered Logic Programs作者机构：南京航空航天大学信息科学与技术学院江苏南京210016
出 版 物：《西南交通大学学报》 (Journal of Southwest Jiaotong University)
年 卷 期：2006年第41卷第2期
页 面：163-167页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论]
摘 要：为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法———直接在规则迭代过程中考虑规则序的作用.用此方法得到了9种不同的回答集语义,并讨论了各种语义之间的关系;证明了它们在包含意义下不是构成线序结构,而是一般的格结构;在层次逻辑程序中,该类回答集语义都退化为普通的回答集语义.
维普期刊数据库
同方期刊数据库