The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies [chapter]

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005 Lecture Notes in Computer Science  
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describes the SOCS social model: an agent interaction specification and verification framework equipped with a declarative and operational semantics, expressed in terms of abduction. The operational counterpart of the proposed framework has been implemented and integrated in SOCS-SI, a tool that can be used for on-the-fly
more » ... fication of agent compliance with respect to specified protocols.
doi:10.1007/978-3-540-31794-4_17 fatcat:kjxvrk7tczce5kvzp3stjlcboa