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

关键词：信念修正 agm理论 定量非修正方法 认识理论 人工智能 

单位：北京化工大学信息科学与技术学院; 北京; 100029; 厦门大学计算机科学系; 福建; 厦门; 361005; 吉林工学院计算机科学系; 吉林; 长春; 130024