Please enable JavaScript.
Coggle requires JavaScript to display documents.
GOLOG - Ragionare sulle azioni - Coggle Diagram
GOLOG
- Ragionare sulle azioni
alGOl in LOGic
1994
Situation Calcolus
Situation
Stati
Fluenti
Azioni
precondizioni
effetti
Frame Problem
Successor State Axioms
azioni complesse
primitive
test
sequenze
scelte non deterministiche
scelte di azioni non deterministiche
iterazioni non deterministiche
eseguire un programma
procedure