溯因解释中的任意性度量
计算机科学中的逻辑
2020-02-19 v1
摘要
我们研究了扩展了完整性约束的溯因逻辑编程框架。针对该框架，我们引入了一种基于解释的\emph{任意性}程度的新简洁性度量：解释越任意，其吸引力越低；而没有任意性的解释（称为受约束解释）则是首选的。在本文中，我们研究了受约束解释的基本性质。对于溯因理论中的程序是分层的情况，我们建立了相关结果，从而详细描绘了判定受约束解释是否存在这一问题的复杂性。（即将发表于《逻辑编程的理论与实践》(TPLP)。）
引用
@article{arxiv.1405.2494,
title = {A Measure of Arbitrariness in Abductive Explanations},
author = {Luciano Caroprese and Irina Trubitsyna and Miroslaw Truszczynski and Ester Zumpano},
journal= {arXiv preprint arXiv:1405.2494},
year = {2020}
}
备注
25 pages (including appendix)