非平坦假设依据论证与以否定为失败为逻辑程序头的对应性
人工智能
2024-08-14 v3
摘要
假设依据论证 (ABA) 与逻辑程序 (LP) 在稳定模型语义下的关系已为人所熟知。然而，要获得这一关系，ABA 框架需要限制为平坦，即假设（不可逆）只能被假设为真或假，不能被推导。本文消除这一限制，展示了非平坦 ABA 与以否定为失败为逻辑程序头的对应性。我们随后将此结果扩展到所谓的集合稳定 ABA 语义，该语义最初定义于被称为双极 ABA 的非平坦 ABA 的片段中。我们展示了如何为具有否定为失败逻辑程序头定义集合稳定语义，并显示其与集合稳定 ABA 语义的对应性。
引用
@article{arxiv.2405.09415,
title = {On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head},
author = {Anna Rapberger and Markus Ulbricht and Francesca Toni},
journal= {arXiv preprint arXiv:2405.09415},
year = {2024}
}