【摘 要】
：
近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序逻辑程序中的规则序进行不同的处理,提出了一
论文部分内容阅读
近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序逻辑程序中的规则序进行不同的处理,提出了一类新的回答集语义,并比较了它们之间的关系,得到了各种回答集在包含关系下的哈斯图。接着提出了一种新的点着色方法来处理规则之间的优先关系,并以一种回答集语义为例,证明了点着色与回答集语义之间的对应关系。为了在辩论框架中建立和回答集语义相对应的辩论语义,本文针对文字序和规则序分别提出了新的辩论框架,讨论了两种语义之间的关系。此外,本文提出了几种求解有序逻辑程序回答集语义的算法,并对算法进行了比较。
其他文献
网格作为一种新兴的将在未来起重要基础作用的技术,其安全性是其核心问题,决定着网格技术能否得到广泛的应用。 网格认证是网格安全技术中的重要问题,防止数据在网格上传
近年来,计算机在交通控制、通讯网络等各个领域得到了广泛的应用。支持上述应用的基础理论问题为求解该领域内的NP完全问题的实用与快速算法,对上述领域内NP完全问题的快速算
企业信息化技术发展到了今天,企业信息门户(EIP)现在已经成为企业最关注的领域之一所谓门户就是一个基于web的系统,提供单一访问入口来访问后台应用程序和不同来源的各种资源
随着信息技术的飞速发展，各种媒体的数据量都呈爆炸性增长趋势，数字音乐随处可见并且与日俱增。与此同时，各种音乐应用也极大促进了信息技术的前进步伐，例如音乐共享使得古老的对
论文主要做了以下几方面的工作：1.将向量滤波算法应用于干涉图的处理。向量滤波算法能够快速有效地降低干涉图中的噪声，在消除噪声的同时还能够保持干涉条纹的方向性、清晰度和
工作流技术是进入90年代以后计算机支持的协同工作领域的一个新的研究热点,深入研究工作流技术对于提高企业和政府部门的信息化程度、运作效率以及竞争能力都有着重要的意义
网格是构筑在互联网基础之上的新兴分布式计算技术。它通过整合分布在各地的计算、存储和通信资源,为动态变化的虚拟组织的成员提供更为广泛的资源共享。如何在这种成员关系
在现有的道路照明路灯中,大多数的太阳能路灯控制器都属于单灯控制器,不能实现联网,这使得路灯管理需要采用效率低、实时性差的人为巡检方式,大大提高了路灯的维护成本。更重
随着图像采集技术的进步与发展，在医学临床诊断与治疗领域涌现出多种成像设备，为医生提供了多种不同特性的医学图像，这些来源于不同成像设备的图像称之为多模态图像。这些不同模
随着Web2.0的发展,微博等社交媒体逐步成为了人们获取网络信息、了解社会动态的主要平台。微博信息主要由个人用户发布、信息通过人与人的社会交互共享,这使得微博呈现出数据