逻辑程序因果论证中的使能条件与抑制条件
计算机科学中的逻辑
2016-05-11 v1 人工智能
摘要
将发表于《理论与逻辑编程实践》(TPLP)。本文提出逻辑编程(LP)的一种扩展，其中从良基模型导出的每个默认文字都关联一个表示为代数表达式的论证。该表达式包含因果解释（以由规则标签构建的证明图形式）以及处于否定作用域下的项，这些项代表启用或禁用因果规则应用的条件。通过一些例子，我们讨论这些新条件（我们分别称为“enablers”和“inhibitors”）如何与默认否定密切相关，并且本质上不同于常规因果效应关系。最重要的结果是对近期 LP 论证的代数方法：“Why-not Provenance”(WnP)和“Causal Graphs”(CG)的形式化比较。我们表明当前方法在良基语义下扩展了 WnP 和 CG 两种论证，并且作为副产品，我们也建立了这两种方法之间的形式化关系。
引用
@article{arxiv.1602.06897,
title = {Enablers and Inhibitors in Causal Justifications of Logic Programs},
author = {Pedro Cabalar and Jorge Fandinno},
journal= {arXiv preprint arXiv:1602.06897},
year = {2016}
}