Proceedings of the eleventh international conference on Logic programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
On the semantics of knowledge update
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A framework for declarative update specifications in logic programs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
ACM Transactions on Computational Logic (TOCL)
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
Nested epistemic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
| Hi-index | 0.00 |
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be explicitly expressed. We propose a formulation for epistemic logic program updates based on a principle called minimal change and maximal coherence. The central feature of our approach is that during an update procedure, contradictory information is removed on a basis of minimal change under the semantics of epistemic logic programs and then coherent information is maximally retained in the update result. By using our approach, we can characterize an update result in both semantic and syntactic forms. We show that our approach handles update sequences and satisfies the consistency requirement. We also investigate important semantic properties of our update approach such as reduction, persistence and preservation.