| V I S U A L I Z Z A D I S C U S S I O N E |
| Zuk |
Inserito il - 28/06/2007 : 11:45:56
ciao gente
nelle dispense 'Generazione di messaggi -metodi' di IUM 2 del corrente a.a., a proposito della Pianificazine col metodo di green, si parla della concatenazione di azioni e quindi del Frame Problem... teoricamente è chiaro che descrivono gli aspetti di uno stato...bla bla bla ma l'esempio sottostante con gli operatori stack ed unstack mi lascia perplesso... in particolare in
unstack:
T(Clear(u),s)--> T(Clear(u), Do(U(x,y),s))
T(Table(u),s)--> T(table(u), Do(U(x,y),s))
...
stack
T(Clear(u),s) and u!=v --> T(Clear(u), Do(S(x,y),s))
cosa indicano U ed S ???? spero di essere stato chiaro..
|
| 2 U L T I M E R I S P O S T E (in alto le più recenti) |
| Zuk |
Inserito il - 28/06/2007 : 18:40:21
ok grazie per la collaborazione.. |
| Pavel711 |
Inserito il - 28/06/2007 : 12:56:54
Credo che ti stia sbagliando in quanto U indica l'azione di Unstack mentre S indica l'azione di Stack. Infatti la descrizione della funzione Do prevede che il primo argomento debba essere un'azione e il secondo uno stato. |
|
|
