不一致信念的一种自顶向下的处理方法

• An Up to Down Reasoning for Inconsistent Beliefs