Solving logic program conflict through strong and weak forgettings

Artificial Intelligence

Volumn 170, Issue 8-9, 2006, Pages 739-778

  Zhang, Yan ^a   Foo, Norman Y ^b  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Answer set semantics; Computational complexity; Conflict solving; Knowledge representation; Logic program update

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING; SET THEORY;

ANSWER SET SEMANTICS; CONFLICT SOLVING; LOGIC PROGRAM UPDATE;

LOGIC PROGRAMMING;

EID: 33646108847     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2006.02.002     Document Type: Article

References (28)

1. Apt K.R., Blair H.A., and Walker A. Towards a theory of declarative knowledge. In: Minker J. (Ed). Foundations of Deductive Database and Logic Programming (1988), Morgan Kaufmann 293-322
2. J.J. Alferes, J.A. Leite, L.M. Pereira, et al., Dynamic logic programming, in: Proceedings of KR-98, 1998, pp. 98-111
3. Baral C. Knowledge Representation, Reasoning and Declarative Problem Solving (2002), Cambridge University
4. Brass S., and Dix J. A general framework for semantics of disjunctive logic programs based on partial evaluation. Journal of Logic Programming 38 3 (1998) 167-213
5. Eiter T., Fink M., Sabbatini G., and Tompits H. On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming 2 (2002) 711-767
6. Eiter T., Fink M., Sabbatini G., and Tompits H. Reasoning about evolving nonmonotonic knowledge base. ACM Transaction on Computational Logic 6 (2005) 389-440
7. Gelfond M., and Lifschitz V. The stable model semantics for logic programming. Proceedings of the International Conference on Logic Programming (1988), The MIT Press 1070-1080
8. K. Inoue, A simple characterization of extended abduction, in: Proceedings of the First International Conference on Computational Logic (CL-2000), 2000, pp. 718-732
9. K. Inoue, C. Sakama, Update of equivalence of logic programs, in: Proceedings of JELIA 2004, 2004
10. S. Konieczny, R. Pino Pérez, On the logic of merging, in: Proceedings of the 6th International Conference on Knowledge Representation and Reasoning (KR-98), 1998, pp. 488-498
11. Konieczny S., and Pino Pérez R. Propositional belief base merging or how to merge beliefs/goal coming from several sources and some links with social choice theory. European Journal of Operational Research 160 3 (2005) 785-802
12. Kunen K. Signed data dependencies in logic programs. Journal of Logic Programming 7 3 (1989) 231-245
13. Lang J., and Marquis P. Resolving inconsistencies by variable forgetting. Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-2002) (2002), Morgan Kaufmann Publishers 239-250
14. Lang J., Liberatore P., and Marquis P. Propositional independence-Formula-variable independence and forgetting. Journal of Artificial Intelligence Research 18 (2003) 391-443
15. Leite J.A. Evolving Knowledge Bases: Specification and Semantics (2003), IOS Press
16. Liberatore P., and Schaerf M. A system for the integration of knowledge bases. Proceedings of the 7th International Conference on Knowledge Representation and Reasoning (KR-2000) (2000), Morgan Kaufmann Publishers 145-152
17. Lifschitz V., Pearce D., and Valverde A. Strongly equivalent logic programs. ACM Transactions on Computational Logic 2 4 (2001) 426-541
18. F. Lin, R. Reiter, Forget it!, in: Working Notes of AAAI Fall Symposium on Relevance, 1994, pp. 154-159
19. Lin F. On the strongest necessary and weakest sufficient conditions. Artificial Intelligence 128 (2001) 143-159
20. F. Lin, Y. Chen, Discovering classes of strongly equivalent logic programs, in: Proceedings of IJCAI-2005, 2005
21. Papadimitriou C.H. Computational Complexity (1995), Addison Wesley
22. C. Sakama, K. Inoue, Updating extended logic programs through abduction, in: Proceedings of LPNMR'99, 1999, pp. 2-17
23. Sakama C., and Seki H. Partial deduction in disjunctive logic programming. Journal of Logic Programming 32 3 (1997) 229-245
24. Su K., Lv G., and Zhang Y. Reasoning about knowledge by variable forgetting. Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-2004) (2004), Morgan Kaufmann Publishers 576-586
25. You J.-H., and Yuan L. A three-valued semantics for deductive databases and logic programs. Journal of Computer and System Sciences 49 2 (1994) 334-361
26. Zhang Y. Two results for prioritized logic programming. Theory and Practice of Logic Programming 3 2 (2003) 223-242
27. Y. Zhang, N. Foo, Updating logic programs, in: Proceedings of ECAI-1998, 1998, pp. 403-407
28. Zhang Y. Logic program based updates. ACM Transaction on Computational Logic, submitted for publication (2006). http://www.acm.org/pubs/tocl/accepted.html