PROBLEMA DE PLANEJAMENTO

==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==

Para facilitar a construção do parser da CNF os problemas de planejamento são 
descritos na linguagem STRIPS-proposicional (sem variáveis), gerados
por um parser PDDL2STRIPS que recebeu como entrada:

-- uma descrição em PDDL de um domínio (conjunto de ações com variáveis)
-- um descrição de um problema em PDDL
 
e gera um arquivo para cada ação proposicional (com a especificação do 
estado inicial e meta no fim do arquivo) 

==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==

Os arquivos de problemas proposicionais estão no seguinte formato:


nome ação 1
precondicao1;precondicao2;...
efeito1;efeito2;...
nome ação 2
precondicao3;precondicao4;...
efeito3;efeito4;...
.
.
.
nome ação n
precondicao N;precondicaoN+1;...
efeitoN;efeitoN+1;...

proposicao1EstadoInicial;proposicao2EstadoInicial;...
proposicao1Objetivo;proposicao2Objetivo;...



Todas as linhas do início do arquivo até a primeira linha em branco
são, três a três, descrições de ações STRIPS-proposicional. A
primeira das três linhas e' o nome da ação, a segunda é a lista de
proposições da pré-condição (separadas por ponto e virgula) e a
terceira é a lista de efeitos da ação.

Um proposição negada é antecedida por "~".  

A primeira linha após a linha em branco contém a lista de proposições do estado
inicial, e a segunda linha contém a lista de proposições que definem os estados objetivos
(pode haver mais do que um estado objetivo para um dado problema de
planejamento). Todas as proposições das listas sao separadas por ponto e virgula.

Chamamos de "problema de planejamento" o conjunto das ações
STRIPS-proposicional mais a lista de proposições do estado inicial e a
lista de proposicoes que definem os estados objetivos.