Homogenousness and Specificity

Abstract

We interpret homogenousness as a second order property and base it on the same principle as nonmonotonic logic: there might be a small set of exceptions. We use this idea to analyse fundamental questions about defeasible inheritance systems. In an appendix, we discuss the concept of the core of a (model) set.