Previous: TR 90-07 Next: TR 91-02

Intellektik: Technical report 91-01

Assertional Default Theories: A Semantical View

Torsten Schaub

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.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry