非修正方法相关论文
信念修正是常识推理的主要手段,然而信念修正方法在处理不一致信念时常常会出现有用的信念丢失和结论集难于抉择的问题。为了解决......
基于一阶逻辑，在对假说中的不一致信念不做任何修正的条件下，将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充，假......
