On the relation between default and modal nonmonotonic reasoning

摘要

The notion of a default consequence relation is introduced as a generalization of both default and modal formalizations of nonmonotonic reasoning. It is used to study a general problem of correspondence between these two formalisms.