Nota: Devi essere registrato per poter inserire un messaggio. Per registrarti, clicca qui. La Registrazione è semplice e gratuita!
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
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.