ASPIC+中极小性的两种形式
人工智能
2017-02-03 v1 计算机科学中的逻辑
摘要
许多结构化论证系统明确要求，构成某一结论论证的事实和规则必须是推导该结论所需的最小集合。ASPIC+ 不对论证施加此类要求，而是要求作为论证一部分的每条规则和事实都用于其构建中。因此，ASPIC+ 论证是极小的，其意义在于移除论证的任何元素都会导致一个不再是论证的结构。在本短文中，我们讨论这两类极小性，并展示若需要，如何在 ASPIC+ 中恢复第一种极小性。
引用
@article{arxiv.1702.00780,
title = {Two forms of minimality in ASPIC+},
author = {Zimi Li and Andrea Cohen and Simon Parsons},
journal= {arXiv preprint arXiv:1702.00780},
year = {2017}
}