A verifiable logic-based agent architecture

Authors:
Marco Alberti;Federico Chesani;Marco Gavanelli;Evelina Lamma;Paola Mello
Affiliations:
ENDIF, University of Ferrara, Italy;DEIS, University of Bologna, Italy;ENDIF, University of Ferrara, Italy;ENDIF, University of Ferrara, Italy;DEIS, University of Bologna, Italy
Venue:
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Year:
2006

Citing 9
Cited 3

Proving properties of open agent systems

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
From logic programming towards multi-agent systems

Annals of Mathematics and Artificial Intelligence
An Abductive Approach for Analysing Event-Based Requirements Specifications

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Model checking: a tutorial overview

Modeling and verification of parallel processes
Protocol conformance for logic-based agents

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
The SCIFF abductive proof-procedure

AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
The SOCS computational logic approach to the specification and verification of agent societies

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Verifying the conformance of web services to global interaction protocols: a first step

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Security protocols verification in abductive logic programming: a case study

ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World

${\cal B}$-Tropos

Computational Logic in Multi-Agent Systems
Expressing and Verifying Business Contracts with Abductive Logic Programming

International Journal of Electronic Commerce
Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$-Tropos

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present the CIFF platform for multi-agent systems. The platform is based on Abductive Logic Programming, with a uniform language for specifying agent policies and interaction protocols. A significant advantage of the computational logic foundation of the CIFF framework is that the declarative specifications of agent policies and interaction protocols can be used directly, at runtime, as the programs for the agent instances and for the verification of compliance. We also provide a definition of conformance of an agent policy to an interaction protocol (i.e., a property that guarantees that an agent will comply to a given protocol) and a operational procedure to test conformance.