View Related Documents

Abstract

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligmanrsquos logic of information flow. We show that, taking P.M. Dungrsquos characterization of argument systems, a local logic over states of a deliberation may be constructed. In this structure, the key feature of non-monotonicity of commonsense reasoning obtains as the transition from one local logic to another, due to a change in certain background conditions. Each of Dungrsquos extensions of argument systems leads to a corresponding ordering of background conditions. The relations among extensions becomes a relation among partial orderings of background conditions. This introduces a conceptual innovation in Barwise and Seligmanrsquos representation of commonsense reasoning.

Keywords  Defeasible argumentation - local logics - non-monotonicity

Fulltext Preview

Image of the first page of the fulltext document