Plenary lecture 1: evolutionary computation using logic programming
Jorge Ribeiro · 2009
The Evolutionary Computation covers sets of algorithms inspired by the theory of the species evolution. The interconnection between the Artificial Intelligence techniques such as Genetic Algorithms and Artificial Neural Networks for the creation of evolutionary systems is applied in the resolution of various types of problems in particular in the optimization processes. The objective of this union is to combine symbolic and conexionist systems in order to optimize the description of the universe of discourse represented by logic functions. We focus on the study of the combination of Artificial Neural Networks with Genetic Algorithms to investigate the descriptive power of the Extended Logic Programming in order to qualify the description of the universe of discourse or theories expressed by logic mathematical functions. With this theories and methodologies the goal is to get the best value of the quantification theory which corresponds to the best logic mathematical functions and try to optimize it.