Some variations on default logic
Piotr Rychlik · National Conference on Artificial Intelligence · 1991
In the following paper, we view applying default reasoning as a construction of an argument supporting agent's beliefs. This yields a slight reformulation of the notion of an extension for default theories. The proposed formalism enjoys a property which we call rational maximization of beliefs.