Plenary Lecture

Evolutionary Computation using Logic Programming

Assistant Professor Jorge Ribeiro
School of Technology and Management
Polytechnic of the Institute of Viana do Castelo
Portugal
E-mail: jribeiro@estg.ipvc.pt

Abstract: 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.

Brief Biography of the Speaker:
Jorge Ribeiro was born in 1975, in Braga, Portugal and is Assistant Professor of the School of Technology and Management Polytechnic of the Institute of Viana do Castelo - Portugal. Is teaching in the Artificial Intelligence, Systems Integration and Enterprise Information Systems field. Is member of the Artificial Intelligence Group of the Informatics Department of the University of Minho - Portugal. He received MSc degree in computer science (2002) from the University of Minho-Portugal. His PhD dissertation (at the Department of Electronic and Computation of the University of Santiago de Compostela, Spain.) addresses the optimization of logic mathematical functions applying evolutionary systems in order to maximize the quality-of-information. He has been an author and co-author of some papers in the field of Data Mining, Software Engineering, Knowledge Representation and Evolutionary Systems.