The high computational cost of abduction has limited the application of this powerful and expressive formalism to practical cases. SCIFF is an abductive proof procedure used for verifying the compliance of agent behaviour to interaction protocols in multi-agent systems; SCIFF has been integrated in SOCS-SI, a system able to observe the agent interaction, pass it to SCIFF for the reasoning process and to display in a GUI the results of the SCIFF computation. In order to assess the applicability of sciff and SOCS-SI to practical cases, we have evaluated qualitatively and experimentally (not yet formally) their computational behaviour, concerning limitations and scalability. In this paper we show the results of the analysis.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Data di pubblicazione: | 2005 | |
Titolo: | The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system | |
Autori: | ALBERTI M.; CHESANI F | |
Rivista: | INTELLIGENZA ARTIFICIALE | |
Parole Chiave: | abduction; proof procedure; experimentation; agent interaction verification | |
Abstract: | The high computational cost of abduction has limited the application of this powerful and expressive formalism to practical cases. SCIFF is an abductive proof procedure used for verifying the compliance of agent behaviour to interaction protocols in multi-agent systems; SCIFF has been integrated in SOCS-SI, a system able to observe the agent interaction, pass it to SCIFF for the reasoning process and to display in a GUI the results of the SCIFF computation. In order to assess the applicability of sciff and SOCS-SI to practical cases, we have evaluated qualitatively and experimentally (not yet formally) their computational behaviour, concerning limitations and scalability. In this paper we show the results of the analysis. | |
Handle: | http://hdl.handle.net/11392/1204287 | |
Appare nelle tipologie: | 03.1 Articolo su rivista |