Behavior-oriented commitment-based protocols

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 137-142

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Marengo, Elisa ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS;

BEHAVIOR-ORIENTED; BEHAVIOUR-ORIENTED; INTERACTION PROTOCOLS; OPENESS; PROPERTY; TWO-COMPONENT;

SPECIFICATIONS;

EID: 77956023740     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-137     Document Type: Conference Paper

References (38)

1. Declarative Agent Languages and Technologies VII, 7th Int. Workshop, DALT 2009, LNCS 5948. Springer, 2010.
2. M. Alberti, D. Daolio, P. Torroni, M. Gavanelli, E. Lamma, and P. Mello, 'Specification and verification of agent interaction protocols in a logic-based system', in Proc. of SAC, pp. 72-78. ACM, (2004).
3. M. Baldoni, C. Baroglio, and E. Marengo, 'Constraints among Commitments: Regulative Specification of Interaction Protocols', in Proc. of Int. Workshop AC 2010, pp. 2-18, (2010).
4. M. Baldoni, C. Baroglio, and E. Marengo, 'Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS', in Proc. of Int. Workshop DALT 2010, pp. 66-83, (2010).
5. J. Bentahar, J.-J. Ch. Meyer, and W. Wan, 'Model checking communicative agent-based systems', Knowl.-Based Syst., 22(3), 142-159, (2009).
6. G. Boella and L. W. N. Van Der Torre, 'Regulative and constitutive norms in normative multiagent systems', in Proc. of KR, pp. 255-266. AAAI Press, (2004).
7. C. Cherry, 'Regulative rules and constitutive rules', The Philosophical Quarterly, 23(93), 301-315, (1973).
8. F. Chesani, P. Mello, M. Montali, and P. Torroni, 'Commitment tracking via the reactive event calculus', in Proc. of IJCAI, pp. 91-96, (2009).
9. F. Chesani, P. Mello, M. Montali, and P. Torroni, 'Verifying a-priori the composition of declarative specified services', in MALLOW, vol.494 of CEUR Workshop Proceedings, (2009).
10. A. K. Chopra, Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing, Ph.D. diss., NCSU, 2009.
11. A. K. Chopra and M. P. Singh, 'Nonmonotonic Commitment Machines', in Proc. of ACL, LNCS 2922, pp. 183-200. Springer, (2003).
12. A. K. Chopra and M. P. Singh, 'Contextualizing commitment protocol', in Proc. of AAMAS'06, pp. 1345-1352. ACM, (2006).
13. A. K. Chopra and M. P. Singh, 'Constitutive interoperability', in Proc. of AAMAS'08, pp. 797-804, (2008).
14. A. K. Chopra and M. P. Singh, 'Multiagent commitment alignment', in Proc. of AAMAS'09, pp. 937-944, (2009).
15. E. A. Emerson, 'Temporal and Modal Logic', in Handbook of Theoretical Computer Science, volume B, 997-1072, Elsevier, (1990).
16. N. Fornara and M. Colombetti, 'Defining interaction protocols using a commitment-based agent communication language', in Proc. of AAMAS' 03, pp. 520-527, (2003).
17. N. Fornara and M. Colombetti, 'A Commitment-Based Approach To Agent Communication', Applied AI, 18(9-10), 853-866, (2004).
18. L. Giordano, A. Martelli, and C. Schwind, 'Specifying and verifying interaction protocols in a temporal action logic', J. Applied Logic, 5(2), 214-234, (2007).
19. L. Lamport, 'Time, clocks, and the ordering of events in a distributed system', Communication of the ACM, 558-565, (1978).
20. Montali M., M. Pesic, W.M. P. Van Der Aalst, F. Chesani, P. Mello, and S. Storari, 'Declarative specification and verification of service choreographies', ACM Transactions on the Web, (2009).
21. A. U. Mallya and M. P. Singh, 'Introducing preferences into commitment protocols', in AC, LNCS 3859, pp. 136-149. Springer, (2006).
22. P. McBurney and S. Parsons, 'Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents', J. of Logic, Language and Information, 11(3), 315-334, (2002).
23. M. Montali, Specification and Verification of Declarative Open Interaction Models - A Logic-based framework, Ph.D. dissertation, University of Bologna, 2009.
24. M. Pesic andW. M. P. Van Der Aalst, 'A Declarative Approach for Flexible Business Processes Management', in Proc. of. BPM Workshops, LNCS 4103, pp. 169-180. Springer, (2006).
25. H. M. Robert, Robert's Rules of Order, 1876. Available at http://www.gutenberg.org/etext/9097.
26. H. M. III Robert, W. J. Evans, D. H. Honemann, and T. J. Balch, Robert's Rules of Order Newly Revised, 10th Ed., Da Capo Press, 2000.
27. S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, Series in Artificial Intelligence, Prentice-Hall, 2nd edn., 2003.
28. J. Searle, Speech Acts, Cambridge University Press, 1969.
29. M. P. Singh, 'An ontology for commitments in multiagent systems', Artif. Intell. Law, 7(1), 97-113, (1999).
30. M. P. Singh, 'A social semantics for agent communication languages', in Issues in Agent Comm., LNCS 1916, pp. 31-45. Springer, (2000).
31. M. P. Singh, 'Distributed enactment of multiagent workflows: temporal logic for web service composition', in Proc. of AAMAS'03, pp. 907- 914. ACM, (2003).
32. M. P. Singh and A. K. Chopra, 'Correctness properties for multiagent systems', In DALT [1], pp. 192-207.
33. P. Torroni, F. Chesani, P. Mello, and M. Montali, 'Social commitments in time: Satisfied or compensated', In DALT [1], pp. 228-243.
34. M. B. van Riemsdijk, Cognitive Agent Programming, a Semantic Approach, Ph.D. dissertation, Utrecht University, the Netherlands, 2006.
35. M. Winikoff, W. Liu, and J. Harland, 'Enhancing commitment machines', in Proc. of DALT, LNCS 3476, pp. 198-220, (2004).
36. M. Wooldridge, An Introduction to MultiAgent Systems, John Wiley & Sons, 2002.
37. P. Yolum and M. P. Singh, 'Commitment machines', in Proc. of ATAL, LNCS 2333, pp. 235-247. Springer, (2001).
38. P. Yolum and M. P. Singh, 'Designing and executing protocols using the event calculus', in Agents, pp. 27-28, (2001).