Genetic reasoning: Evolutionary induction of mathematical proofs

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

Volumn 1598, Issue , 1999, Pages 221-231

  Nordin, Peter ^a   Eriksson, Anders ^a   Nordahl, Mats ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; C (PROGRAMMING LANGUAGE); GENETIC ALGORITHMS; PROLOG (PROGRAMMING LANGUAGE);

AUTOMATED PROGRAMMING; AUTOMATED REASONING; C LANGUAGE; COMPLEX DOMAINS; HUMAN KNOWLEDGE; MATHEMATICAL PROOF; SEARCH ALGORITHMS;

GENETIC PROGRAMMING;

EID: 84956868756     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48885-5_19     Document Type: Conference Paper

References (17)

1. Banzhaf, W., Nordin, P., Keller R.E., Francone, F.D. (1998) Genetic Programming -An Introduction. Morgan Kauffmann, San Fransisco, and d-punkt, Heidelberg, Germany
2. Bledsoe W. W., (1977) Non-Resolution Theorem Proving, In Artificial Intelligence, Vol. 9, pp 2-3
3. Boyer R.S., Moore J.S. (1979) Proving Teorems about LISP-Functions, In J.ACM, Vol. 22, pp 129-144
4. Boyer R.S., Yu Y. (1992) Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor, In Automated Deduction -CADE-11 Kapur D. (Ed), pp. 416-430
5. Bundy A., (1983) The Computer Modeling of Mathematical Reasoning, Academic Press, London, pp. 74-77
6. James W. (1890) The principles of psychology Vol. 1. Originally published: Henry Holt, New York 1890
7. Koza, J. (1992) Genetic Programming, MIT Press, Cambridge, MA
8. Lowerre, B.T., Reddy, R.D. (1980) The Harpy Speech Understanding System. In Trends in Speech Recognition. Lea, W.A. (Ed.) Englewood Cliffs, Prentice-Hall, New York
9. McCune W.W. (1994) Otter 3.0 Reference Manual and Guide. Argonne National Laboratory, Argonne, USA
10. Newell, A., Shaw J.C., and Simon H. (1957) Empirical Explorations of the Logic Theorem Machine: A case study in Heuristic, in Proceedings of Western Joint Computer Conference Vol. 15
11. Nordin J.P., Banzhaf W. (1995a) Complexity Compression and Evolution, in Proceedings of Sixth International Conference of Genetic Algorithms, Pittsburgh, 1995, L. Eshelman (ed.), Morgan Kaufmann, San Mateo, CA
12. Nordin, J.P., F. Francone, Banzhaf W. (1995b) Explicitly Defined Introns in Genetic Programming. In Advances in Genetic Programming II, (In press) Kim Kinnear, Peter Angeline (Eds.), MIT Press USA
13. Nordin, J.P., Banzhaf W.(1995c) Controlling an Autonomous Robot with Genetic Programming. In Proceedings of: 1996 AAAI fall symposium on Genetic Programming, Cambridge, USA
14. Robinson J.A., (1965) A Machine Oriented Logic Based on the Resolution Principle, In J.ACM, Vol. 12, No. 1, pp. 23-41
15. Rosenblom, P. (1987) Best First Search. In Encyclopedia of Artificial Intelligence, Shapiro, S. (Ed) Vol. 2, Wiley, New York
16. Russel S., Norvig P. (1995) Artificial Intelligence: A modern approach. Prentice-Hall, Inc
17. Winker S., Wos L., (1978) Automated Generation of Models and Counterexamples and its application to Open Questions in Ternary Boolean Algebra, In Proceedings of 8th international symposium Multiple-Valued Logic, Rosemont, Ill., IEEE and ACM, pp. 251-256, New York