Abstract
The purpose of this paper is to show that we can consider an extension of a Reiter's default theory (W,Δ) as the expansion of the (belief) set W by some maximal set D of consequences of defaults in Δ. We will use the model of revision functions proposed by Grove [13] to characterize the models of the extensions in Reiter's default logic [24], showing that the class of models we obtain in the special case when a revision is an expansion (i.e., a new sentence A is added to a belief set K and no sentence in K is deleted), is the class of models of some extension in Reiter's default logic. Furthermore, we will show that the class of models in Poole's system for default reasoning can be characterized in the same way.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
