AN ARGUMENT‐BASED APPROACH TO NONMONOTONIC REASONING*
Fangzhen Lin · Computational Intelligence · 1993
We define an argument system to be a pair consisting of a set of inference rules and a set of completeness conditions. Inference rules are used to build arguments. Completeness conditions are used to define argument structures, which are sets of arguments supporting belief sets. We reformulate Reiter's default logic as special argument systems. This enables us, among other things, to apply the negation‐as‐failure rule to general default theories. We also speculate on some other potential uses of our argument systems.