Planejamento automatizado - Laboratório de Técnicas Inteligentes ...
Planejamento automatizado - Laboratório de Técnicas Inteligentes ...
Planejamento automatizado - Laboratório de Técnicas Inteligentes ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Exemplo: O Mundo dos Blocos<br />
Estado inicial<br />
C<br />
A<br />
B<br />
Objetos: blocos A,B,C,mesa<br />
Proprieda<strong>de</strong>s:<br />
A e B estão sobre a mesa<br />
C está sobre A<br />
o topo <strong>de</strong> C está livre<br />
otopo <strong>de</strong> B estálivre<br />
otopo <strong>de</strong> A não está livre<br />
C não está sobre B (mesa)<br />
A não está sobre B (C)<br />
B não está sobre C (A)<br />
a mesa está sempre livre<br />
44