CI5438.

Inteligencia Articial II Clase 8: Algoritmos Evolutivos Cap 2 Eiben and Smith

Ivette C. Mart nez
Universidad Simn Bol o var

2 de Noviembre de 2009

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

La metfora de la Computacin Evolutiva a o

Una poblacin de individuos existe en un ambiente con o recursos limitados. La Competencia por estos recursos causa que se seleccionen los mejores (tter) individuos, que son aquellos que mejor se adaptan al ambiente. Estos individuos actan como semilla para la generacin de u o nuevos individuos a travs de la recombinacin y la mutacin. e o o Se evala el ttness de los nuevos individuos, y estos u compiten (posiblemente con sus padres) por sobrevivir. Con el tiempo la Seleccin Natural causa el incremento en el o tness de la poblacin. o

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

La metfora de la Computacin Evolutiva a o

Los Algoritmos Evolutivos pertecen a la categor de a algoritmos de generacin y prueba (generate and test). o Son algoritmos estocsticos, basados en poblaciones. a Los operadores de variacin (recombinacin y mutacin) crean o o o la diversidad necesaria, y por la tanto facilitan la novedad. La seleccin reduce la diversidad y acta como una fuerza que o u empuja la calidad.

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Esquema General de loa AEs

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Pseudo Cdigo de un AE t o pico

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Cules son los diferentes tipos de EAs a

Histricamente los diferentes tipos de EAs se han asociado o con diferentes representaciones:
Strings Binarios: Algoritmos Genticos e Vectores de valores reales: Estatgias Evolutivas e Mquinas de Estado Finito: Programacin Evolutiva a o rboles LISP: Programacin Gentica a o e

Estas diferencias son prcticamente irrelevantes, la mejor a estratgia: e

Escoger la representacin adecuada para el problema. o Escoger los operadores de variacin ms adecuados para esta o a representacin. o

Los operadores de seleccin solo usan el ttness, por lo que o son independientes de la representacin. o

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Representaciones

Las soluciones candidatas (individuos) existen en el espacio fenot pico. Estas se codican en cromosomas, que existen en el espacio genot pico.
Codicacin: fenotipo genotipo (no necesariamente uno a o uno) Decodicacin: genotipo fenotipo (debe ser uno a uno) o

Los cromosomas contienen genes, los cules se alojan en a posiciones (usualmente jas) llamadas loci, y tienen un valor (alelo). Para encontrar el ptimo global, todas las soluciones posibles o deben ser representadas en el espacio genot pico.

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Funcin de Evaluacin (Fitness) o o

Representa los requerimientos a los cules se debe adaptar la a poblacin. o es decir, es una funcin de calidad u objetivo. o Asigna un unico valor reala cada fenotipo el cul es la base a para la seleccin o
Luego, A mayor discriminacin (valores diferentes) mejor o

T picamente hablaremos de maximizacin del tness o

Algunos problemas pueden plantearse mejor como una minimizacin, pero la conversin es trivial. o o

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Poblacin o

Contiene (representaciones de) posibles soluciones. Usualmente tiene tamao jo y es un multiconjunto de n genotipos Algunos EAs sosticasi tambien incorporan estructura espacial sobre las poblaciones, ejm: un grid. Los operadores de seleccin usualmente toman en cuanta toda o la poblacin; i.e., las probabilidades de reproduccin son o o relativas a la generacin actual. o La Diversidad de una poblacin se reere al nmero de o u diferentes tnesses/fenotipos/genotipos presentes (ntese que o no son la misma cosa).

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Mecanismos de seleccin de padres o

Asigna probabilidades a los individuos a actuarn como padres a dependiendo de sus tnesses. Usualmente es probabil stico:
Soluciones de alta calidad son mas propensas a convertirse en padres que las de baja calidad pero no est garantizado a incluso el peor de la poblacin actual tiene una probabilidad o diferente de cero de convertirse en padre.

Esta naturaleza estocstica puede ayudar a escapar de a o ptimos locales.

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Operadores de variacin o

Su rol es generar nuevas soluciones candidatas Usualmente se dividen en dos tipos de acuerdo con su aridad (nmero de entradas): u
Aridad 1: operadores de mutacin o Aridad > 1: operadores de recombinacin o Aridad = 2: crossover

Ha habido muchos debates sobre la importancia relativa de la recombinacin y la mutacin o o

Hoy en d la mayor de los AEs usan ambas. a a La escogencia de un operador de variacin en particular o depende de la representacin. o

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Mutacin o

Acta sobre un genotipo y devuelve otro u Su aleatoriedad es escencial y lo diferencia de otros operadores heur sticos unarios. Su importancia depende de la representacin y el dialecto: o
AGs Binarios: operador base responsable de preservar e introducir diversidad. EP para Mquinas de Estado Finitos s/ variables cont a nuas solo es un operador de bsqueda u GP - dif cilmente usado

Puede garantizar la conectividad del espacio de bsqueda y u por lo tanto las pruebas de convergencia.

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Recombinacin o

Mezcla informacin de padres en su descendencia. o La escogencia de que informacin mezclar es estocstica. o a la mayor de los descendientes puede ser peor, o igual que sus a padres. Se espera que algunos sean mejores mediante la combinacin o de elementos de genotipos que lleven a buenos razgos. Este principio se ha usado durante milenios por los criadores de plantas y animales.

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Seleccin de sobrevivientes o

Tambien conocido como reemplazo La mayor de los EAs usan un tamao de poblacin jo, a n o luego necesitan una manera de ir de (padres + hijos) a una nueva generacin. o A menudo determin stico
Basado en tness: jerarquizar padres + hijos y tomar los mejores. Basado en edad: Hacer tantos descendientes como padres y eliminar todos los padres.

Algunas veces combinar (elitismo).

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Inicializacin/Terminacin o o

La inicializacin usualmente es aleatria, o o

Necesidad de garantizar una difusin y mezcla parejas de los o posibles valores de los alelos. Puede incluir soluciones existentes, o usar heur sticas espec cas al problema para sembrar la poblacin. o

La condicin de terminacin se verica que cada generacin o o o

Alcanzar Alcanzar Alcanzar Alcanzar tness. algn tness (conocido/deseado) u un mximo nmero de generaciones. a u un nivel m nimo de diversidad. cierto nmero de genaraciones sin mejoras en el u

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Ejemplo: 8-reinas

Colocar 8 reinas en un tablero 8x8 de tal forma que no se ataquen entre si.
Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

8-reinas: representacin o

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

8-reinas: Evaluacin del tness o

Penalidad para una reina: El nmero de reinas que puede atacar u Penalidad para una conguracin: o La suma de las penalidades de todas las reinas Nota: Queremos minimizar la penalidad Fitnese de una conguracin: o El inverso de penalidad

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

8-reinas: mutacin o

Pequeas variaciones en una permutacin: n o ejm: intercambiar los valores de dos posiciones escoginas aleatoriamente.

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

8-reinas: recombinacin o
Combinar dos permutaciones en dos nuevas permutaciones: escoger un punto de crossover aleatorio copiar las primeras partes en los hijos crear las segundas partes insertando valores del otro padre:
en el orden en que aparecen aqui comenzando despues del punto de crossover saltando los valores que ya estn en el hijo a

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

8-reinas: seleccin o

Seleccin de padres: o
Escoger 5 padres y tomar los mejores 2 para hacer crossover

Seleccin de sobrevivientes (reemplazo) o

Cuando se inserta un nuevo hijo a la poblacin, escoger un o miembro existente para ser reemplazado:
Ordenando la poblacin por tness en orden decreciente o Reemplazando el primero de esta lista que tenga un tness menos que el hijo en cuestin o

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

8-reinas: resumen

Notar que este es slo uno de los posibles conjuntos de opciones de o operadores y parmetros a

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Comportamiento t pico de un EA
Fases en la optimizacin sobre un paisaje de tness (tness o landscape) de 1 dimensin. o

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Corrida t pica: la progresin del tness o

Corrida t pica de un EA, muestra el denominado anytime behavior

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Son beneciosas las corridas largas?

Respuesta: Depende de cunto se quiera el ultimo pedacito de progreso a Puede ser mejor hacer mas corridas cortas
Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C

Ivette C. Mart nez

CI5438. Inteligencia Articial II Clase 8: Algoritmos Evolutivos C