Default Reasoning Using Classical Logic

  title={Default Reasoning Using Classical Logic},
  author={Rachel Ben-Eliyahu-Zohary and Rina Dechter},
  journal={Artif. Intell.},
In this paper we show how propositional default theories can be characterized by classical propositional theories: for each nite default theory, we show a classical propositional theory such that there is a one-to-one correspondence between models for the latter and extensions of the former. This means that computing extensions and answering queries about coherence, set-membership and set-entailment are reducible to propositional satis ability. The general transformation is exponential but… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 34 references

A completeness theorem and a Computer Program for nding theorems derivable from given axioms

  • Char-Tung Lee
  • PhD thesis,
  • 1967
Highly Influential
3 Excerpts

Nonmonotonic reasoning in classical logic

  • Rachel Ben-Eliyahu
  • PhD thesis,
  • 1993

Similar Papers

Loading similar papers…