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