Thumbnail
Access Restriction
Open

Author Gelfond, Michael ♦ Lifschitz, Vladimir ♦ Przymusi'Nska, Halina ♦ Truszczynski, Miroslav
Source CiteSeerX
Content type Text
Publisher Morgan Kaufmann
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Standard Default Logic ♦ Sentence Ff ♦ Disjunctive Information ♦ Expressive Power ♦ Improved Treatment ♦ Disjunctive Information Poo89 ♦ Default Theory ♦ Default Logic ♦ Disjunctive Default ♦ Reiter Rei80 ♦ Broken-hand Example ♦ Sentence Fi ♦ New System ♦ Extended Disjunctive Database ♦ Disjunctive Default Logic
Description A generalization of Reiter's default logic is proposed that provides an improved treatment of default reasoning with disjunctive information. The new system --- the disjunctive default logic --- is used in the paper to reexamine 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. 1 INTRODUCTION In this paper we generalize the theory of default reasoning developed by Reiter [Rei80]. The generalization is motivated by a difficulty encountered in attempts to use defaults in the presence of disjunctive information [Poo89]. The difficulty has to do with the difference between a default theory with two extensions --- one containing a sentence ff, the other a sentence fi --- and the theory with a single e...
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1991-01-01