Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

FP5

SOCS Streszczenie raportu

Project ID: IST-2001-32530
Źródło dofinansowania: FP5-IST
Kraj: Italy

SCIFF - An abductive proof procedure for protocol conformance

SCIFF represents the operational support, as a proof system based on transitions, for the society model developed within the SOCS project. SCIFF is an abductive proof procedure ispired by the IFF proof procedure by Fung and Kowalsk. In particular, SCIFF is able to check the compliance to the protocols specified at society level of (agents') interactions. Such protocols are expressed as integrity constraints relating socially relevant events to expected behaviour of members.

The main application SCIFF was developed for is to verify (on-the-fly) the compliance of agents 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 fulfilment, 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 Dipartimento di Ingegneria, University of Ferrara and at DEIS, University of Bologna, and it has been proved sound with respect to a declarative, 3-valued abductive semantics. Moreover some syntactical conditions on Social Integrity Constraints have been introduced in order to guarantee SCIFF termination.

Kontakt

Evelina LAMMA
Tel.: +39-053-2974894
Faks: +39-053-2974870
Adres e-mail
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę