Axiomatic Aspects of Default Inference

Guo-Qiang Zhang

This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical structures for reasoning about partial information…