On the dynamics of default reasoning
Grigoris Antoniou · International Journal of Intelligent Systems · 2002
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. © 2002 Wiley Periodicals, Inc.