We introduce a logical model of rational agency incorporating the key notions of goals, abilities and deliberation. Since the logical basis we propose is relatively simple, formal descriptions are amenable to both direct execution and formal verification. In particular, we show how this formalism can provide the basis for a high-level development method for both individual rational agents and multi-agent systems.
The ABC of Rational Agent Modelling
Ghidini, Chiara
2002-01-01
Abstract
We introduce a logical model of rational agency incorporating the key notions of goals, abilities and deliberation. Since the logical basis we propose is relatively simple, formal descriptions are amenable to both direct execution and formal verification. In particular, we show how this formalism can provide the basis for a high-level development method for both individual rational agents and multi-agent systems.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
