1 research outputs found
Comparative Study of View Update Algorithms in Rational Choice Theory
The dynamics of belief and knowledge is one of the major components of any
autonomous system that should be able to incorporate new pieces of information.
We show that knowledge base dynamics has interesting connection with kernel
change via hitting set and abduction. The approach extends and integrates
standard techniques for efficient query answering and integrity checking. The
generation of hitting set is carried out through a hyper tableaux calculus and
magic set that is focused on the goal of minimality. Many different view update
algorithms have been proposed in the literature to address this problem. The
present paper provides a comparative study of view update algorithms in
rational approach.Comment: http://link.springer.com/article/10.1007/s10489-014-0580-7. arXiv
admin note: substantial text overlap with arXiv:1407.3512, arXiv:1301.515