Previous: TR 91-15 Next: TR 91-20

Intellektik: Technical report 91-17

On commitment and cumulativity in default logics

T. Schaub

A cumulative variant of default logic is presented that commits to its assumptions. Despite other approaches to remedy the non--cumulativity and non--commitment of default logic that introduce constrained formulas, we introduce constrained extensions. Hence, instead of extending the first order language, we impose constraints on nonmonotonic theories.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry