对基于约束条件的缺省逻辑扩充的注记

来源 :厦门大学学报(自然科学版) | 被引量 : 0次 | 上传用户:yangminfeng_1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于带约束条件的缺省理论,给出了缺省理论△=(D,W,C)的新约束、约束反驳、C-重构和C-认识进程的概念及其意义,主要讨论当约束条件C发生变化(如遇到新的约束或出现与原来约束相矛盾的约束)时扩充E的性质和变化规律,提出了获取新扩充的较简单的求解方法,并证明了相关的定理.在此基础上,本文建立了缺省理论的关于约束的一个动态描述过程,证明了当缺省理论遇到新约束时扩充呈单调变化,遇到约束反驳时呈现非单凋性,进一步讨论了当不断添加新约束和约束反驳时,扩充的最终结果为某一特定问题的经验公式集.
其他文献
讲好中国故事,传播中国声音,是国际传播建设的重要内容。基于目前的国际形势,需要充分利用各种传播平台,向全世界展示中国的新面貌。其中,宣传思想是其中最重要的任务,为了最
"游泳池"式反应堆的铝池壳是惟一不能更换的部件.它的好坏直接关系到反应堆的寿命.清华屏蔽试验反应堆的池壳是表面进行过阳极氧化处理的铝材料,自1964年投入使用已36年.1996
<正> 烤烟大田中耕与培土是优质烟田前期管理重要的中小环节。其主要作用是协调烤烟大田生长期间烟株与环境各因素之间的关系,促进烟株早生快发,并向着有利于优质适产方向发
买蔬菜专挑有虫眼的,因为有虫眼的蔬菜含的农药少;洗瓜果蔬菜先用洗涤剂清洗一下,因为洗涤剂能清除一部分残留农药……这些生活经验从一个侧面反映出人们对农药残留的恐惧。
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
锂铅实验回路是研究聚变堆液态金属锂铅包层关键科学技术问题的必备装置,其锂铅温度场和速度场分布对分析相关实验结果是必需的。DRAGON-Ⅰ是中国第一座热对流锂铅实验回路,采
塑料大棚饲养鹧鸪具有投资少、见效快、省工、省时,并且有利于防疫等优点,深受群众欢迎。一年多来,山东省曹县魏湾镇王泽铺村鹧鸪养殖大户刘天龙大力发展推广这一饲养技术,已
期刊
蚂蟥,中药名称为水蛭,隶属环节动物门蛭纲。俗称马鳖、马蛭等,体表无刚毛,前后端皆有吸盘,体肌发达,体腔缩小,属一类高度特化的环节动物。水蛭是名贵中药材,其性平,味咸、苦,
期刊
【正】我在深圳已经工作了快20年,所以应该算是本地建筑师,请允许我代表今天到场的全体深圳建筑师,对全国来的同仁表示热烈的欢迎。今天听到各位大师的精彩讲演,我学到很多,
为了对比不同聚能装药结构形成射流的特性,应用改进的PER理论模型,结合Autodyn有限元软件,理论和数值模拟研究了单锥罩、带隔板单锥罩和带隔板偏心亚半球罩三种装药结构的射