Genetic Reasoning: Evolutionary Induction of Mathematical Proofs

Created by W.Langdon from gp-bibliography.bib Revision:1.7615

@InProceedings{nordin:1999:greimp,

• author = "Peter Nordin and Anders Eriksson and Mats Nordahl",
• title = "Genetic Reasoning: Evolutionary Induction of Mathematical Proofs",
• booktitle = "Genetic Programming, Proceedings of EuroGP'99",
• year = "1999",
• editor = "Riccardo Poli and Peter Nordin and William B. Langdon and Terence C. Fogarty",
• volume = "1598",
• series = "LNCS",
• pages = "221--231",
• address = "Goteborg, Sweden",
• publisher_address = "Berlin",
• month = "26-27 " # may,
• organisation = "EvoNet",
• publisher = "Springer-Verlag",
• keywords = "genetic algorithms, genetic programming: Poster",
• ISBN = "3-540-65899-8",
• DOI = "doi:10.1007/3-540-48885-5_19",
• abstract = "Most automated reasoning systems rely on human knowledge or heuristics to guide the reasoning or search for proofs. We have evaluated the use of a powerful general search algorithm to search in the space of mathematical proofs. In our approach, automated reasoning is seen as an instance of automated programming where the proof is seen as a program (of functions corresponding to rules of inference) which transforms a statement into an axiom. We use genetic programming as the general technique for automated programming. We show that such a system can be used to evolve mathematical proofs in complex domains, i.e. arithmetic. We extend our previous research by the implementation of an efficient and stable C-language system in contrast to earlier work in Prolog.",
• notes = "EuroGP'99, part of \cite{poli:1999:GP}",

}

Genetic Programming entries for Peter Nordin Anders Eriksson Mats G Nordahl

Citations