Please enable JavaScript.
Coggle requires JavaScript to display documents.
AgentSpek(L) semantica operazionale - Coggle Diagram
AgentSpek(L) semantica operazionale
insieme di
belief
belief base
belief dell'agente
belief revision function
unifica
PIANI APPLICABILI
se
evento interno
push
Si
1 more item...
evento esterno
new intention
piani
trigger event
intenzioni
possono essere
parallele
So
true (T)
eventi
interni
esterni
e=T
'+ / - !goal
'+ /- !belief
unifica (tramite trigger event)
MGU
PIANI RILEVANTI
<e,i>
azioni
funzione di selezione
intended means
selezione S<epsilon>
selezione intenzioni Si
trigger event
modifica ambiente
richiesta goal