| An Operational Approach to Belief Revision |
| |
| 作者姓名： | Zhang Yuping Li Wei |
| |
| 作者单位： | [1]DepartmentofComputerScience,BeijingUniversityofAeronauticsandAstronatuticsBeijing100083 [2]DepartmentofC,BeijingUniversityofAeronauticsandAstronatuticsBeijing100083 |
| |
| 摘 要： | 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 maximal subset of a belief set.
|
| 关 键 词： | 人工智能 可信集 相干规则 |
An operational approach to belief revision |
| |
| Zhang Yuping,Li Wei.An Operational Approach to Belief Revision[J].Journal of Computer Science and Technology,1996,11(2):97-107. |
| |
| Authors: | Yuping Zhang Wei Li |
| |
| Affiliation: | Department of Computer Science; Beijing University of Aeronautics and AstronauticsBeijing 100083; |
| |
| Abstract: | 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. |
| |
| Keywords: | Revision inference rule belief set |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
