%0 Journal Article
%T 有限信念集上修正的一种方法
%A 戴国忠
%A 栾尚敏
%J -
%D 2003
%X 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较
%K 信念修正 命题逻辑 一阶逻辑 有限信息集
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20030507&flag=1