Laboratório de
Inteligência Artificial
TÍTULO DO PROJETO
Relatório Final
Dados do autor
1. Introdução
1.1 Definição do problema de
planejamento
1.2 Axiomas do Cálculo de
Situações
1.3 O exemplo do Mundo dos Blocos modelado como
axiomas do Cálculo de Situações
2. SATPLAN: Planejamento como um problema SAT
2.1 Descrição de um sistema Sat-solver
2.2 SatPlan
2.2.1 Construção da CNF
para planejamento
2.2.2 Parser para geração
automática da CNF
2.2.3 Utilização do
Sat-solver para planejamento (falar sobre o laço para
incrementar o tamanho do plano)
3. BLACKBOX: planejamento como um problema SAT com
codificação baseada no grafo de planejamento
3.1 Descrição do grafo de planejamento
3.2 Extração da CNF do grafo de
planejamento
3. 3 Utilização do Sat-solver para
planejamento (falar sobre o laço para incrementar o grafo de
planejamento )
4. Testes e análise
4.1 Descrição dos Domínios de
Teste (Mundo dos Blocos e Satelites) (falar um pouquinho sobre PDDL
e as
suposições feitas pela linguagem STRIPS)
4.2 Planejadores que serão usados no teste
- SATPLAN
- BLACKBOX
(com o seu Sat-solver)
- BLACKBOX
(com o Sat-solver CHAFF)
-
Instruções para a execução dos planejadores
4.3 Estatíticas
- Tamanho da CNF e
número de proposições
- Tempo gasto
para encontrar a solução (eliminando o tempo gasto entre
as chamadas de sistemas para
a extensão do plano ou do grafo). Voce deve computar o tempo de
geração do grafo e no caso do
SATPLAN, o tempo gasto pelo seu parser para gerar a nova CNF.
- Tamanho dos planos
encontrados (número de passos do plano)
- Dados de
operação do Sat: número de flips, etc
4.4. Análise dos dados
5. Bibliografia
Obs: A nota será dividida entre o relatório, a
análise e os sistemas implementados. Não se estenda
demais em cada um dos itens do relatório. O que vai importar
para a nota será o conteúdo, isto é, as
informações (essenciais) que necessariamente devem ser
descritas em cada uma das seções para uma
compreensão completa do relatório (por outra pessoa que
não fez a disciplina ou por você mesmo daqui 10 anos).