A Canonical Semantics for Structured Argumentation with Priorities

摘要

Due to a proliferation and diversity of approaches to reasoning with prioritized rules, ordinary properties have been introduced recently for characterization and evaluation of the proposed semantics. While ordinary properties are helpful, a fundamental question of whether they are sufficient to identify a common semantics underlining reasoning with priorities remains open. In this paper we address this question by introducing a new simple and intuitive property of inconsistency-resolving and slightly adapting other ordinary properties to show that they together indeed determine an unique canonical attack relation that could be viewed as defining an uniquely defined common semantics for reasoning with prioritized rules.