Updates of Logic Programs

keywords: Multidimensional logic programming, causal rejection principle, Kripke structure
Dynamic aspects of knowledge representation has been tackled recently by a variety of approaches in the logic programming style. We consider the approaches characterized by the causal rejection principle (if there is a conflict between rules, then more preferred rules override those less preferred). A classification and a comparison of the approaches is presented in the paper. We compare them also to our own approach based on Kripke structures.
reference: Vol. 26, 2007, No. 3, pp. 225–238