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

• 作者: 周勇 朱梧槚
• 来源期刊: 西南交通大学学报
• 学科: 工学
• 关键词: 逻辑程序 回答集语义 优先序
• 年，卷（期）: 2006,（2）
• 页码范围: 163-167
• 页数: 5页
• 分类号: TP18|TP301
• 字数: 5363字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2006.02.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱梧槚	南京航空航天大学信息科学与技术学院	40	363	8.0	18.0
2	周勇	南京航空航天大学信息科学与技术学院	47	321	8.0	16.0