An Operational Approach to Belief Revision

被引：1

作者：

张玉平

李未

机构：

来源：

Journal of Computer Science and Technology | 1996年 / 02期

关键词：

Revision; inference rule; belief set;

D O I：

暂无

中图分类号：

TP302 [设计与性能分析];

学科分类号：

081201 ;

摘要：

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.

引用

页码：97 / 107

页数：11