计算逻辑以各种形式出现，就像其他类型的逻辑一样，本文将重点介绍计算逻辑中的溯因逻辑编程，ALP，方法，并将论证ALP代理框架，它将ALP集成到代理的操作周期中，为解释性推理和规范性推理提供了一个具有说服力的模型，ALP代理框架作为一个解释性......