In their daily use arguments are usually not completely enunciated. That is, we often rely on implicit parts, for example, unstated premises, sometimes referred to as enthymemes. Completions of partially stated arguments can favor knowledge engineering processes, where the workload of an engineer can be reduced by suggesting such completions. In this work, we focus on an integral aspect of completing arguments: valid argument structure of a completion. We phrase our results in the formal model of assumption-based argumentation (ABA). Based on an alternative characterization of tree-based arguments in ABA, we provide a declarative approach to compute completions of partial arguments in answer set programming (ASP), including the possibility of preferential reasoning in completions. We empirically evaluate a resulting prototype.

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

Completing Structured Arguments in Assumption-Based Argumentation

  • Andrei Popescu,
  • Johannes P. Wallner

摘要

In their daily use arguments are usually not completely enunciated. That is, we often rely on implicit parts, for example, unstated premises, sometimes referred to as enthymemes. Completions of partially stated arguments can favor knowledge engineering processes, where the workload of an engineer can be reduced by suggesting such completions. In this work, we focus on an integral aspect of completing arguments: valid argument structure of a completion. We phrase our results in the formal model of assumption-based argumentation (ABA). Based on an alternative characterization of tree-based arguments in ABA, we provide a declarative approach to compute completions of partial arguments in answer set programming (ASP), including the possibility of preferential reasoning in completions. We empirically evaluate a resulting prototype.