Minimal change and maximal coherence for epistemic logic program updates

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 112-117

  Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONSISTENCY REQUIREMENTS; EPISTEMIC LOGIC PROGRAMS; KNOWLEDGE BASIS; MAXIMAL COHERENCE; NONMONOTONIC; SEMANTIC PROPERTIES;

ARTIFICIAL INTELLIGENCE; SEMANTICS;

LOGIC PROGRAMMING;

EID: 33646028162     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. J. Alferes and et ah Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45 (1 -2):43-70,2000.
2. C. Baral and Y. Zhang. On the semantics of knowledge update. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), pages 97-102. Morgan Kaufmann Publishers, Inc., 2001.
3. T Eiter and et al. A framework for declarative update specification in logic programs. In Proceedings of lJCAI-Ol, pages 649-654, 2001.
4. T. Eiter and et al. On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming, 2:711-767, 2002. (Pubitemid 135712036)
5. M. Gelfond. Logic programming and reasoning with incomplete information. Annals of Mathematics and Artificial Intelligence, 12:98-116, 1994.
6. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of of KR-91, pages 387-394, 1991.
7. V. Lifschitz and H. Turner. Splitting a logic program. In Proceedings of Eleventh International Conference on Logic Programming, pages 23-37. MIT Press, 1994.
8. J. Lobo, G. Mendez, and S.R. Taylor. Knowledge and the action description language -I. Theory and Practice of Logic Programming, 1:129-184, 2001.
9. C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Proceedings of LPNMR'99, pages 147-161. LNAI, Vol 1730, Springer, 1999.
10. R. Watson. A splitting set theorem for epistemic specifications. In Proceedings of NMR 2000, 2000.
11. M. Winslett. Reasoning about action using a possible models approach. In Proceedings of AAAI-88, pages 89-93, 1988.
12. Y. Zhang and N.Y. Foo. Updating logic programs. In Proceedings of ECAl-98, pages 403-407. John Wiley & Sons, Inc., 1998.
13. Y. Zhang. Minimal change and maximal coherence for epistemic logic program updates. In Manuscript, 2003.