When to prove theorems by analogy?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1137, Issue , 1996, Pages 259-271

  Melis, Erica ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY;

COMPUTATIONAL SYSTEM;

THEOREM PROVING;

EID: 84958546642     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61708-6_66     Document Type: Conference Paper

References (22)

1. R.S. Boyer and J.S. Moore. A Computational Logic Handbook. Academic Press, San Diego, 1988.
2. A. Bundy, Stevens A, P. Van Harmelen, A. Ireland, and A. Smaill. A heuristic for guiding inductive proofs. Artificial Intelligence, 63:185-253, 1993.
3. A. Bundy, P. van Harmelen, J. Hesketh, and A. Smaill. Experiments with proof plans for induction. Journal of Automated Reasoning, 7:303-324, 1991.
4. J.G. Carbonell. Derivational analogy: A theory of reconstructive problem solving and expertise acquisition. In R.S. Michalsky, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach, pages 371-392. Morgan Kaufmann Publ., Los Altos, 1986.
5. X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts, and J. Siekmann. Omega-MKRP: A Proof Development Environment. In Proc. 12th International Conference on Automated Deduction (CADE), Nancy, 1994.
6. D. Hutter. Guiding inductive proofs. In M.E. Stickel, editor, Proc. of 10th International Conference on Automated Deduction (CADE), volume Lecture Notes in Artificial Intelligence 449. Springer, 1990.
7. A. Ireland and A. Bundy. Productive use of failure in inductive proof. Technical report, Department of AI Edinburgh, 1994. Available from Edinburgh as DAI Research Paper 716.
8. R.E. Kling. A paradigm for reasoning by analogy. Artificial Intelligence, 2:147178, 1971.
9. Th. Kolbe and Ch. Walther. Reusing proofs. In Proceedings of ECAI-94, Amsterdam, 1994.
10. J Laird, A. Newell, and P. Rosenbloom. SOAR: an architecture for general intelligence. Artificial Intelligence, 33(1):1-64, 1987.
11. W.W. McCune. Otter 2.0 users guide. Technical Report ANL-90/9, Argonne National Laboratory, Maths and CS Division, Argonne, Illinois, 1990.
12. E. Melis. Analogy in CLAM. Technical Report DAI Research Paper No 766, University of Edinburgh, AI Dept, Dept, of Artificial Intelligence, Edinburgh, 1995. available from http://jswww.cs.uni-sb.de/ melis/.
13. E. Melis. A model of analogy-driven proof-plan construction. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 182-189, Montreal, 1995.
14. E. Melis. Theorem proving by analogy - a compelling example. In C.Pinto-Ferreira and N.J. Mamede, editors, Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA’95, Lecture Notes in Artificial Intelligence, 990, pages 261-272, Madeira, 1995. Springer.
15. E. Melis and J. Whittle. Internal analogy in inductive theorem proving. In Proceedings of the 13th Conference on Automated Deduction (CADE-96), LNAI, Berlin, New York, 1996. Springer, also published as DAI Research Paper 803.
16. T.M. Mitchell, R.M. Keller, and S.T. Kedar-Cabelli. Explanation-based generalization: A unifying view. Machine Learning, 1:47-80, 1986.
17. B. Nebel and J. Koehler. Plan reuse versus plan generation, a theoretical and empirical analysis. Artificial Intelligence, 1995. Special Issue on Planning and Scheduling.
18. S. Owen. Analogy for Automated Reasoning. Academic Press, 1990.
19. G. Polya. How to Solve it. 2nd ed. Doubleday, New York, 1957.
20. W. Reif and K. Stenzel. Reuse of proofs in software verification. In R.K. Shyama- sundar, editor, Proc. 13th Conference on Foundations of Software Technology and Theoretical Computer Science, volume 761 of LNCS. Springer, 1993.
21. K. VanLehn and R.M. Jones. Better learners use analogical problem solving sparingly. In Proceedings of the Tenth International Conference on Machine Learning, pages 338-345, Amherst, MA, 1993. Morgan Kaufmann.
22. M.M. Veloso. Planning and Learning by Analogical Reasoning. Springer, Berlin, New York, 1994.