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..
|
IUM 2 - Il 'FRAME PROBLEM'
Inserito il - 28/06/2007 : 11:45:56
Inserito il - 28/06/2007 : 18:40:21