Comparing Abductive Theories

Authors:
Katsumi Inoue;Chiaki Sakama
Affiliations:
National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan. email: ki@nii.ac.jp;Wakayama University, Sakaedani, Wakayama 640-8510, Japan. email: sakama@sys.wakayama-u.ac.jp
Venue:
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Year:
2008

Citing 10
Cited 1

A logical framework for default reasoning

Artificial Intelligence
Abduction from logic program: semantics and complexity

Theoretical Computer Science
Strongly equivalent logic programs

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Foundations of Inductive Logic Programming

Foundations of Inductive Logic Programming
Model Checking for Nonmonotonic Logics: Algorithms and Complexity

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Generality and equivalence relations in default logic

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Facts do not cease to exist because they are ignored: relativised uniform equivalence with answer-set projection

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
On solution correspondences in answer-set programming

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Equivalence in abductive logic

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Generality relations in answer set programming

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Exploring relations between answer set programs

Logic programming, knowledge representation, and nonmonotonic reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces two methods for comparing explanation power of different abductive theories. One is comparing for observations, and the other is comparing explanation content for observations. Those two measures are represented by generality relations over abductive theories. The generality relations are naturally related to the notion of abductive equivalence introduced by Inoue and Sakama. We also analyze the computational complexity of these relations.