子句型自相容缺省理论的扩张

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:majk509
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑揄常用的方法,文中Reiter缺省理论和张明义的自相容缺省的理论的研究基础上,进一步研究了子句型闭自相容缺省理论,文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Reter关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念个性的相关定理。
其他文献
本文给出了Cisco路由器2509的基本配置并应用到福建省地震局局域网中去,运行良好,实现了我局局域网的广域网连接。
目的 调查分析河南省信阳职业技术学院医学中专学生的卫生态度、卫生行为及心理问题,为下一步制定健康教育计划提供可靠依据。方法 采用整群与单纯随机抽样的方法,从3000余名医
草莓红色艳丽、芳香浓郁、酸甜多汁、营养丰富,具有清胃消积、促进食欲等功效.但草莓是浆果,不便运输,难贮藏.因此,将它开发加工成草莓食品.不仅可缓解鲜销压力,避免霉烂损失
期刊
针对学校图书馆一成不变的服务模式,引进全新的营销策略和理念,以改善学校图书馆的信息服务工作。
【教学目标】掌握阿司匹林的结构特征,主要化学性质——水解性;熟悉阿司匹林的杂检方法,了解阿司匹林的制法及主要用途;培养学生的合作能力。
为了解青年学生心理咨询需要解决的主要问题,笔者选取淄博科技职业学院医院心理科青年学生咨询者的资料,共637例,进行统计分析,报告如下。
可怜的"一分钱",它被蔑视,被遗弃,被废掷,甚至被诅骂。但是200年来,它仍活着。很多人不知道,小小的一分钱可能会带来意外的财运。一分钱在很多地方都不受欢迎。公路收费站不
中国手语是中国聋人使用的语言 ,主要通过手势动作来表达一定的含义 .因而 ,手语识别问题是动态连续信号的识别问题 .目前大部分手语识别系统采用 HMMs(hidden Markov models)作为系统的识别技术 .由于各个词包含的基本手势数不同 ,若所有模型都由同样数目的状态结点构成会影响识别率 .而由人为每个词设置状态数又很难达到完全准确 ,所述系统使用一种基于动态规划的估计状态结点数的办法