【摘 要】
：
This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures fo
【机 构】
：
Institute of Software,Department of Computer Science and Technology
【基金项目】
：
国家自然科学基金;科技部科研项目
论文部分内容阅读
This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complete procedure and an incomplete procedure for generating the maximal consistent subsets are presented, and the correctness of the procedures is also shown. Furthermore, a way to implement knowledge base revision is presented, and a prototype system is introduced. Compared with related works, the main characteristic of our approach is that the approach can be implemented by a computer program.
其他文献
目的:探讨单导管标测法在心房扑动(房扑)射频消融中的应用方法和效果。方法:阵发性心房颤动并发房扑患者行肺静脉电隔离术时采用单导管标测法消融房扑30例。所有患者行肺静脉
目的 观察单纯控制食谱、控制食谱联合有氧运动或降脂药对实验性肥胖大鼠血脂和血管内皮功能的影响.方法 Wistar大鼠随机分为:F组:饲予高脂饲料;N组:饲予基础饲料;A组:高脂饲
本文从光纤陀螺的物理概念和基本特点出发,探讨和论述了典型物理场对光纤陀螺精度的影响及其主要误差机理,并进行了一定的试验验证.
A new system called alternate data acquisition and real-time monitoring system has been developed for long-time discharge in tokamak operation. It can support c
列举分析了科技期刊校对中易忽略的一些细节问题,并针对这些细节提出了相应的防范措施,从而为提高科技期刊的校对质量提供借鉴.
In order to improve the generalization ability of binary decision trees, a new learning algorithm, the MMDT algorithm, is presented. Based on statistical learni
The welding temperature field of magnesium alloy AZ31 welded by TIG was measured with the uncooled infrared (IR) thermal imaging technology. The variables in th
Using the graph method proposed by Schlingemann and Werner, this paper introduces a technique to construct nonbinary quantum cyclic codes and provides a specifi
分析研究以往公路工程监理工作的经验与不足,加强工程质量管理,在新形势下做好公路建设和工程监理工作.
Traditional methods for detecting symmetry in image suffer greatly from the contrast of image and noise, and they all require some preprocessing. This paper pre