Ant Colony Optimization

Intelligence Swarm

Fabio Barbosa fabioaab@gmail.com

Meta-Heurstica
Algoritmos Exatos
Fundamentao: Matemtica; Vantagem: Soluo tima; Desvantagens: Complexidade e alto custo;

Algoritmos Heuristicos
Fundamentao: Inteligncia Artificial; Vantagem: Fceis, bons resultados; Desvantagens: No garantem solues timas;

Meta-Heurstica
Para algunes problemas teremos respostas dos algoritmos exatos no tempo desejado.
Ex.: Problema do caixeiro viajante

A grande dificuldade escapar de timos locais.

Meta-Heurstica
O que uma heurstica?
uma regra, simplificao, ou aproximao que limita a busca por solues em domnios que so difceis e pouco compreendidos/conhecidos.

O que uma meta-heurstica?

So conceitos algortmicos usados para definir heursticas aplicveis a uma grande variedade de problemas.

Meta-Heurstica
Juntando tudo:
As meta-heursticas so conceitos algortmicos que criam regras para simplificar as buscas de solues timas ou quase timas para uma grande variedade de problemas.

Meta-Heurstica
Exemplos de meta-heuristicas:
Busca Tabu; Simulated Annealing (Recosimento Simulado); Algortmos Genticos; Otimizao de Colnia de Formigas.

Inteligncia de enxames
Um sistema composto de agentes com capacidade intelectual limitada interagindo entre si em um ambiente que, quando trabalhando em conjunto, resolvem problemas complexos.

Conjunto de meta-heursticas inspiradas no comportamento social de algumas classes de animais.

Inteligncia de enxames
Caractersticas:
Os agentes devem ser capazes de interagir entre s. As decises so tomadas com base no conhecimento de cada agente; Reao situaes inexperadas. Capacidade de se adaptar a alteraes no ambiente; No existe um agente que centralize o controle do sistema

Inteligncia de enxames
Alguns algoritmos
Ant Colony Optimization (ACO) Artificial Bee Colony (ABC) Artificial Immune Systemas (AIS) Particle Swarm Optimization (PSO)

Inteligncia de enxames
Alguns algoritmos
Ant Colony Optimization (ACO) Artificial Bee Colony (ABC) Artificial Immune Systemas (AIS) Particle Swarm Optimization (PSO)
Inpirado na busca das formigas por alimentos. As formigas so capazes de construir caminhos quase timos at os alimentos.

Inteligncia de enxames
Alguns algoritmos
Ant Colony Optimization (ACO) Artificial Bee Colony (ABC) Artificial Immune Systemas (AIS) Particle Swarm Optimization (PSO)
Inspirado em como as abelhas transmitem umas s outras informaes sobre a localizao de fontes de alimentos.

Inteligncia de enxames
Alguns algoritmos
Ant Colony Optimization (ACO) Artificial Bee Colony (ABC) Artificial Immune Systems (AIS) Particle Swarm Optimization (PSO)
Inspirados no comportamento de reao dos sistemas imunolgicos naturais para deteco de agentes estranhos ao organismo.

Inteligncia de enxames
Alguns algoritmos
Ant Colony Optimization (ACO) Artificial Bee Colony (ABC) Artificial Immune Systemas (AIS) Particle Swarm Optimization (PSO)
Inpirados no comportamento que cardumes, bandos e manadas desenvolveram para atingir objetivos em grupo.

Otimizao por colnias de formigas

Inspirado no comportamento de formigas forrageiras; Muitas espcies de formigas tm so cegas ou quase cegas; A comunicao atravs de substncias conhecidas como feromnio; Algumas espcies de formiga utilizam o feromnio para criar caminhos;

Otimizao por colnias de formigas

Stigmergy
Forma indireta de comunicao atravs de alteraes no meio.

As formigas tendem a optar pelo caminho que tiver mais feromnio; A trilha de feromnio ajuda as formigas a encontrar comida e a voltar para o formigueiro;

Ant Colony Optimization

Experimento da ponte dupla

Quanto mais feromnio, mais atraente o caminho se torna. A colnia acaba convergindo para um nico caminho.

Ant Colony Optimization

Experimento da ponte dupla

No primeiro experimento as formigas convergiram para um dos caminho. No segundo experimento as formigas convergiram para o caminho mais curto.

Ant Colony Optimization

Experimento da ponte dupla

O feromnio depositado evapora com o passar do tempo.

Um mau caminho tende a ser esquecido caso as formigas encontrem um caminho mais curto.

Ant Colony Optimization

Experimento da ponte dupla

O comportamento estocstico do algortmo permite que as formigas explorem novas fontes de alimentao e at que encontrem caminhos mais curtos.

Ant Colony Optimization

Um segundo experimento foi realizado
No incio somente o caminho mais longo existia. Aps 30 segundos foi includo o caminho mais curto. O resultado foi que embora uma ou outra formiga escolhesse o caminho mais curto esporadicamente, a grande maioria continuou escolhendo o caminho mais longo.

Simple-ACO
Inicializao
Cada aresta (i, j) inicializada com ij = 1, onde ij a quantidade de feromnio entre os ns i e j; Todas as formigas iniciam no n origem;

Construo
A cada iterao a quantidade de feromnio armazenada nos arcos lida e usada de maneira estocstica para decidir o prximo movimento;

Simple-ACO
Construo
Uma formiga k escolhe se mover do n i para o n j conforme a regra abaixo:

onde em i

so os ns vizinos de k quando localizada

Simple-ACO
Atualizao de feromnio
Antes de retornar a formiga deve eliminar os loops construdos durante a busca da soluo. Durante o retorno a formiga k deposita uma quantidade de feromnio nas arestas visitadas.

No caso mais simples pode ser constante, mas pode ser calculado em funo do comprimento do caminho.

Simple-ACO
Evaporao da trilha de feromnio
Mecanismo que evita a rpida convergncia para um caminho sub-timo. Aps cada formiga se mover para o prximo n, a trila de feromnio evaporada.

(0, 1]

Simple-ACO
Nmero de formigas e tipos de atualizao de feromnio

m o nmero de formigas = 1 / Lk ou = constante, L o comprimento do caminho =2e=0

Simple-ACO
Experimento da ponte dupla extendida

5000 iteraes, = 1 e m = 128

Simple-ACO
Experimento da ponte dupla extendida
Sem a atualizao de feromnios baseada na qualidade da soluo os resultados so muito piores; Um valor ruim para pode ser crtico; Valores altos para levam a resultados ruins, pois contrinuem com as flutuaes aleatrias iniciais;

Ant System (AS)

Inicializao
Matriz de feromnios atualizada com valor ligeiramente superior que o valor estimado depositado por uma formiga; Cada formiga posicionada em uma cidade aleatoriamente;

Ant System (AS)

Construo de caminhos
Construo dos caminhos concorrente; Escolha do prximo n:

e determinam respectivamente a influncia da trilha de feromnios e da informao heurstica. Nki visinhana vivel de fa formiga k quando k est na cidade i, isto , o conjunto de cidades ainda no visitadas por k.

Ant System (AS)

0: Valor inicial da matriz de feromnio; Cnn: Tamanho de um caminho formado por um algortmo de caminho mais prxmo;

Ant System
Atrualizao da matriz de feromnio
Aps todas as formigas construrem seus caminhos a matriz de feromnio atualizada;

Ant System

Ant System

Ant System

Ant System

Ant System

Ant System