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

发布时间：2021-11-27 07:37

　　近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序逻辑程序中的规则序进行不同的处理,提出了一类新的回答集语义,并比较了它们之间的关系,得到了各种回答集在包含关系下的哈斯图。接着提出了一种新的点着色方法来处理规则之间的优先关系,并以一种回答集语义为例,证明了点着色与回答集语义之间的对应关系。为了在辩论框架中建立和回答集语义相对应的辩论语义,本文针对文字序和规则序分别提出了新的辩论框架,讨论了两种语义之间的关系。此外,本文提出了几种求解有序逻辑程序回答集语义的算法,并对算法进行了比较。 

【文章来源】：南京航空航天大学江苏省 211工程院校

【文章页数】：51 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
图表清单
注释表
第一章绪言
    1.1 研究背景
    1.2 本文的主要研究内容
    1.3 本文的组织
第二章有序逻辑程序与回答集语义
    2.1 逻辑程序与回答集语义
    2.2 规则序与W 回答集
    2.3 W 回答集语义的扩展
    2.4 其它回答集语义的扩展
    2.5 各种回答集语义之间的相互关系
    2.6 与相关工作的比较
第三章有序逻辑程序的图表示
    3.1 有向图与有序逻辑程序
    3.2 有序逻辑程序与点着色
    3.3 点着色与回答集语义之间的关系
    3.4 与相关工作的比较
第四章有序逻辑程序的辩论框架
    4.1 逻辑程序的辩论框架与辩论语义
    4.2 文字序逻辑程序的辩论框架
    4.3 规则序逻辑程序的辩论框架
    4.4 与相关工作的比较
第五章有序逻辑程序的求解算法
    5.1 直接求解回答集的算法
    5.2 回答集求解算法的改进
    5.3 用遗传算法辅助求解回答集
    5.4 回答集的图解算法
    5.5 实验结果以及各算法的比较
    第六章小结
参考文献
致谢
在学期间的研究成果



本文编号：3521831