【摘 要】
：
基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(2P完全的)，到目前为止，人们还没有发
【出 处】
：
中国计算机学会多值逻辑与模糊逻辑专业委员会第十四届学术会议
论文部分内容阅读
基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(2P完全的)，到目前为止，人们还没有发现有效的方法来计算带函数析取逻辑程序的回答集，主要原因之一是检查一个集合是否是回答集是coNP完全的。本文首先提出了带函数析取逻辑程序无基集(unfounded sets)的概念，发现了空无基集(unfounded-free sets)与稳定模型之间的一一对应关系，在此基础上，证明了一个逻辑程序的模型是该程序的稳定模型当且仅当它们对应的一个命题公式是不可满足的，从而在理论上为计算带函数析取逻辑程序的回答集提供了一种有效的途径。
其他文献
实现移动终端上的路径规划和导航功能可以显著地提高物流配送的效率，因而降低了电商成本，缩短了用户的等待时间。我们在Android手机平台上提取百度地图的地理数据，采用蚁群
复合材料布带缠绕制品在航空航天领域有着广泛的应用。其内在质量的控制和制品的可靠性评价，对无损检测技术提出了越来越高的要求。本文在对复合材料布带缠绕制品的材料成型工
1.前言
抑郁症是目前危害人类健康的主要疾病之一，对其病因机制的探讨是达到有效治疗的必要途径。传统抑郁症的“单胺学说”认为，抑郁的发生主要与单胺类神经递质如5-羟色
鸡腿菇(Coprinus comatus)是一种风味和口感十分独特的美味食用菌,营养和药用价值高,深受消费者的喜爱。鸡腿菇从菌丝生长到子实体形成耗时较短,同时生物转化效率非常高,栽培
刚过了五四青年节,按照官方说法,44岁以下都是青年,祝青年朋友们节日快乐.可是,有媒体评论,当下许多中国青年人因背负太重的压力而过于“早熟”,以致丧失激情,年纪轻轻即世故
地下水曝气(AS)和生物曝气(BS)是二十世纪九十年代发展起来的新兴地下水原位修复技术,主要用于处理有机物造成的饱和土壤和地下水污染。其具有成本低、高效率和原位操作等显著优势,在饱和土壤和地下水有机污染修复方面已经得到了广泛应用,国外已有很多AS和BS成功应用的例子。然而在AS和BS的实地应用过程中,系统的设计很大程度上仍然是经验性的,人们对于AS和BS去除污染物的作用机制缺乏深入的了解。本文在此
As two popular sphere decoding(SD)schemes proposed by Pohst and Schnorr-Euchner(SE)[1],both of them can perform near maximum likelihood(ML)detection in mult
新戊二醇(NPG)是高档油漆和粉末涂料的大宗助剂，能显著改善产品性能，随着人类节能环保意识的提高，对NPG的需求量迅猛增加，而中国产不足需，长期依赖进口，因此具有广阔的市场前景。铜
Spatial modulation(SM),which is a novel transmission scheme,is employed for active transmit antenna indexes and modulated signals to convey the information.
In this paper,an energy-efficient power allocation scheme for distributed antenna system(DAS)downlink in composite fading channel that takes the path loss,s