Model-preference default theories

摘要

Most formal theories of default inference have very poor computational properties, and are easily shown to be intractable, or worse, undecidable. We are therefore investigating limited but efficiently computable theories of default reasoning. This paper defines systems of propositional model-preference defaults, which provide a model-theoretic account of default inference with exceptions.