Dissertação

Solving Wildlife Conservation Problems using Answer Set Programming EVALUATED

Preservar a biodiversidade e evitar a fragmentação de uma zona tem sido alvo de estudos recentes. É importante assegurar que a vida das espécies não é colocada em risco quando se muda o espaço em que estas habitam. O problema da conservação de espécies pode ser dividido em dois sub-problemas. Considerando uma zona, dividida em áreas mais pequenas às quais se associa um custo e um valor de utilidade, a primeira abordagem consiste em, considerando certas áreas chave, encontrar o caminho contínuo, passando pelas áreas chave, com mais utilidade que esteja abaixo de um determinado custo. A segunda abordagem consiste em encontrar o conjunto mínimo de áreas não dispersas que mantêm a máxima biodiversidade, isto é, que têm cada espécie representada em pelo menos uma das áreas escolhidas. Ambas as abordagens são importantes e são cobertas neste documento. O nosso objetivo é resolver o problema usando Answer Set Programming, uma linguagem declarativa utilizada com sucesso em problemas de vários domínios. Descrevemos detalhadamente a linguagem ASP, incluindo a semântica e a sintaxe, referindo também uma das ferramentas disponíveis para representação visual da solução, o ASPviz. Os programas ASP criados para resolver ambas as abordagens do problema são explicados em detalhe, juntamente com o impacto das escolhas realizadas. Os resultados obtidos com Answer Set Programming são comparados com uma das implementações já existentes e fazemos a discussão desses resultados.
Conservação de espécies, Answer Set Programming, Teoria de Grafos, Programação Linear

Novembro 5, 2012, 14:30

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Maria Inês Camarate de Campos Lynce de Faria

Departamento de Engenharia Informática (DEI)

Professor Auxiliar