贪婪缺省逻辑

发布时间：2019-05-13 22:24

【摘要】：提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺省逻辑的扩展是贪婪缺省逻辑扩展的子集.同时,还存在贪婪缺省理论(T,?)的某一GD-扩展,该GD-扩展不包含缺省理论的任一扩展.因此缺省逻辑和贪婪缺省逻辑是两种不同的逻辑.
[Abstract]:In this paper, a greedy default logic is proposed, which aims to preserve the information in the default rules as much as possible in the process of constructing extension. The definitions of GD system and greedy default GD- extension, which are the deduction systems of greedy default logic, are given. And prove that for the default theory (T,?) There must be a GD- extension of greedy default theory, so that the extension of default logic is a subset of greedy default logic extension. At the same time, there is also the default theory of greed (T,?) The GD- extension does not contain any extension of the default theory. Therefore, the default logic and the greedy default logic are two different logic.
【作者单位】： 中国科学院计算技术研究所智能信息处理重点实验室;国网山东省电力公司电力科学研究院;
【基金】：农业部公益性行业(农业)科研专项(201303107)~~
【分类号】：TP181

【相似文献】

相关期刊论文 前10条

1 吴茂康;缺省理论的简化[J];计算机学报;1991年12期

2 陈世福,潘金贵,徐殿祥;一种缺省推理方法及其应用[J];软件学报;1992年04期

3 姜云飞;利用格论研究缺省推理[J];计算机学报;1993年02期

4 刘瑞胜,翟永顺;有序缺省理论及其扩充[J];长春邮电学院学报;1996年04期

5 韩庆,林作铨;不协调知识的缺省推理(英文)[J];软件学报;2004年07期

6 吴茂康,缪淮扣;在一类缺省理论中关于证明理论的完备性问题[J];计算机学报;1993年11期

7 李未;;缺省推理与认识进程[J];计算机科学;1993年02期

8 董明楷,张明义;子句型自相容缺省理论的扩张[J];计算机研究与发展;2000年02期

9 傅丽,王国俊;累积缺省逻辑的扩充[J];计算机工程与应用;2005年16期

10 傅丽;;统计缺省扩充的两种算法[J];模糊系统与数学;2007年03期

相关会议论文 前5条

1 黄守华;;控制系统缺省设置不当处理对策[A];电厂管理与热工技术经验交流文集[C];2003年

2 黄晓微;;从关联理论看文学作品中文化缺省的翻译——以《假情妇》的翻译为例[A];福建省外国语文学会2013年年会暨海峡两岸翻译学术研讨会论文集[C];2013年

3 李文;姜宏涛;;一种自组织模糊缺省模型[A];1998年中国智能自动化学术会议论文集（上册）[C];1998年

4 贺寿南;;法律视野中的缺省论证[A];第十六届全国法律逻辑学术讨论会论文（成就·反思·前瞻——中国法律逻辑三十年）[C];2008年

5 刘奋荣;;缺省逻辑如何研究非单调推理？[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

相关重要报纸文章 前5条

1 ;警惕缺省配置的陷阱[N];网络世界;2003年

2 马宏敏;大众文化与记忆缺省的一代[N];中国文化报;2002年

3 张汉军;VB程序发布时应注意的问题[N];电脑报;2003年

4 浙江 张冬青;Photoshop参数恢复大全[N];电脑报;2003年

5 湖北 周迪;LILO配置攻略[N];中国计算机报;2000年

相关博士学位论文 前3条

1 傅丽;缺省逻辑的扩充[D];陕西师范大学;2005年

2 刘向军;信任、缺省与偶在[D];复旦大学;2008年

3 廖涛;面向事件的文本表示及其应用研究[D];上海大学;2014年

相关硕士学位论文 前10条

1 潘丽君;关联理论视角下文化缺省的翻译策略研究[D];福建师范大学;2015年

2 赵策力;面向比较句的比较要素缺省识别与抽取研究[D];山西大学;2015年

3 刘慧慧;评价要素的缺省识别与恢复方法研究[D];山西大学;2015年

4 郑伟;《那一天,这一生》汉译中的文化缺省及其翻译策略[D];大连理工大学;2015年

5 陈小翠;从关联翻译理论看文化缺省的补偿[D];宁波大学;2015年

6 李军;文学作品中文化缺省的翻译探究[D];江苏师范大学;2014年

7 李甜甜;从关联理论看《天堂蒜薹之歌》中的文化缺省与翻译补偿[D];西北师范大学;2015年

8 吴东兴;当代艺术中视觉逻辑缺省性与非确定性研究[D];大连工业大学;2015年

9 涂祖玲;译介学视阈下中医术语翻译的文化缺省研究[D];西华大学;2015年

10 魏荻菲;关联理论下徐译《瓦尔登湖》中文化缺省的翻译及其补偿策略探究[D];东南大学;2015年

，

本文编号：2476229