Updates of Logic Programs

Authors

  • Ján Šefránek

Keywords:

multidimensional logic programming, causal rejection principle, Kripke structure

Abstract

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.

Downloads

Download data is not yet available.

Downloads

Published

2012-01-27

How to Cite

Šefránek, J. (2012). Updates of Logic Programs. Computing and Informatics, 26(3), 225–238. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/308