Specification and verification of agent interaction protocols in a logic-based system

Scalable Computing

Volumn 8, Issue 1, 2007, Pages 1-13

  Alberti, Marco ^a   Chesani, Federico ^a   Daolio, Davide ^a   Gavanelli, Marco ^a   Lamma, Evelina ^a   Mello, Paola ^a   Torroni, Paolo ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPLIANCE CONTROL; COMPUTATION THEORY; COMPUTER CIRCUITS; PROLOG (PROGRAMMING LANGUAGE); SPECIFICATIONS;

AGENT INTERACTION PROTOCOLS; COMPUTATIONAL ENTITIES; FIPA CONTRACT NET PROTOCOL; INTER-ACTION PROTOCOLS; INTERACTING ENTITIES; LOGIC BASED FORMALISM; SOCIAL INTEGRITY CONSTRAINTS; SPECIFICATION AND VERIFICATION;

MULTI AGENT SYSTEMS;

EID: 48249102554     PISSN: 18951767     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. F1PA Contract Net. Interaction Protocol. Tech. Report SC00029H, Foundation for Intelligent Physical Agents, 2002. Available at http://www.fipa.org
2. M. ALBEIOT, A. CiA.viPOLiNi, M. GAVANELLI, E. LA.M.MA, P. MELLO, AND P. TOBBONI A social ACL semantics by deontic constraints, in Multi-Agent Systems and Applications 111. Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, V. Marik,.1. Müller, and M. Pfiohoufiek, eds" vol. 2691 of Lecture Notes in Artificial Intelligence, Prague, Czech Republic, June 16 18 2003, Springer-Verlag, pp. 204 213
3. M. ALBEIOT, M. GAVANELLI, E. LA.M.MA, E. GIIESANI, D. MELLO, AND P. TOBBONI Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence, 20 (2006), pp. 133 157
4. M. ALBEIOT, M. GAVANELLI, E. LA.M.MA, P. MELLO, AND P. TOBBONI An Abductive Interpretation for Open Societies, in A1*1A 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, A. Cappelli and F. Turini, ods., vol. 2829 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Sept. 23 26 2003, pp. 287 299
5. M. ALBEIOT, M. GAVANELLI, E. LA.M.MA, P. MELLO, AND P. TOBBONI Specification and Verification of Agent Interactions using Social Integrity Constraints. Electronic Notes in Theoretical Computer Science, 85 (2003)
6. M. ALBEIOT, M. GAVANELLI, E. LA.M.MA, P. MELLO, AND P. TOBBONI 2005, vol. 3673 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2005, pp. 135 147
7. A. ABTIKIS, J. PITT, AND M. SEBGOT Animated specifications of computational societies, in Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part 111, C. Castelfranchi and W. Lewis Johnson, eds" Bologna, Italy, July 15 19 2002, ACM Press, pp. 1053 1061
8. E. BELLIEEMINE, E. BEBGENTI, G. CAUSE, AND A. POGGI Jade- a java agent development framework, in Multi-Agent Programming: Languages, Platforms and Applications, R. H. Bordini, M. Dastani, J. Dix, and A. E. Fallah-Seghrouchni, eds., vol. 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations, Springer-Verlag, 2005, pp. 125 147
9. A. BBACCIALI, U. ENDBISS, N. DEMETBIOU, A. C. KAKAS, W. LU, AND K. STATIUS Crafting the mind of prosocs agents. Applied Artificial Intelligence, 20 (2006), pp. 105 131
10. E. GIIESANI, A. CIAMPOLINI, P. MELLO, M. MONTALI, AND S. STOBABI Testing guidelines conformance by translating a graphical language to computational logic, in ECA1 2006 Workshop on A1 techniques in hoalthcaro:ovidonco based guidelines and protocols, Riva del Garda, Italy, August 2006. http://www.openclinical.org/cgp2006_2.html
11. P. DAVIDSSON Categories of artificial societies, in Engineering Societies in the Agents World 11, A. Omicini, P. Pctta, and R. Tolksdorf, eds., vol. 2203 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Dee. 2001, pp. 1 9. 2nd International Workshop (ESAW:01), Prague, Czech Republic, July 7, 2001, Revised Papers
12. E. DENTI, A. OMICINI, AND A. Ricci Multi-paradigm Java-Prolog integration in tuProlog. Science of Computer Programming, 57 (2005), pp. 217 250
13. U. ENDBISS, N. MAUDET, E. SADBI, AND E. TONI, Protocol conformance for logic-based agents, in Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (l.ICAl-03), G. Gottlob and T. Walsh, eds., Morgan Kaufmann Publishers, Aug. 2003
14. FIPA: Foundation for Intelligent Physical Agents. Home Page: http://www.fipa.org/
15. N. EOBNABA AND M. COLOMBETTI Operational specification of a commitment-based agent communication language, in Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part 11, C. Castelfranchi and W. Lewis Johnson, eds., Bologna, Italy, July 15 19 2002, ACM Press, pp. 535 542
16. T. Enüiiwnmi Theory and practice of constraint, handling rules.Journal of Logie Programming, 37 (1998), pp. 95 138
17. J. JAEEAB AND M. MAIIEB Constraint, logic programming: a survey. Journal of Logie Programming, 19-20 (1994), pp. 503 582
18. A. C. KAKAS, R. A. KOWALSKI, AND E. TONI The role of abduction in logic programming, in Handbook of Logie in Artificial Intelligence and Logie Programming, D. M. Gabbay, C. J. Hogger, and J. A. Robinson, eds., vol. 5, Oxford University Press, 1998, pp. 235 324
19. R. A. KOWALSKI AND M. SEBGOT A logic-based calculus of events. New Generation Computing, 4 (1986), pp. 67 95
20. J. W. LLOYD Foundations of Logic Programming. Springer-Verlag, 2nd extended ed., 1987
21. J. MULLEB AND J. ODELL Agent UML: A formalism for specifying multiagent software, systems. International Journal of Software Engineering and Knowledge Engineering, 11(3) (2001), pp. 207 230
22. SICStus prolog user manual, release 3.11.0. Oct. 2003. http://www.sics.se/isl/sicstus/
23. The. SOCS protocol repository. 2005. Available at http://edu59.deis.unibo.it:8079/S0CSProtocolsRepository/j sp/index.jsp
24. P. YOLUM AND M. SINGH, Flexible protocol specification and execution: applying event calculus planning using commitments. in Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS- 2002), Part 11, C. Castelfranchi and W. Lewis Johnson, eds., Bologna, Italy, July 15 19 2002, ACM Press, pp. 527 534