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.

Keywords

Cite this article

@article{cai-1690,
  author  = {Ján Šefránek},
  title   = {Updates of Logic Programs},
  journal = {Computing and Informatics},
  volume  = {26},
  number  = {3},
  pages   = {225--238},
  year    = {2007},
  issn    = {1335-9150},
  url     = {https://cai.type.sk/content/2007/3/updates-of-logic-programs/}
}
Download .bib