Para estes exercícios, você pode precisar entender um pouco de PDDL:
Aqui estão os exercícios:
- Faça os exercícios 2.1 (menos e e f), 6.5, 6.6 do livro (Ghalab, Nau & Traverso)
- Dois problemas de planejamento descritos da forma clássica tem statements P e P'.
Mostre que se P e P' são isomorfos (isto é, se os grafos das árvores de alcançabilidade forem isomorfos),
P tem solução se e somente se P' também tem.
(a definição de statement está na página 31 do livro (Ghalab, Nau & Traverso)
- Formule as seguintes situações como um problema da planejamento, primeiro na representação clássica e depois na linguagem PDDL:
- O problema descrito no exercício 11.4 do livro (Russe & Norvig)
- O mesmo problema, co muma modificação: desta vez é necessário empilhar duas caixas
para alcançar as bananas.
- Novamente, desta vez com dez caixas (você pode tentar gerar a descrição o problema automaticamente).
- Use os seguintes planejadores para resolver os problemas que você formulou na questão anterior:
Discuta a dierença entre os dois planejadores.
- Verifique no capítulo 16 como modelar um problema usando MDPs, e faça isto para o problema do macaco
e bananas (com uma só caixa). Mostre o modelo.