Intellektik: Technical report 91-01
Assertional Default Theories: A Semantical View
This paper provides a semantical characterization of Brewka's
variant of default logic. The former can be seen as a realization of Poole's
``commitment to assumptions'' as well as Makinson's demand for cumulativity.
Therefore, we present a model theoretic semantics that is subsequently
evaluated and which is shown to provide useful insights into Brewka's
formalism and Poole's and Makinson's notions.