The University of Sussex

The logic of 'most'

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