SLD-resolution 相关硕士博士期刊学术论文

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