基于溯因推理的信念修正理论初探

溯因推理是发现或揭示事物规律的一种重要推理形式,它是从证据到解释的思考过程,属于以多种条件的不完整信息为特征的推理模式。现代逻辑使用信念修正的概念来刻画溯因推理的动态认知过程,而在众多刻画信念状态的理论中,AGM理论所使用的信念集合论的模型简单、易操作,但其执行力不强,不能更细致地刻画出认知主体对语句信念度的变化以及知识更新等动态认知过程。因此,溯因推理的语义树结构的程序化及其全局策略和局部策略的提出有助于实现信念修正系统形式化,更好地描述其动态认知过程和处理信念修正问题。