A FRAMEWORK FOR DEFAULT LOGICS

We present a general framework for default logics, which encompasses most of the existing variants of default logic. It allows us to compare those variants from a knowledge representation point of view. We then exploit this framework to generalize Brewka's work on cumulative default logic, and to give an operational definition of extensions. Proof theoretical and semantical aspects are investigated.