Titre du document / Document title
Genetic reasoning : Evolutionary induction of mathematical proofs
Auteur(s) / Author(s)
NORDIN P. (1) ;
ERIKSSON A. (1) ;
NORDAHL M. (1) ;
Affiliation(s) du ou des auteurs / Author(s) Affiliation(s)
(1) Chalmers University of Technology, Department of Physical Resource Theory, 41296, Göteborg, SUEDE
Résumé / 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. arithmetics. We extend our previous research by the implementation of an efficient and stable C-language system in contrast to earlier work in Prolog.
Revue / Journal Title
Lecture notes in computer science
ISSN
0302-9743
Source / Source
Congrès
Genetic programming :
(
Göteborg, 26-27 May 1999
)
EuroGP'99 : European workshop on genetic programming N
o2, Göteborg
, SUEDE
(26/05/1999)
1999
, vol. 1598, pp. 221-231[Note(s) : X, 282 p., ] (17 ref.)
ISBN 3-540-65899-8 ;
Illustration : Illustration
;
Langue / Language
Anglais
Editeur / Publisher
Springer, Berlin, ALLEMAGNE
(1973)
(Revue)
Springer, Berlin, ALLEMAGNE
(1999)
(Monographie)
Mots-clés anglais / English Keywords
;
;
;
;
;
;
Mots-clés français / French Keywords
;
;
;
;
;
;
Mots-clés espagnols / Spanish Keywords
;
;
;
;
;
;
Localisation / Location
INIST-CNRS, Cote INIST : 16343, 35400008452261.0190
Nº notice refdoc (ud4) : 1821851
