This paper proposes a formalism for nonmonotonic reasoning based on prioritized argumentation. We argue that nonmonotonic reasoning in general can be viewed as selecting monotonic inferences by a simple notion of priority among inference rules. More importantly, these types of constrained inferences can be speci ed in a knowledge representation language where a theory consists of a collection of rules of rst order formulas and a priority among these rules. We recast default reasoning as a form of prioritized argumentation, and illustrate how the parameterized formulation of priority may be used to allow various extensions and modi cations to default reasoning. We also show that it is possible, but more di cult, to express prioritized argumentation by default logic: even some particular forms of prioritized argumentation cannot be represented modularly by defaults under the same language.
You et al. REF define a prioritized argumentative characterization of non-monotonic reasoning, by casting default reasoning as a form of prioritized argumentation.
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
Computer Science