%0 Journal Article
%T 信念修正的完全和可操作的方法
%A 李未？
%A 栾尚敏？
%J 软件学报
%P 59-64
%D 2002
%X 给出了命题逻辑上信念修正的两种可操作的完全方法.首先对r-演算的规则进行了修改,使得对任何一个极大协调的子集都通过这组规则得到.然后,给出了求得所有的极小不协调子集的一组规则.最后,给出一个过程,该过程能求得所有的极大协调子集.因为这两种方法都能求得所有的极大协调子集,所以把它们称为完全的.
%K 信念修正
%K 信念集
%K 迭代修正
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20020108&flag=1