Horn 推理在关联源失效下的最小成本鲁棒证据证书研究

研究提出一种精确算法，用于在最多 k 个源域被撤回时保留 Horn 结论的最小成本鲁棒证据证书。 该方法通过交替加权证据选择与源失效神谕实现，利用规则闭包反解释生成全局有效选择割，避免枚举支持集。 实验表明，在受控基准、可达性图及本体推导实例上，该方法实现高达 92% 的最优覆盖率。