Embedding Default Logic in Propositional Argumentation Systems

07/16/2002
by   Dritan Berzati, et al.
0

In this paper we present a transformation of finite propositional default theories into so-called propositional argumentation systems. This transformation allows to characterize all notions of Reiter's default logic in the framework of argumentation systems. As a consequence, computing extensions, or determining wether a given formula belongs to one extension or all extensions can be answered without leaving the field of classical propositional logic. The transformation proposed is linear in the number of defaults.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset