Hypothesis finding based on upward refinement of residue hypotheses

Theoretical Computer Science

Volumn 298, Issue 1, 2003, Pages 5-19

  Yamamoto, Akihiro ^a  

^a HOKKAIDO UNIVERSITY   (Japan)

Author keywords

Abductive inference; Clausal logic; Hypothesis finding; Inductive inference; Inductive logic programming

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; KNOWLEDGE ENGINEERING; LOGIC PROGRAMMING; PROBLEM SOLVING;

INDUCTIVE INFERENCE;

COMPUTER SCIENCE;

EID: 0037418711     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00416-4     Document Type: Article

References (25)

1. Arikawa S., Shinohara T., Yamamoto A. Learning elementary formal systems. Theoret. Comput. Sci. 95(1):1992;97-113.
2. Arimura H., Yamamoto A. Inductive logic programming. From logic of discovery to machine learning IEICE Trans. Inform. Systems. E83-D(1):2000;10-18.
3. Bibel W. Deduction: Automated Logic. 1993;Academic Press, New York.
4. Chang C.-L., Lee R.C.-T. Symbolic Logic and Mechanical Theorem Proving. 1973;Academic Press, New York.
5. B. Fronhöfer, A. Yamamoto, Relevant hypotheses as a generalization of the bottom method, in: Proc. Joint Workshop of SIG-FAI and SIG-KBS, SIG-FAI/KBS-9902, JSAI, Tokyo, 1999, pp. 89-96.
6. B. Fronhöfer, A. Yamamoto, Minimised Residue Hypotheses in Relevant Logic, Proceedings of 13th Internat. Conference on Algorithmic Learning Theory, to appear.
7. Inoue K. Linear resolution for consequence finding. Artif. Intell. 56:1992;301-353.
8. Laird P.D. Learning from Good and Bad Data. 1988;Kluwer Academic Publishers, Dordrecht.
9. R.C.T. Lee, A completeness theorem and computer program for finding theorems derivable from given axioms, Ph.D. Thesis, University of California, Berkeley, 1967.
10. A. Leitsch, The Resolution Calculus, The Resolution Calculus, 1997.
11. Muggleton S. Inverse entailment and progol. New Generation Comput. 13:1995;245-286.
12. Papadimitriou C.H. Computational Complexity. 1993;Addison-Wesley, Reading, MA.
13. G.D. Plotkin, A further note on inductive generalization, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence, Vol. 6, Edinburgh University Press, Edinburgh, 1971, pp. 101-124.
14. Poole D., Goebel R., Aleliunas R. Theorist: a logical reasoning system for defaults and diagnosis. Cercone N., McCalla G. The Knowledge Frontier: Essays in the Representation of Knowledge. 1987;331-352 Springer, Berlin.
15. Rouveirol C. Extensions of inversion of resolution applied to theory completion. Muggleton S. Inductive Logic Programming. 1992;63-92 Academic Press, New York.
16. T. Sato, S. Akiba, Inductive resolution. in: Proc. Fourth Internat. Workshop on Inductive Logic Programming, Lecture Notes in Artifical Intelligence, Vol. 744, Springer, Berlin, 1993, pp. 101-110.
17. E.Y. Shapiro, Inductive inference of theories from facts, Research Report, 192, Yale University, 1981. Reprinted in J.-L. Lassez, G. Plotkin (Eds.), Computational Logic, The MIT Press, Cambridge, MA, 1991, pp. 199-254.
18. Smullyan R.M. Theory of Formal Systems. 1961;Princeton University Press, Princeton, NJ.
19. A. Yamamoto, Representing inductive inference with SOLD-resolution, in: Proc. IJCAI'97 Workshop on Abduction and Induction in AI, Nagoya, 1997, pp. 59-63.
20. A. Yamamoto, Which hypotheses can be found with inverse entailment?, in: Proc. Seventh Internat. Workshop on Inductive Logic Programming, Lecture Notes in Artifical Intelligence, Vol. 1297, Springer, Berlin, 1997, pp. 296-308; The extended abstract is in Proc. IJCAI'97 Workshop on Frontiers of Inductive Logic Programming, Nagoya, 1997, pp. 19-23.
21. A. Yamamoto, Which hypotheses can be found with inverse entailment?, in: Proc. Seventh Internat. Workshop on Inductive Logic Programming, Lecture Notes in Artifical Intelligence, Vol. 1297, Springer, Berlin, 1997, pp. 296-308; The extended abstract is in Proc. IJCAI'97 Workshop on Frontiers of Inductive Logic Programming, Nagoya, 1997, pp. 19-23.
22. A. Yamamoto, Logical aspects of several bottom-up fittings, in: Proc. Ninth Internat. Conference on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence, Vol. 1501, Springer, Berlin, 1998, pp. 158-168.
23. Yamamoto A. An inference method for the complete inverse of relative subsumption. New Generation Comput. 17(1):1999;99-117.
24. Yamamoto A. Revising the logical foundations of inductive logic programming systems with ground reduced programs. New Generation Comput. 17(1):1999;119-127.
25. A. Yamamoto, B. Fronhöfer, Hypothesis finding via residue hypotheses with the resolution principle, in: Proc. 11th Internat. Conference on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence, Vol. 1968, Springer, Berlin, 2000, pp. 156-165.