Transformarum problema real num processo exploratório do EvoXsignifica que, antes de escrever qualquer linha de configuração do algoritmo, uma necessidade vaga de engenharia ou de investigação é reformulada numa definição de problema evolutivo «amostrável, avaliável, preservável e verificável de forma iterativa». A transformação ocorre antes da escolha do algoritmo e determina o limite superior do espaço de exploração, bem como se a direção da otimização está correta — por muito poderoso que seja o algoritmo, não consegue recuperar a resposta certa de um problema mal definido.
Primeiro a transformação do problema, depois a escolha do algoritmo
Perante uma tarefa real, a primeira reação é muitas vezes «que operador, que estratégia usar». Mas o EvoX integra um pipeline de exploração: precisa de saber em que espaço amostrar, com que critérios avaliar os candidatos e que resultados preservar para continuidade. Estas informações só podem vir do próprio problema, pelo que a ação de transformação precede naturalmente a escolha do algoritmo. A mesma frase «tornar este projeto melhor», basta trocar os limites das variáveis ou os critérios de avaliação, e as conclusões da exploração tornam-se completamente diferentes.
Definir «o que pode mudar»
Traduzir a necessidade real em variáveis de decisão: determinar a sua forma de representação, dimensão e limites, distinguindo parâmetros contínuos, estruturas discretas e até objetos ao nível do programa. Se os limites forem demasiado estreitos, a verdadeira solução ótima não estará sequer no espaço de busca; se forem demasiado amplos, o orçamento de amostragem será consumido por uma grande quantidade de regiões inválidas. O critério de aceitação deste passo é apenas um: a variável é amostrável.
Definir «como avaliar após a mudança»
Decompor objetivos vagos em funções objetivo e restrições calculáveis: clarificar que indicadores maximizar, quais são restrições rígidas e como ponderar múltiplos objetivos; quando o feedback é escasso ou uma avaliação exige simulações dispendiosas, introduzir um modelo substituto para substituir os cálculos de elevado custo. Critério de aceitação: o objetivo é calculável e, com a mesma entrada, o resultado é estável e reprodutível.
Estabelecer o mecanismo de preservação e seleção
Definir como os candidatos são guardados, comparados e perpetuados. Com o mecanismo de preservação, o processo evolutivo adquire memória, direção e diversidade, em vez de ser uma sucessão de tentativas isoladas e descartáveis. Critério de aceitação: o candidato é herdável.
Tornar cada passo verificável
O resultado da transformação tem de ser reprodutível, mensurável e verificável de forma iterativa, respondendo em cada passo à questão «esta mudança é realmente melhor?». Os dois tipos de desvio mais facilmente amplificados ocorrem precisamente na fase de transformação: variáveis omitidas levam a uma interpretação errada do espaço de soluções, e a distorção da avaliação desvia toda a otimização. Nenhum deles pode ser compensado por operadores posteriores ou mais iterações.
