基于溯因解释的信念修正

给出了一个基于溯因推理信念修正的逻辑框架，并提出一个使用溯因方法，对带有约束条件的信念进行修正算法，该算法得到的是优化解。