|
|
Allan Ramsay
Most current AI approaches to default reasoning either have no underlying semantic theory, or depend on a semantics which is far removed from our intuitions about the nature of defaults. The author proposes a language for expressing default rules, and a proof theory for applying them, for which we can give an intuitively reasonable semantics.
This paper is not available online