Updating logic programs (1998) [39 citations — 6 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Zhang98updatinglogic,author = {Yan Zhang and Norman N. Foo},
title = {Updating logic programs},
booktitle = {Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98},
year = {1998},
pages = {403--407},
publisher = {John Wiley & Sons}
}
Years of Citing Articles
Abstract:
Abstract. It is well known that rule-based knowledge bases are usually realized by logic programs. An update has to be performed to the current knowledge base if some new information occurs. In many applications associated with dynamic domains, however, such new information may occur not only as a set of simple facts but also a set of rules. In this paper, we view knowledge bases as extended logic programs [1] such that defeasible knowledge can be explicitly represented. We then consider the problem of how to update an extended logic program with another extended logic program while the former program represents the current knowledge base and the later one represents the new information that should be added to the current knowledge base. We show how the concept of priority associated with logic programs is employed to achieve our purpose. We also investigate semantical properties of logic program updates in detail.
Citations
| 554 | Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365–385 – Gelfond, Lifschitz - 1991 |
| 134 | Database Updates Through Abduction – Kakas, Mancarella - 1990 |
| 30 | Updating knowledge bases II – Guessoum, Lloyd - 1991 |
| 28 | Answer sets for prioritized logicprograms – Zhang, Foo - 1997 |
| 16 | Towards Generalized Rule-based Updates – Zhang, Foo - 1997 |
| 5 | Coherence approach to logic program revision – Yuan, You - 1998 |
| 1 | Prioritized logic programming: Semantics, computations and applications – Zhang, Foo - 1998 |
