Dynamic updates of non-monotonic knowledge bases

@article{Alferes2000DynamicUO,
  title={Dynamic updates of non-monotonic knowledge bases},
  author={Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Leite and Lu{\'i}s Moniz Pereira and Halina Przymusinska and Teodor C. Przymusinski},
  journal={J. Log. Program.},
  year={2000},
  volume={45},
  pages={43-70}
}
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads. We start by introducing the notion of an update P U of one logic program P by another logic program U. Subsequently, we provide a precise semantic characterization of P U , and study some basic properties of program updates. In particular, we show that our… CONTINUE READING
Highly Influential
This paper has highly influenced 23 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS