Updating knowledge bases with disjunctive information (1996) [13 citations — 5 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Zhang96updatingknowledge,author = {Yan Zhang and Norman Y. Foo},
title = {Updating knowledge bases with disjunctive information},
booktitle = {Proceedings of Thirteenth National Conference on Artificial Intelligence (AAAI-96},
year = {1996},
pages = {562--568},
publisher = {AAAI/MIT Press}
}
Years of Citing Articles
Abstract:
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that the conventional minimal change methods, eg. the PMA [11], were generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two different approaches to deal with this problem-- one is called the minimal change with exceptions (the MCE), the other is called the minimal change with maximally disjunctive inclusions (the MCD). The first method is syntax-dependent, while the second is model-based. We show that these two approaches are equivalent for propositional knowledge base updates, and the second method is also appropriate for the first order knowledge base update. We then prove that our new update approaches still satisfy the standard Katsuno and Mendelzon's update postulates. Key words: knowledge base upate, knowledge representation, minimal change,
