累积缺省逻辑的扩充

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:ljnbba
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对缺省理论的一大热点问题一缺省扩充,将Grigoris Antonion的语义算子理论算法及V.W.Marek和M.Fruszcyuski的语构算法用于计算累积缺省逻辑(CDL)的扩充,系统地讨论了CDL及其新变种CADL与QDL的理论的扩充问题,从而使得具有累积性的缺省逻辑扩充的计算问题系统化,同时指出这两种方法可用于其他类型的缺省理论扩充的计算。
其他文献
现有的操作系统文件安全一般采用授权机制,它忽略了文件之间存在的安全性关联。血统是动物之间固有的一种亲缘关系,该文借鉴血统描述文件的宗亲关系,建立了一个安全体系。给出了
采用离心模拟试验对非对称异形基坑的开挖过程进行了模拟,应用停机开挖方式,分三步进行了开挖。根据左墙与中墙的间距L分别设置了三种不同的工况L为30,18,6 m,并进行了对比分
Spinal cord injury has long been a prominent challenge in the trauma repair process. Spinal cord injury is a research hotspot by virtue of its difficulty to tre
目的了解人性化护理干预对老年慢性阻塞性肺炎患者生活质量的影响。方法将我院2018年1月至2018年12月收治的60例老年慢性阻塞性肺炎患者随机分组。给予常规化护理干预组患者
2011年7月6日,西南油气分公司某井发生特大山洪灾害,引发泥石流淹没局部钻井平台,造成严重的生命财产损失.在调查泥石流形成条件的基础上,对其活动特点、成灾机理及危险性作
从河南商丘各县区采集棉花黄萎病病株,对其进行黄萎病菌的分离和鉴定。采用连续稀释法和单孢分离法分离得到16个单菌系,并以这些单菌系作为研究对象,利用真菌通用引物ITS1和ITS4
嘿!我给你说一件事,可不准给其他人说哦!那是三年前的一天下午,我在家里做作业,忽然,闻到一股香味,咦,是什么这么香呢?我伸长了鼻子到处闻,原来是爸爸在厨房喝酒啊。我心想:
目的探讨人文关怀护理对肾结石患者经皮肾镜取石(PCNL)术后并发症发生情况的影响。方法随机选取2018年3月至2019年5月于大连市金州区第一人民医院行PCNL治疗的80例肾结石患者
应用性诱剂诱捕、监测甘薯小象虫发生动态,可为防治该虫提供依据。通过性诱剂诱捕甘薯小象虫雄虫,结合高效、低毒、安全的化学药剂进行防治,是综合防治甘薯小象虫的新技术。
中国古代禅僧作为社会中一个独特的群体,他们不仅有自己的生活方式,其在受教育模式上,也有诸多自我特征。禅僧们虽然也接受一定程度的学校式教育,但最重要的还是要通过自己的