Disjunctive Defaults (1991)
Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska and Miroslaw Truszczynski
A generalization of Reiter's default logic is proposed that provides an improved treat ment of default reasoning with disjunctive in formation. The new system --- the disjunctive default logic --- is used in the paper to reex amine the ``broken-hand'' example of Poole. We also compare the expressive power of this approach with two other approaches which interpret disjunctive information within the standard default logic. Finally, we show that our semantics of disjunctive default logic is a generalization of the semantics of disjunctive and extended disjunctive databases.
In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), Allen, James and Fikes, Richard and Sandewall, Erik (Eds.), pp. 230-237 1991.

Vladimir Lifschitz Faculty vl [at] cs utexas edu