computational-logic

本文综述了计算信念改变的历史和理论基础，追溯了从Doyle的分类法到AGM框架的演变，并提供了当代方法的实现路线图。