Commitments with regulations: Reasoning about safety and control in REGULA

10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011

Volumn 1, Issue , 2011, Pages 433-440

  Marengo, Elisa ^a   Baldoni, Matteo ^a   Baroglio, Cristina ^a   Chopra, Amit K ^a   Patti, Viviana ^a   Singh, Munindar P ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Business process modeling; Business protocols

Indexed keywords

MULTI AGENT SYSTEMS; SEMANTICS; SYSTEMS ENGINEERING;

BUSINESS PROCESS MODEL; BUSINESS PROTOCOLS; BUSINESS RELATIONSHIPS; DISTRIBUTED ARTIFICIAL INTELLIGENCE; FORMAL SEMANTICS; HETEROGENEOUS AGENTS; REALISTIC APPLICATIONS; REPRESENTATION OF EVENTS;

AUTONOMOUS AGENTS;

EID: 84899444781     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. M. Alberti, F. Chesani, D. Daolio, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Pract. & Exp., 8(1): 1-13, 2007.
2. H. Aldewereld, S. Alvarez-Napagao, F. Dignum, and J. Vazquez-Salceda. Making norms concrete. AAMAS, pp. 807-814, 2010.
3. M. Baldoni, C. Baroglio, and E. Marengo. Behavior-oriented commitment-based protocols. In ECAI, pp. 137-142, 2010.
4. G. Boella and L. W. N. van der Torre. Regulative and constitutive norms in normative multiagent systems. In KR Conf, pp. 255-266, 2004.
5. F. Chesani, P. Mello, M. Montali, and P. Torroni. Commitment tracking via the reactive event calculus. In IJCAI, pp. 91-96, 2009.
6. A. K. Chopra and M. P. Singh. Contextualizing commitment protocol. In AAMAS, pp. 1345-1352, 2006.
7. S. Cranefield and M. Winikoff. Verifying social expectations by model checking truncated paths. In COIN, LNCS 5428, pp. 204-219. Springer, 2009.
8. N. Desai and M. P. Singh. On the enactability of business protocols. In AAAI, pages 1126-1131, July 2008.
9. M. El-Menshawy, J. Bentahar, and R. Dssouli. Verifiable semantic model for agent interactions using social commitments. In Proc. Intl. WS Languages, Methodologies, and Development Tools for Multi-Agent Sys., LNCS 6039, pages 128-152. Springer, 2010.
10. N. Fornara and M. Colombetti. Operational specification of a commitment-based agent communication language. In AAMAS, pp. 535-542, 2002.
11. L. Giordano, A. Martelli, and C. Schwind. Specifying and verifying interaction protocols in a temporal action logic. Journal of Applied Logic, 5(2):214-234, 2007.
12. A. I. Goldman. A Theory of Human Action. Prentice-Hall, Englewood Cliffs, NJ, 1970.
13. A. U. Mallya, P. Yolum, and M. P. Singh. Resolving commitments among autonomous agents. In WS on Agent Communication, LNAI2922, pp. 166-182. Springer, 2003.
14. H. M. I. Robert, W. J. Evans, D. H. Honemann, and T. J. Balch. Robert's Rules of Order, 10th Ed. Da Capo Press, 2000.
15. J. R. Searle. The Construction of Social Reality. Free Press, New York, 1995.
16. M. P. Singh. Distributed enactment of multiagent workflows: Temporal logic for service composition. In AAMAS, 2003.
17. M. P. Singh. Semantical considerations on dialectical and practical commitments. In AAAI, pp. 176-181, 2008.
18. W. van der Hoek and M. Wooldridge. On the dynamics of delegation, cooperation, and control: A logical account. In AAMAS, pp. 701-708, 2005.
19. P. Yolum and M. P. Singh. Flexible protocol specification and execution: Applying event calculus planning using commitments. In AAMAS, pp. 527-534, 2002.