Reiter’s logic for default reasoning
An extension of a theory can equivalently be defined
- as a fixed point of some operator, or
- as the union of a series of approximations of the extension
Note however that the approximations are defined in terms of the extension itself