否定即失败-一流百科

否定即失败

简介否定即失败（简称NAF）是逻辑编程中的一个非单调推理规则，用于推导出{displaystyle~p}，取决于推理算法的完整性，从而也取决于形式逻辑系统。取决于推理...