Abstract | ||
---|---|---|
In most proposals for multi-agent systems, an Agent Communication Language (ACL) is the formalism designed to express knowledge exchange among agents. However, a universally accepted standard for ACLs is still missing. Among the different approaches to the definition of ACL semantics, the social approach seems the most appropriate to express semantics of communication in open societies of autonomous and heterogeneous agents. In this paper we propose a formalism (deontic constraints) to express social ACL semantics, which can be grounded on a computational logic framework, thus allowing automatic verification of compliance by means of appropriate proof procedures. We also show how several common communication performatives can be defined by means of deontic constraints. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/3-540-45023-8_20 | CEEMAS |
Keywords | Field | DocType |
computational logic framework,social approach,automatic verification,appropriate proof procedure,accepted standard,social acl semantics,common communication performatives,agent communication language,deontic constraint,acl semantics,multi agent system,computational logic | Performative utterance,Computational logic,Programming language,Deontic logic,Computer science,Social infrastructure,Social identity approach,Artificial intelligence,Autonomous system (mathematics),Formalism (philosophy),Semantics,Distributed computing | Conference |
Volume | ISSN | ISBN |
2691 | 0302-9743 | 3-540-40450-3 |
Citations | PageRank | References |
16 | 0.95 | 8 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
marco alberti | 1 | 467 | 30.93 |
Anna Ciampolini | 2 | 133 | 15.72 |
Marco Gavanelli | 3 | 596 | 48.07 |
Evelina Lamma | 4 | 1268 | 109.21 |
Paola Mello | 5 | 444 | 21.33 |
Paolo Torroni | 6 | 1167 | 80.57 |