【摘 要】
：
A deduction system, called RE-proof system, is constructed for generating the revisions of first order belief sets. When a belief set is rejected by a given fac
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
A deduction system, called RE-proof system, is constructed for generating the revisions of first order belief sets. When a belief set is rejected by a given fact, all maximal subsets of the belief set consistent with the fact can be deduced from the proof system. The soundness and completeness of the RE-proof system are proved, which imply that there exists a resolution method to decide whether a revision retains a mtalmal subset of a belief set.
A deduction system, is constructed for generating the revisions of first order belief sets. When a belief set is rejected by a given fact, all maximal subsets of the belief set consistent with the fact can be deduced from the proof system. The soundness and completeness of the RE-proof system are proved, which imply that there exists a resolution method to decide whether a revision retains a mtalmal subset of a belief set.
其他文献
绿色水利是指在水资源开发、利用和废弃全过程中保护生态环境且节水高效的利用水资源的行为与文化。因而,绿色水利应该秉持开发和废弃并举研究的思想,节水与保护生态并举的思
在现代通信设备中,微机系统扮演着极其重要的角色,软盘驱动器作为主机的外部设备,微机的系统文件和众多的应用文件都要通过它输入到主机中,执行相应的操作或把文件拷贝到硬
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
本文简要介绍一种固态记录器，介绍了它的基本结构、组成、工作过程和技术指标，并简要论述了对一些技术问题的处理方法
This article briefly introduces a solid state record
Several industrial coal processes are largely determined by the distribution of particle sizes in their feed.Currently these parameters are measured by manual s
从2008年至2010年,是自治区第九次党代会提出“五年打基础、十年上水平”关键的三年,是“十一五”规划的后三年,起着承上启下的重要作用。这三年的发展,直接关系到能否顺利完
英国贸工部和生物技术生物科学研究委员会（BBSRC）正给一个研究项目作为期3年、225万美元的投资，目的是制作一种能快速（一分钟时间）鉴别经供水传染的危险微生物的实验性生物处理器
江泽民同志在十六大报告上指出:“要形成全民学习、终身学习的学习型社会,促进人的全面发展。”当今世界科技进步日新月异,综合国力竞争日趋激烈。形势逼人,不进则退。税务机
文章介绍了编码式楼宇中央空调收费系统各部分的组成及软件。
The article introduces the composition and software of each part of the central air-conditioning charg