Induction, abduction, and consequence-finding

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2157, Issue , 2001, Pages 65-79

  Inoue, Katsumi ^a  

^a KOBE UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

INVERSE PROBLEMS; LOGIC PROGRAMMING;

CONSEQUENCE FINDINGS; DEFINITE CLAUSE; HORN CLAUSE; INTEGRITY CONSTRAINTS; INVERSE ENTAILMENT; RESOLUTION METHODS; SOUND AND COMPLETE;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84937399732     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44797-0_6     Document Type: Conference Paper

References (23)

1. Wray Buntine. Generalized subsumption and its applications to induction and redundancy. Artificial Intelligence, 36:149-176, 1988.
2. P.T. Cox and T. Pietrzykowski. Causes for events: their computation and applications. In: Proceedings of the 8th International Conference on Automated Deduction, LNCS, 230, pages 608-621, Springer, 1986.
3. Luc De Raedt. Logical settings for concept-learning. Artificial Intelligence, 95:187-201, 1997.
4. Alvaro del Val. A new method for consequence finding and compilation in restricted languages. In: Proceedings of AAAI-99, pages 259-264, AAAI Press, 1999.
5. Yannis Dimopoulos and Antonis Kakas. Abduction and inductive learning. In: Luc De Raedt, editor, Advances in Inductive Logic Programming, pages 144-171, IOS Press, 1996.
6. Peter A. Flach and Antonis C. Kakas, editors. Abduction and Induction: Essays on their Relation and Integration. Kluwer, 2000.
7. Koichi Furukawa. On the completion of the most specific hypothesis computation in inverse entailment for mutual recursion. In: Proceedings of Discovery Science '98, LNAI 1532, pages 315-325, Springer, 1998.
8. Éric Grégoire and Lakhdar Saïs. Inductive reasoning is sometimes deductive. In: Proceedings of ECAI-96 Workshop on Abductive and Inductive Reasoning, 1996.
9. Nicolas Helft. Induction as nonmonotonic inference. In: Proceedings of KR'89, pages 149-156, Morgan Kaufmann, 1989
10. Nicolas Helft, Katsumi Inoue and David Poole. Query answering in circumscription. In: Proceedings of IJCAI-91, pages 426-431, 1991.
11. Katsumi Inoue. Linear resolution for consequence finding. Artificial Intelligence, 56:301-353, 1992.
12. Koji Iwanuma, Katsumi Inoue, and Ken Satoh. Completeness of pruning methods for consequence finding procedure SOL. In: Proceedings of the 3rd International Workshop on First-Order Theorem Proving, pages 89-100, 2000.
13. Kurt Konolige. Abduction versus closure in causal theories. Artificial Intelligence, 53:255-272, 1992.
14. Nicolas Lachiche. Abduction and induction from a non-monotonic reasoning perspective. In: [6], pages 107-116.
15. Char-Tung Lee. A completeness theorem and computer program for finding theorems derivable from given axioms. Ph.D. thesis, Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA, 1967.
16. Pierre Marquis. Consequence finding algorithms. In: D. Gabbay and P. Smets, editors, Handbook for Defeasible Reasoning and Uncertain Management Systems, Volume 5, Kluwer, 2000.
17. Stephen Muggleton. Inverse entailment and Progol. New Generation Computing, 13:245-286, 1995.
18. Stephen Muggleton. Completing inverse entailment. In: D. Page, editor, Proceedings of the 8th International Conference on Inductive Logic Programming, LNAI 1446, pages 245-249, Springer, 1998.
19. Stephen Muggleton and Christoper Bryant. Theory completion and inverse entailment. In: J. Cussens and A. Frisch, editors, Proceedings of the 10th International Conference on Inductive Logic Programming, LNAI 1866, pages 130-146, Springer, 2000.
20. Shan-Hwei Nienhuys-Cheng and Ronald de Wolf. Foundations of Inductive Logic Programming. LNAI, 1228, Springer, 1997.
21. Akihiro Yamamoto. Which hypotheses can be found with inverse entailment? In: N. Lavrač and S. Džeroski, editors, Proceedings of the 7th International Workshop on Inductive Logic Programming, LNAI 1297, pages 296-308, Springer, 1997.
22. Akihiro Yamamoto. Using abduction for induction based on bottom generalization. In: [6], pages 267-280.
23. Akihiro Yamamoto and Bertram Fronh?ofer. Hypotheses finding via residue hypotheses with the resolution principle. In: Proceedings of the 11th International Conference on Algorithmic Learning Theory, LNAI 1968, pages 156-165, 2000.