Reiter’s logic for default reasoning
E is an extension of a theory (F, D) if and only if
E = E0 ? E1 ? E2 ? E3 ? ...
where
E0 = F
Ei + 1 = Th(Ei) ? { g | there is an a : b1, b2, ..., bn / g ? D, such that a ? Ei, and for all j: ?bj ? E }
Previous slide
Next slide
Back to first slide
View graphic version