SCIFF is an abductive proof procedure ispired by the IFF proof procedure by Fung and Kowalski in 1997. SCIFF has been developed as a task of the SOCS project (http://lia.deis.unibo.it/research/projects/socs/). The main application SCIFF was developed for is to verify the compliance of agent to interaction protocols. In order to allow such application, SCIFF extends IFF in several respects: * Abducibles represent hypotheses about agent behaviour; * SCIFF deals with the concept of fulfillment, i.e., the correspondence of abduced atoms with events recorded in a history * CLP constraints can be imposed over variables; * SCIFF deals with existentially quantified variables in integrity constraints. SCIFF is being developed at the and at DI, University of Ferrara and at DEIS, University of Bologna.
M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P.Torroni (2005). The SCIFF Abductive Proof Procedure.
The SCIFF Abductive Proof Procedure
MELLO, PAOLA;TORRONI, PAOLO
2005
Abstract
SCIFF is an abductive proof procedure ispired by the IFF proof procedure by Fung and Kowalski in 1997. SCIFF has been developed as a task of the SOCS project (http://lia.deis.unibo.it/research/projects/socs/). The main application SCIFF was developed for is to verify the compliance of agent to interaction protocols. In order to allow such application, SCIFF extends IFF in several respects: * Abducibles represent hypotheses about agent behaviour; * SCIFF deals with the concept of fulfillment, i.e., the correspondence of abduced atoms with events recorded in a history * CLP constraints can be imposed over variables; * SCIFF deals with existentially quantified variables in integrity constraints. SCIFF is being developed at the and at DI, University of Ferrara and at DEIS, University of Bologna.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
