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
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
non disponibili
Licenza:
Copyright dell'editore
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.
