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.
2002
9781581134803
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/32383
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact