| Title: |
First Steps Towards Forgetting in ASPIC+ |
| Authors: |
Abderrazik, Hiba; Doder, Dragan; Sub Intelligent Systems; Sauerwald, Kai; Thimm, Matthias |
| Publication Year: |
2025 |
| Subject Terms: |
Taverne; Theoretical Computer Science; General Computer Science |
| Description: |
Forgetting is a method used in several formalisms of knowledge representation and reasoning, which removes some elements from a framework while preserving the rest of the framework as much as possible. This paper investigates the process of forgetting in ASPIC+, a structured argumentation framework. We explore possible effects of forgetting operators on several levels, namely: effects on (1) the underlying language, (2) arguments and their conclusions, and (3) the justification statuses of arguments’ conclusions. We define the desired behaviour for forgetting formulas in a variant of ASPIC+, drawing from both practical considerations and existing research on forgetting in other frameworks. Furthermore, for a specific modification of the standard ASPIC+ framework, we managed to define two concrete forgetting operators, and evaluate them against the set of desiderata. |
| Document Type: |
book part |
| File Description: |
application/pdf |
| Language: |
English |
| ISSN: |
0302-9743 |
| Relation: |
https://dspace.library.uu.nl/handle/1874/483181 |
| Availability: |
https://dspace.library.uu.nl/handle/1874/483181 |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.A59058E4 |
| Database: |
BASE |