RefDoc
Haut

Faire une nouvelle recherche
Make a new search
Lancer la recherche


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 No2, 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

Software engineering

;

Software development

;

Genetic algorithm

;

Search algorithm

;

Theorem proving

;

Automatic proving

;

Mots-clés français / French Keywords

Génie logiciel

;

Développement logiciel

;

Algorithme génétique

;

Algorithme recherche

;

Démonstration théorème

;

Démonstration automatique

;

Mots-clés espagnols / Spanish Keywords

Ingeniería logiciel

;

Desarrollo logicial

;

Algoritmo genético

;

Algoritmo búsqueda

;

Demostración teorema

;

Demostración automática

;

Localisation / Location

INIST-CNRS, Cote INIST : 16343, 35400008452261.0190

Nº notice refdoc (ud4) : 1821851



Faire une nouvelle recherche
Make a new search
Lancer la recherche
Bas