Filters








22 Hits in 2.6 sec

Specification and Verification of Agent Interaction Using Abductive Reasoning [chapter]

Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
2006 Lecture Notes in Computer Science  
This paper provides a tutorial overview of the theory and of the tools the SOCS project provided to design, define and test agent interaction protocols.  ...  Within the SOCS (Societies Of ComputeeS) project, a language based on abductive semantics has been proposed as a mean to define interactions in open societies.  ...  The tool, called SOCS-SI, runs the implementation of the SCIFF proof-procedure and it has been developed and interfaced with popular MAS systems.  ... 
doi:10.1007/11750734_14 fatcat:awgbzxdrdresdpvrcpccfns5pa

A Verifiable Logic-Based Agent Architecture [chapter]

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2006 Lecture Notes in Computer Science  
A significant advantage of the computational logic foundation of the SCIFF framework is that the declarative specifications of agent policies and interaction protocols can be used directly, at runtime,  ...  In this paper, we present the SCIFF platform for multi-agent systems.  ...  Acknowledgements This work has been partially supported by the MIUR PRIN 2005 project Specification and verification of agent interaction protocols.  ... 
doi:10.1007/11875604_22 fatcat:b2qtrquk4vctvm5pvjtqqmbmxi

Security Protocols Verification in Abductive Logic Programming: A Case Study [chapter]

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2006 Lecture Notes in Computer Science  
We first show how the protocol can be specified in our previously developed SOCS-SI framework, and then demonstrate the two types of verification.  ...  properties about the overall system behaviour.  ...  Acknowledgments This work has been supported by the European Commission within the SOCS project (IST-2001-32530), funded within the Global Computing Programme and by the MIUR COFIN 2003 projects La Gestione  ... 
doi:10.1007/11759683_7 fatcat:nuyqj2hp7zbhpebbc2lmbi3dha

Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project [chapter]

Francesca Toni
2006 Lecture Notes in Computer Science  
The SOCS project (A computational logic model for the description, analysis and verification of global and open SOcieties of heterogeneous ComputeeS), funded by the European Commission under the Fifth  ...  Framework, Future and Emerging Technologies programme, has been one of the main sponsors of CLIMA VI.  ...  The author is grateful to all participants of the SOCS consortium for inputs to this article and for their hard work throughout the project.  ... 
doi:10.1007/11750734_26 fatcat:wbzkt7hxhzamlg4g5jewvvw2wu

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool [chapter]

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2006 Lecture Notes in Computer Science  
In this work, we investigate the feasibility of using a framework based on computational logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS UE Project), for modeling  ...  In this way, we can use a suitable tool, derived from the proof-procedure defined in the context of the SOCS project, to check at runtime whether a set of existing services behave in a conformant manner  ...  This work has been partially funded by the MIUR Projects PRIN 2005: "Linguaggi per la specifica e la verifica di protocolli di interazione fra agenti" and "Vincoli e preferenze come formalismo unificante  ... 
doi:10.1007/11841197_4 fatcat:6hllivv7nzg7bpzbxnnesztoby

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  
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 verification of agent compliance with respect to specified protocols  ...  Acknowledgements This work is partially funded by the Information Society Technologies programme of the European Commission under the IST-2001-32530 SOCS Project [3] , and by the MIUR COFIN 2003 projects  ... 
doi:10.1007/978-3-540-31794-4_17 fatcat:kjxvrk7tczce5kvzp3stjlcboa

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2006 Applied Artificial Intelligence  
Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance to interaction protocols.  ...  In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols.  ...  This work is partially funded by the IST programme of the European Commission under the IST-2001-32530 SOCS project [SOCS, 2002, and by the national MIUR COFIN 2003 projects "Sviluppo e verifica di sistemi  ... 
doi:10.1080/08839510500479546 fatcat:wcprcfsnm5fhlmum76chh3mgga

Mining process models with prime invisible tasks

Lijie Wen, Jianmin Wang, Wil M.P. van der Aalst, Biqing Huang, Jiaguang Sun
2010 Data & Knowledge Engineering  
We illustrate the advantages of using a declarative language in conjunction with logic-based semantics by applying our approach to a running example. 1 Societies Of ComputeeS (SOCS): a computational logic  ...  model for the description, analysis and verification of global and open societies of heterogeneous computees.  ...  ACKNOWLEDGMENT This work has been partially supported by the PRIN 2005 project "Specification and Verification of Agent Interaction Protocols" and by the FIRB project "TO-CAI.IT".  ... 
doi:10.1016/j.datak.2010.06.001 fatcat:o6i5fduqhbcollj4sc2nwzk4qu

Declarative specification and verification of service choreographiess

Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
2010 ACM Transactions on the Web  
Declarative specification and verification of service choreographies. 1 Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies  ...  Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors  ...  ACKNOWLEDGMENTS We would like to thank Marco Gavanelli, Evelina Lamma, Marco Alberti, Paolo Torroni, Fabrizio Riguzzi and all colleagues that took part in the SOCS project.  ... 
doi:10.1145/1658373.1658376 fatcat:7n3nhfgwgfcx7a54cvkxlkmcpe

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines [chapter]

Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani
2010 Lecture Notes in Computer Science  
In recent years, many groups have developed different computer-assisted management systems of GL. Each approach has its own peculiarities and thus a comparison is necessary.  ...  The final goal of our analysis is to exploit the differences between these two systems and if they can be fruitfully integrated.  ...  We would like to thank Manuela Rossi for her contribution to the comparison between GLARE and GPROVE. This work has been partially supported by the FIRB Project TOCAI.IT.  ... 
doi:10.1007/978-3-642-11808-1_7 fatcat:utstjnau2vgftj5eawfk7m64bi

Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$ -Tropos

Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl
2010 Autonomous Agents and Multi-Agent Systems  
We demonstrate the functioning of B-Tropos using a running example inspired by a real-world industrial scenario, and we describe how B-Tropos models can be automatically formalized in computational logic  ...  , discussing formal properties of the resulting framework and its verification capabilities.  ...  Acknowledgements This work has been partially funded by EU SENSORIA and SERENITY projects, by the MIUR-FIRB TOCAI project, by the MIUR PRIN 2005-011293 project, and by the PAT MOSTRO project.  ... 
doi:10.1007/s10458-010-9135-4 fatcat:nqnsa6qtvva7hdaof2nea77icy

Verification of Choreographies During Execution Using the Reactive Event Calculus [chapter]

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
2009 Lecture Notes in Computer Science  
We select a core set of DecSerFlow elements and formalize them using a reactive version of the Event Calculus, based on the computational logic SCIFF framework.  ...  Our choice enables us to enrich DecSerFlow and the Event Calculus with quantitative time constraints and to model compensation actions.  ...  This work has been partially supported by the FIRB project TOCAI.IT. The authors would like to thank the anonymous reviewers for their helpful comments.  ... 
doi:10.1007/978-3-642-01364-5_4 fatcat:kmc7h5dxdfhmvmlmr2vjzgnxyy

COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
2007 Computational intelligence  
We present a roadmap of research into the use of computational logic in agent-based systems and survey much of the recent work in these areas.  ...  The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation.  ...  In particular, the SOCS-SI tool [ACG + 06] (already mentioned in the previous section in relation with SOCS), uses the abductive logic programming SCIFF proof-procedure to consider messages exchanged by  ... 
doi:10.1111/j.1467-8640.2007.00295.x fatcat:c76gbfuuwngjpk7ebs2jkpfxfi

Specification, Execution and Verification of Interaction Protocols An Approach based on Computational Logic Settore Disciplinare: ING-INF05 Ciclo XIX Examing Committee

Chiar Ma, Paola Mello, School, Federico Chesani, Chiar Mo, Bassi, Paola Mello, School, Paolo Bassi, Anna Ciampolini, Letizia, Cesare Stefanelli
unpublished
The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol.  ...  Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features.  ...  259,02 Table 3 . 2 : 32 Testing performances of the SCIFF Proof Procedure and SOCS-SI while increasing the depth of the derivation tree. No. of Messages SOCS-SI Time(sec.)  ... 
fatcat:sosm2oz3wjdlli5n6g754aed24

Monitoring norms: a multi-disciplinary perspective

Mehdi Dastani, Paolo Torroni, Neil Yorke-Smith
2018 Knowledge engineering review (Print)  
AbstractThe concept of a norm is found widely across fields including artificial intelligence, biology, computer security, cultural studies, economics, law, organizational behaviour and psychology.  ...  Starting with a broad focus and narrowing to the multi-agent systems literature, this survey addresses four key questions: what is monitoring, what is monitored, who does the monitoring and how the monitoring  ...  NYS was partially supported by grant number 102853 from the University Research Board, American University of Beirut. NYS thanks the fellowship at St Edmund's College, Cambridge.  ... 
doi:10.1017/s0269888918000267 fatcat:yquw5xwfv5hexkeyljdo6lyhai
« Previous Showing results 1 — 15 out of 22 results