Rezumat articol ediţie STUDIA UNIVERSITATIS BABEÅž-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.2 din 1999  
         
  Articol:   AN EVOLUTIONARY ALGORITHM FOR THEOREM PROVING IN PROPOSITIONAL LOGIC.

Autori:  D. DUMITRESCU, MIHAI OLTEAN. 		 
       
         
  Rezumat:  Standard theorem proving algorithms normally have exponenţial complexity. This drawback could be eliminated within the Evolutionary com- putation framework. In this paper an evolutionary theorem proving method is proposed. The method is designed for propositional logic but may be ex- tended to fîrst order logic. The proposed evolutionary approach represents a new paradigm of au- tomated theorem proving. Method complexity is polynomial. Reducing time complexity with respect to non-evolutionary methods is an important feature of the proposed approach. A population of theorems is evoluated using two search operators: re- combination and mutation. Recombination operator implements Modus Po- nens inference rule. Mutation corresponds to the substitution operation.  
         
     
         
         
      Revenire la pagina precedentă