【摘要】单调推理无法满足人们对客观世界的认知,为此提出了非单调推理。人们从外界获取的信念往往不总为真,当获取的新信念与原有信念集中的信念相矛盾时就会出现不一致,如何对信念集进行协调性维护是常识推理的关键问题之一。目前对不一致信念进行处理的主要方法是信念修正方法,其主要不足之处在于：有可能会丢失有用信念和产生多个结论难以选择。本论文对不一致信念的处理则采用信念非修正的极小模型方法,其基本思想是：允许 […]