Genetic Reasoning: Evolutionary Induction of Mathematical Proofs
Created by W.Langdon from
gp-bibliography.bib Revision:1.8081
- @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