Planning for Spatial Missions Using Answer Set Programming EVALUATED

Detalhes: Explorar o espaço é há muito tempo uma prioridade para a espécie humana. Um exemplo disto é a Estação Espacial Internacional, onde tripulações de cientistas desenvolvem os programas espaciais de países de todo o mundo. Encontrar um horário de trabalho óptimo para a tripulação de cientistas é uma tarefa difícil, e planeadores automáticos tentam resolver esse problema. O horário de cada membro da tripulação é restringido pelas tarefas que este é obrigado a fazer, tal como pelas restrições específicas de cada tarefa disponível. O objectivo é encontrar um plano que atribui todas as tarefas a um membro da tripulação, e este plano deve ter a menor duração possível. Neste trabalho, utilizamos a linguagem declarativa Answer Set Programming para atribuir um horário de trabalho a cada membro da tripulação da missão espacial. Introduzimos a linguagem ASP , o método de programação e as ferramentas utilizadas. Apresentamos quatro programas dedicados que resolvem o problema descrito, elaborando sobre o desenho de programas em ASP e na optimização dos processos de grounding e solving. As codificações seguem dois modelos distintos que estão baseados em interpretações diferentes das restrições do problema. Finalmente, comparamos o nosso trabalho a planeadores submetidos na Competição Internacional de Planeamento.

Discussão: novembro 5, 2012, 10:30

Publicação

Obra sujeita a Direitos de Autor

Orientação

AUTOR

Rodrigo Joel Lucas Santos (ist163579)

ORIENTADOR

Maria Inês Camarate de Campos Lynce de Faria

Departamento de Engenharia Informática (DEI)

Professor Auxiliar