Equivalence Issues in Abduction and Induction
Chiaki Sakama and Katsumi Inoue
Journal of Applied Logic, 7(3):318-328, Elsevier
This paper discusses several equivalence issues in abduction and induction.
Three different problems: equivalence of theories, equivalence of explanations,
equivalence of observations are considered in the context of first-order logic and nonmonotonic
Necessary and sufficient conditions for those problems, and computational
complexity results are provided.
These equivalence measures provide methods for comparing different abductive or inductive theories,
and also state conditions for optimizing those theories in program development.
Full Paper (PDF 232K)