不一致信念的定量非修正方法满足AGM公设的讨论

常识推理的核心问题为信念修正问题 ,研究人员就此已经提出了许多方法 ,其中AGM理论是最有影响的一个。本文讨论并逐条证明了定量非修正方法满足AGM公设的情况 。