SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF’s operational component is a new abductive logic programming proof-procedure, also named SCIFF, for reasoning with expectations in dynamic environments. In this paper we present the declarative and operational semantics of the SCIFF language, the termination, soundness and completeness results of the SCIFF proof procedure, and we demonstrate SCIFF’s possible application in the multi-agent domain.

M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, P. Torroni (2008). Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 9(4), article 29, 1-43 [10.1145/1380572.1380578].

Verifiable agent interaction in abductive logic programming: the SCIFF framework

CHESANI, FEDERICO;MELLO, PAOLA;TORRONI, PAOLO
2008

Abstract

SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF’s operational component is a new abductive logic programming proof-procedure, also named SCIFF, for reasoning with expectations in dynamic environments. In this paper we present the declarative and operational semantics of the SCIFF language, the termination, soundness and completeness results of the SCIFF proof procedure, and we demonstrate SCIFF’s possible application in the multi-agent domain.
2008
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, P. Torroni (2008). Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 9(4), article 29, 1-43 [10.1145/1380572.1380578].
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni
File in questo prodotto:
Eventuali allegati, non sono esposti

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/11585/45878
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 150
  • ???jsp.display-item.citation.isi??? 84
social impact