In this paper we investigate forgetting notions in general, possibly non-flat assumption-based argumentation (ABA) frameworks. Research on forgetting is driven by desiderata the operators should adhere to. We consider two forgetting desiderata, called persistence and elimination and study under which ABA semantics they can be satisfied. Striving to keep our study as generic as possible, we derive our results in an abstract argumentation formalism called bipolar SETAFs (BSAFs) which capture non-flat ABA. Thereby, we consider different sub-classes which results in a broad study of the matter. Due to the close correspondence between ABA and BSAFs, we can transfer our findings to non-flat ABA. Our investigation reveals that in most cases, persistence cannot be satisfied by any forgetting operator, while elimination can be achieved most of the time.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Forgetting in Assumption-Based Argumentation

  • Matti Berthold,
  • Markus Ulbricht

摘要

In this paper we investigate forgetting notions in general, possibly non-flat assumption-based argumentation (ABA) frameworks. Research on forgetting is driven by desiderata the operators should adhere to. We consider two forgetting desiderata, called persistence and elimination and study under which ABA semantics they can be satisfied. Striving to keep our study as generic as possible, we derive our results in an abstract argumentation formalism called bipolar SETAFs (BSAFs) which capture non-flat ABA. Thereby, we consider different sub-classes which results in a broad study of the matter. Due to the close correspondence between ABA and BSAFs, we can transfer our findings to non-flat ABA. Our investigation reveals that in most cases, persistence cannot be satisfied by any forgetting operator, while elimination can be achieved most of the time.