Equivalence in abductive logic

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 472-477

  Inoue, Katsumi ^a   Sakama, Chiaki ^b  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b WAKAYAMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE REASONING; COMPLEXITY RESULTS; DEFAULT THEORY; FIRST ORDER LOGIC; KNOWLEDGE BASE; KNOWLEDGE BASIS; NONMONOTONIC LOGIC; NONMONOTONIC LOGIC PROGRAMS;

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING;

EQUIVALENCE CLASSES;

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

References (24)

1. Jürgen Dix. Default theories of Poole-type and a method for constructing cumulative version of default logic. In: Proceedings of ECAI-92, pages 289-293, 1992.
2. Thomas Eiter and George Gottlob. The complexity of logic-based abduction. J. ACM, 42(1):3-42, 1995.
3. Thomas Eiter, George Gottlob and Nicola Leone. Abduction from logic programs: semantics and complexity. Theoretical Computer Science, 189:129-177, 1998.
4. Thomas Eiter and Kazuhisa Makino. Abduction and the dualization problem. In: Proceedings of the 6th InternationalConference on Discovery Science, LNAI 2843, pages 1-20, Springer, 2003.
5. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
6. George Gottlob. Complexity results for nonmonotonic logics. J. Logic and Computation, 2:397-425, 1992.
7. Katsumi Inoue and Chiaki Sakama. Abductive framework for nonmonotonic theory change. In: Proceedings of IJCAI-95, pages 204-210, Morgan Kaufmann, 1995.
8. Katsumi Inoue and Chiaki Sakama. A fixpoint characterization of abductive logic programs. J. Logic Programming, 27:107-136, 1996.
9. Katsumi Inoue and Chiaki Sakama. Negation as failure in the head. J. Logic Programming, 35(1):39-78, 1998.
10. Katsumi Inoue and Chiaki Sakama. Equivalence of logic programs under updates. In: Proceedings of the9th European Conference on Logics in Artificial Intelligence, LNAI 3229, pages 174-186, Springer, 2004.
11. Katsumi Inoue and Chiaki Sakama. On abductive equivalence. In: Lorenzo Magnani, editor, Model-based Reasoningin Science and Engineering, submitted, 2005.
12. A. C. Kakas, R. A. Kowalski and F. Toni. The role of abduction in logic programming. In: D. M. Gabbay, C. J. Hogger and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5, pages 235-324, Oxford University Press, 1998.
13. Hector J. Levesque. A knowledge-level account of abduction (preliminary version). In: Proceedings of IJCAI-89, pages 1061-1067, Morgan Kaufmann, 1989.
14. Vladimir Lifschitz, David Pearce and Agustín Valverde.Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2:526-541, 2001.
15. V. Wiktor Marek, Jan Treur and Mirosław Truszczyński. Representation theory for default logic. Annals of Mathematics and Artificial Intelligence, 21:343-358, 1997.
16. Emilia Oikarinen and Tomi Janhunen. Verifying the equivalence of logic programs in the disjunctive case. In: Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LNAI 2923, pages 180-193, Springer, 2004.
17. David Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988.
18. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
19. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:571-95, 1987.
20. Chiaki Sakama and Katsumi Inoue. The effect of partial deduction in abductive reasoning. In: Proceedings of the 12th International Conference on Logic Programming, pages 383-397, MIT Press, 1995.
21. Ken Satoh and Noboru Iwayama. Computing abduction by using the TMS. In: Proceedings of the 8th International Conference on Logic Programming, pages 505-518, MIT Press, 1991.
22. Bart Selman and Hector J. Levesque. Support set selection for abductive and default reasoning. Artificial Intelligence, 82(1-2):259-272, 1996.
23. Hisao Tamaki and Taisuke Sato. Unfold/fold transformation of logic programs. In: Proceedings of the 2nd International Conference on Logic Programming, pages 127-138, Uppsala University, Uppsala, Sweden, 1984.
24. Stefan Woltran. Characterizations for relativized notions of equivalence in answer set programming. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, LNAI 3229, pages 161-173, Springer, 2004.