Genetic Reasoning: Evolutionary Induction of Mathematical Proofs

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

  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",
  URL =          "",
  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