×

关于偏好论证的概述。 (英语) Zbl 1270.68284号

Artif公司。智力。 195, 361-397 (2013); 更正同上,第263、107-110页(2018年)。
摘要:本文以ASPIC(^+)形式主义为基础,建立了一个通用的偏好论证框架。我们推动了无冲突参数集的修订定义,调整ASPIC(^+)以适应更广泛的实例化逻辑,并表明在某些假设下,得到的框架满足关键属性和合理性假设。然后,我们证明了广义框架可以容纳通过偏好扩展的Tarskian逻辑实例化,然后通过经典逻辑方法研究框架的实例化。我们的结论是,ASPIC(^+)对不可行推理规则的建模进一步证明了该框架的通用性,然后检查并反驳了最近对Dung框架及其扩展的批评,以适应偏好。

MSC公司:

68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用