| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4663279 | Journal of Applied Logic | 2009 | 11 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Chiaki Sakama, Katsumi Inoue,