An Up to Down Reasoning for Inconsistent Beliefs

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