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.

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

First Steps Towards Forgetting in ASPIC \(^+\)

  • Hiba Abderrazik,
  • Dragan Doder

摘要

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.