Détail de la notice
Titre du Document
Genetic reasoning : Evolutionary induction of mathematical proofs
Auteur(s)
NORDIN P. ; ERIKSSON A. ; NORDAHL M. ; ...
Résumé
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. arithmetics. We extend our previous research by the implementation of an efficient and stable C-language system in contrast to earlier work in Prolog.
Editeur
Springer
Type du document
Conférence : EuroGP'99 : European workshop on genetic programming, 2, Göteborg, SWE, 1999-05-26
Identifiant
ISSN : 0302-9743 ISBN : 3-540-65899-8
Source
Lecture notes in computer science A. 1999, vol. 1598, pp. 221-231 [bibl. : 17 ref.]
Langue
Anglais
Pour les membres de la communauté du CNRS, ce document est autorisé à la reproduction à titre gratuit.
Pour les membres des communautés hors CNRS, la reproduction de ce document à titre onéreux sera fournie sous réserve d’autorisation du Centre Français d’exploitation du droit de Copie.

Pour bénéficier de nos services (strictement destinés aux membres de la communauté CNRS (Centre National de la Recherche Scientifique), de l'ESR français (Enseignement Supérieur et Recherche), et du secteur public français & étranger) :