Vivid Logic and Directly Skeptical Inheritance

Vivid logic as a nonmonotonic system of partial logic can be used to represent and reason with inheritance nets. We show how both ambiguity-blocking and ambiguity-propagating skeptical inheritance can be modelled in this framework. Furthermore, we discuss possible generalizations of inheritance nets which are straightforward on the basis of vivid logic.