Intellektik: Technical report 91-17
On commitment and cumulativity in default logics
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,
constrained extensions. Hence, instead of extending the first order language,
we impose constraints on nonmonotonic theories.