• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2004, Vol. 26 ›› Issue (5): 106-109.

• 论文 • 上一篇    

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

尚颖[1] 邓安生[2] 鞠晓东[3]   

  • 出版日期:2004-05-01 发布日期:2010-07-04

  • Online:2004-05-01 Published:2010-07-04

摘要:

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

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