SCIFF Overview
SCIFF is an abductive proof procedure ispired by the IFF proof procedure by Fung and Kowalski. SCIFF has been developed as a task of the SOCS project.
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 ENDIF, University of Ferrara and at DEIS, University of Bologna.
SCIFF Usage
Getting SCIFF
SCIFF is under active development. Choose your favourite version:
- SCIFF for SICStus 3. This version was tested with SICStus versions from 3.9 to 3.12, on Windows XP, Slackware Linux, and MacOS.
- SCIFF for SICStus 4/SWI. This version works with SICStus versions 4 and following, and with SWI Prolog. Was tested on Ubuntu Linux, Windows XP, Vista, and MacOS.
The development of SCIFF for SICStus 3 will be abandoned in the future, however, please contact us if you find any bug. SCIFF for SICStus 4 is usually faster, however there are applications in which the old version is faster.
The versions available on this web site do not provide a Graphical User Interface, however, you can download the SCIFF editor: an Eclipse plugin for SCIFF.
Running SCIFF
Unzip the archive in a directory of your choice.
See the SCIFF User's Manual for instructions on how to use it.
SCIFF Editor
The SCIFF editor is an IDE, based on Eclipse, for SCIFF.
Documentation
Contacts
If you have questions about SCIFF, or want to signal a bug, you can contact one of the developers
Acknowledgements
|
This work is partially funded by the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under the IST-2001-32530 SOCS project, within the Global Computing proactive initiative. |
|
References
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Transactions on Computational Logic (TOCL), 2008. Downloadable from Source 1 (preprint) or Source 2 (scroll page)