信念修正的各种方法之比较

自从1956年提出了“人工智能”以来,人们已在这一领域做了大量的工作,很多专家系统已经非常成功地得到了应用。当前哲学和人工智能领域的热点之一就是信念修正(belief revision),下面我们用文中的例子来说明信念修正的意义。假设有如下的四个命题