Defeasible Argumentation in Nonmonotonic Reasoning: Examples and Applications.

摘要

The paper attempts to demonstrate the wide variety of characteristic properties of defeasible argumentation, of which nonmonotonicity is one. To do so, the authors introduce a simple formalism, called abstract argumentation system, with which they discuss different methods for raising arguments: forward reasoning, backward reasoning and, in particular, combinations thereof. Resource bounded defeasible reasoning is also briefly dealt with. The main goal of the paper, however, is to provide the evidence that the notion of abstract argumentation system is a realistic account of defeasible reasoning. Apart from the aforementioned applications, this will be shown by means of presenting various examples.