论文摘要
近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序逻辑程序中的规则序进行不同的处理,提出了一类新的回答集语义,并比较了它们之间的关系,得到了各种回答集在包含关系下的哈斯图。接着提出了一种新的点着色方法来处理规则之间的优先关系,并以一种回答集语义为例,证明了点着色与回答集语义之间的对应关系。为了在辩论框架中建立和回答集语义相对应的辩论语义,本文针对文字序和规则序分别提出了新的辩论框架,讨论了两种语义之间的关系。此外,本文提出了几种求解有序逻辑程序回答集语义的算法,并对算法进行了比较。
论文目录
相关论文文献
- [1].带函数析取逻辑程序的无基集及其应用[J]. 计算机科学与探索 2015(06)
- [2].扩展的动态逻辑程序及其在产品个性化推荐中的应用[J]. 计算机系统应用 2013(09)
- [3].正规逻辑程序回答集存在性研究[J]. 计算机科学 2011(12)
- [4].加权约束逻辑程序[J]. 电子技术与软件工程 2015(18)
- [5].一种基于逻辑程序的重复协商框架[J]. 计算机科学 2008(05)
- [6].F650综合保护器逻辑程序分析[J]. 天然气技术与经济 2017(S1)
- [7].约束逻辑程序的良基模型研究[J]. 计算机工程 2013(09)
- [8].基于逻辑程序的调机路径规划研究[J]. 计算机工程 2018(01)
- [9].授权中异常冲突的一种解决方法[J]. 计算机科学 2008(08)
- [10].基于逻辑程序的访问控制描述与推理[J]. 计算机工程 2008(08)
- [11].浅谈备自投联切小电源逻辑程序方案改进[J]. 电气开关 2017(05)
- [12].一种描述逻辑与逻辑程序相结合的杂合系统DLclog[J]. 软件学报 2008(12)
- [13].作为逻辑程序的立法[J]. 地方立法研究 2019(04)
- [14].试论政策目标研制的逻辑程序[J]. 长春市委党校学报 2013(03)
- [15].基于逻辑程序的柔性授权框架[J]. 通信学报 2009(S1)
- [16].一种基于同例和异例的溯因推理[J]. 厦门大学学报(自然科学版) 2008(04)
- [17].基于加权定量方法的产品配置解优化[J]. 计算机工程与科学 2010(08)
- [18].论科学美在科学发现中的作用[J]. 北京科技大学学报(社会科学版) 2010(02)
- [19].分析性政策方案创制的逻辑与程序[J]. 领导科学 2010(11)
- [20].Horn-Extended DL的Tableau算法研究[J]. 计算机应用 2009(03)
- [21].基于回答集程序的冲突问题研究[J]. 计算机应用与软件 2012(10)
- [22].带函数的正规逻辑程序设计系统(英文)[J]. 贵州大学学报(自然科学版) 2009(02)
- [23].基于良基语义的安全策略表达与验证方法[J]. 软件学报 2012(04)
- [24].计算最大无基集的多项式时间算法[J]. 计算机工程 2011(11)
- [25].让文学促心灵,用数学润人生[J]. 中学数学 2014(09)
- [26].关注解决问题教学,重视思维品质培养[J]. 吉林教育 2011(08)
- [27].基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理[J]. 计算机科学 2014(01)
- [28].以问题为中心的教学方法在康复专业教学中的应用[J]. 中国康复医学杂志 2010(04)
- [29].临床实践指南的自动执行:一种ASP方法[J]. 南京师范大学学报(工程技术版) 2015(02)
- [30].智慧地球的商业逻辑[J]. 中国新时代 2012(03)