Equivalence issues in abduction and induction

Chiaki Sakama,Katsumi Inoue

doi:10.1016/j.jal.2008.10.006

Equivalence issues in abduction and induction

Chiaki Sakama, Katsumi Inoue

Open Access

https://doi.org/10.1016/j.jal.2008.10.006

Copy DOI

Journal: Journal of Applied Logic	Publication Date: Nov 6, 2008
Citations: 6	License type: elsevier-specific: oa user license

Affiliation: Wakayama University, National Institute of Informatics

#Nonmonotonic Logic Programming #Inductive Theories + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

This paper discusses several equivalence issues in abduction and induction. Three different problems: equivalence of theories, equivalence of explanations, and equivalence of observations are considered in the context of first-order logic and nonmonotonic logic programming. 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 Text