Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default theory are made. This paper studies the dynamic behavior of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.
|Number of pages||13|
|Journal||International Journal of Intelligent Systems|
|Early online date||22 Nov 2002|
|Publication status||Published - 1 Dec 2002|