缺省推理中的三个定理

来源 :计算机学报 | 被引量 : 0次 | 上传用户：xi19870623

【摘要】

：

本文证明了缺省推理中的三个定理.定理1表明了缺省推理的非单调性这一特点.定理2的实际意义在于,在一个封闭规范缺省理论(D,W)中,只要W能推出D中某些缺省的结论,则可以把这样

【作者】

：

吴茂康

【机构】

：

上海科技大学计算机系上海201800

【出处】

：

计算机学报

【发表日期】

：

1991年8期

【关键词】

：

缺省推理定理人工智能 Non-monotonic logic default reasoning normal default theory exte

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文证明了缺省推理中的三个定理.定理1表明了缺省推理的非单调性这一特点.定理2的实际意义在于,在一个封闭规范缺省理论(D,W)中,只要W能推出D中某些缺省的结论,则可以把这样的缺省规则从理论中删除,所得到的较小的缺省理论其延伸仍与原来缺省理论一样.尤其是若W能推出D中所有的缺省规则结论,则(D,W)的延伸就是W,这就是本文推论的结论.

其他文献

重载交通沥青混凝土路面损坏分析

通过现场实地调研和资料收集，分析并总结了重载交通下沥青混凝土路面结构损坏类型和损坏特征，为解决重载下沥青混凝土路面损坏问题提供理论依据。

期刊

重载交通沥青路面损坏特征heavy traffic bituminous pavement damage features

适用于恶劣环境的易格斯直线导轨

总部设在德国科隆的易格斯公司是一家拥有免润滑和免维护直线滑动技术（在恶劣场合中使用的工程塑料滑动元件）的专业公司，已开发出一种用于最恶劣环境中的新型直线导轨系统。新款

期刊

易格斯直线导轨工作环境技术参数系统结构直线导轨系统

超级终端的使用

期刊

超级终端使用方法电脑传输文件MODEM文件交换