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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11875604_22 | ISMIS |
Keywords | Field | DocType |
operational procedure,ciff framework,interaction protocol,declarative specification,agent policy,multi-agent system,abductive logic programming,agent instance,ciff platform,verifiable logic-based agent architecture,computational logic foundation,computational logic,agent architecture,multi agent system | Intelligent agent,Computer science,Interaction protocol,Theoretical computer science,Abductive logic programming,Verifiable secret sharing,Artificial intelligence,Logic programming,Computational logic,Software engineering,Agent architecture,Data integrity,Machine learning | Conference |
Volume | ISSN | ISBN |
4203 | 0302-9743 | 3-540-45764-X |
Citations | PageRank | References |
0 | 0.34 | 15 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
marco alberti | 1 | 467 | 30.93 |
federico chesani | 2 | 801 | 46.41 |
Marco Gavanelli | 3 | 596 | 48.07 |
Evelina Lamma | 4 | 1268 | 109.21 |
Paola Mello | 5 | 444 | 21.33 |