Please enable JavaScript.
Coggle requires JavaScript to display documents.
AgentSpeak(L) - Coggle Diagram
AgentSpeak(L)
elementi
variabili
costanti
simboli funzionali
simboli predicativi
simboli di azione
connettivi
logica 1 ord
&
not
<-
achievement
!
test
?
sequenza
;
quantificatori
simboli di punteggiatura
nozioni
.
atomi
Belief b(t)
base
senza variabili
.
goal
test
?g(t)
achievement
!g(t)
stato da raggiungere
triggering event
+/-
goal/belief
azione
conseguenza osservare
modifica ambiente
a(t1..tn)
piano
<head> <- <body>
<head> := <triggering event> : <context>
coontext
belief soddisfatti
piani
contesto
invocati utente
decomposizione goal
sintatticamente clausole programmazione
linguaggio programmazione
multi-agente
implementazione
JASON
1996
Rao
astrazione semplificata PRS
linguaggio del primo ordine
current belief
desires
intentions
https://coggle.it/diagram/Xrv2ny8XXnk6n_Pa/t/agentspek-l-semantica-operazionale