This work concerns the challenge of computational accountability in a multiagent setting where agents interact inside organizations. We illustrate the requirements to realize accountability with the help of a scenario. Then, we provide a characterization of computational accountability in terms of a few general principles. We introduce and explain the ADOPT accountability protocol and show how it satisfies these principles with the help of model checking.
ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo
Matteo Baldoni;Cristina Baroglio;Katherine M. May;Roberto Micalizio;Stefano Tedeschi
2017-01-01
Abstract
This work concerns the challenge of computational accountability in a multiagent setting where agents interact inside organizations. We illustrate the requirements to realize accountability with the help of a scenario. Then, we provide a characterization of computational accountability in terms of a few general principles. We introduce and explain the ADOPT accountability protocol and show how it satisfies these principles with the help of model checking.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2017_PRIMA.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
205.57 kB
Formato
Adobe PDF
|
205.57 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
