adding default rules to a theory in default logic

hi all,
default logic is a prominent example of a nonmonotonic logic. a
default theory is usually a pair (W, D) where W is a set of formulae
and D a set of default rules. in most systems, the 'new information'
that's being learned that leads to the nonmonotonicity of the system is

always formulae added to or retracted from W. does anyone know of
studies of variants of this logic where D is changed? that is where one

can retract and add new default rules?
thanks. -per

[ comp.ai is moderated ... your article may take a while to appear. ]
.

Relevant Pages

  • revising general rules (nonmon logic)
    ... default logic is a prominent example of a nonmonotonic logic. ... that's being learned that leads to the nonmonotonicity of the system is ... studies of variants of this logic where D is changed? ... can retract and add new default rules? ...
    (sci.logic)
  • adding default rules to a theory in default logic
    ... default logic is a prominent example of a nonmonotonic logic. ... that's being learned that leads to the nonmonotonicity of the system is ... studies of variants of this logic where D is changed? ... can retract and add new default rules? ...
    (sci.logic)