Reasoning about agents and protocols via goals and commitments

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 1, Issue , 2010, Pages 457-464

  Chopra, Amit K ^a   Dalpiaz, Fabiano ^a   Giorgini, Paolo ^a   Mylopoulos, John ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

Theory; Verification

Indexed keywords

AUTONOMOUS AGENTS; MULTI AGENT SYSTEMS; SEMANTICS; VERIFICATION;

AGENT SPECIFICATION; GOAL MODELS; SEMANTIC RELATIONSHIPS; THEORY;

SPECIFICATIONS;

EID: 84899420711     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. N. Alechina, M. Dastani, B. S. Logan, and J.-J. Ch. Meyer. Reasoning about agent deliberation. In Proceedings, KR, pages 16-26, 2008.
2. A. Artikis, M. J. Sergot, and J. V. Pitt. Specifying norm-governed computational societies. ACM Transactions on Cornputatinal Logic, 10(1). 2009.
3. M. Baldoni, C. Baroglio, A. K. Chopra, N. Dosai, V. Patti, and M. P. Singh. Choice, interoperability, and conformance in interaction protocols and service choreographies. In Proceedings, AAMAS, pages 843-850, 2009.
4. J. BcnUhar, J.-J. Meyer, and W. Wan. Model checking communicative agent-based systems. Knowledge-Based Systems, 22(3):142-159, 2009.
5. P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia. and J. Mylopoulos. Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multiagent Systems, 8(3):203-236, 2004.
6. C. Cheong and M. P. Winikoff. Hermes: Designing flexible and robust agent interactions. In Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pages 105-139, 2009.
7. A. K. Chopra and M. P. Singh. Multiagent commitment alignment. In Proceedings, AAMAS. pages 937-944, 2009.
8. R. Conte, R. Falcone, and G. Sartor. Introduction: Agents and norms: How to fill the gap? AI and Law, 7(1):1-15, 1999.
9. F. Dalpiaz, P. Giorgini, and J. Mylopoulos. An architecture for requirements-driven self-reconfiguration. In Proceedings, CAiSE, Volume 5565 of LNCS, pages 246-260. Springer, 2009.
10. M. Dastani, V. Dignum, and F. Dignum. Role-assignment in open agent societies. In Proceedings, AAMAS, pages 489-496, 2003.
11. M. Dastani, J. Hulstijn. F. Dignum, and J.-J. C. Meyer. Issues in multiagent system development. In Proceedings, AAMAS, pages 922-929, 2004.
12. F. Dignum. Autonomous agents with norms. AI and Law, 7(1):69-79, 1999.
13. F. Dignum, D. Morley, E. Sonenberg, and L. Cavedon. Towards socially sophisticated BDI agents. In Proceedings, ICMAS, pages 111-118, 2000.
14. U. Endriss, N. Maudet. F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In Proceedings, IJCAI, pages 679-684, 2003.
15. N. Fornara, F. Viganô, M. Verdicchio, and M. Colombetfi. Artificial institutions: A model of institutional reality for open multiagent systems. AI and Law, 16(1):89-105, 2008.
16. K. V. Hindriks and M. B. van Riemsdijk. A Computational Semantics for Communicating Rational Agents Based on Mental Models. In Proceedings, ProMAS Workshop, 2009.
17. A. U. Mallya and M. P. Singh. Incorporating commitment protocols into Tropos. In Proceedings, AOSE 2005 Workshop, Volume 3950 of LNCS, pages 69-80. Springer, 2006.
18. J. Pitt and A. Mamdani. A protocol-based semantics for an agent communication language. In Proceedings, IJCAI, pages 486-491, 1999.
19. R. Sebastiani, P. Giorgini. and J. Mylopoulos. Simple and minimum-cost satisfiability for goal models. In Proceedings, CAiSE, Volume 3084 of LNCS, pages 20-35. Springer, 2004.
20. M. P. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, 31(12):40-47, 1998.
21. P. R. Tolang and M. P. Singh. Enhancing Tropos with commitments: A business metamodel and methodology. In Conceptual Modeling: Foundations and Applications, Volume 5000 of LNCS, pages 417-435, Springer, 2009.
22. M. Winikoff Implementing commitment-based interactions. In Proceedings, AAMAS, pages 1-8, 2007.
23. P. Yolum and M. P. Singh. Flexible protocol specification and execution: Applying event calculus planning using commitments. In Proceedings, AAMAS, pages 527-534, 2002.
24. F. Zambonelli, X. R. Jennings, and M. Wooldridge. Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering Methodology, 12(3):317-370, 2003.