Verification and analysis of organisational change

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3913 LNAI, Issue , 2006, Pages 48-63

  McCallum, Mairi ^a   Vasconcelos, Wamberto W ^a   Norman, Timothy J ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERS; INTELLIGENT AGENTS; SOCIETIES AND INSTITUTIONS;

ORGANISATIONAL CHANGE; ORGANISATIONAL STRUCTURE;

MULTI AGENT SYSTEMS;

EID: 33746051368     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11775331_4     Document Type: Conference Paper

References (27)

1. M. Barbuceanu. Coordinating agents by role based social constraints and conversation plans. In Proceedings of the 14th National Conference on Artificial Intelligence, pages 16-21, 1997.
2. B. Bauer, J. P. Muller, and J. Odell. Agent UML: A formalism for specifying multiagent interaction. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, pages 91-103. Springer-Verlag, 2001.
3. C. Castelfranchi. Modelling social action for AI agents. Artificial Intelligence, 103:157-182, 1998.
4. L. Cavedon and L. Sonenberg. On social commitment, roles and preferred goals. In Proceedings of the Third International Conference on Multi-Agent Systems, pages 80-87, 1998.
5. R. Conte and C. Castelfranchi. Cognitive and Social Action. UCL Press, 1995.
6. M. Dastani, V. Dignum, and F. Dignum. Role-assignment in open agent societies. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, pages 489-496, 2003.
7. N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. MIT Press, 1990.
8. F. Dignum, D. Morley, E. Sonenberg, and L. Cavedon. Towards socially sophisticated BDI agents. In Proceedings of the Fourth International Conference on MultiAgent Systems, pages 111-118, 2000.
9. V. Dignum, F. Dignum, and L. Sonenberg. Towards dynamic reorganization of agent societies. In ECAI Workshop on Coordinating Emergent Agent Societies, 2004.
10. M. Esteva. Electronic Institutions: from specification to development. PhD thesis, Universitat Politècnica de Catalunya (UPC), 2003. IIA monography Vol. 19.
11. M. Esteva, W. Vasconcelos, C. Sierra, and J. A. Rodríguez-Aguilar. Verifying Norm Consistency in Electronic Institutions. In Proceedings of AAAI 2004 Workshop on Agent Organizations: Theory and Practice, San Jose, California, U.S.A., 2004. AAAI Press.
12. A. J. I. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logic, 4(3):427-443, 1996.
13. M. J. Kollingbaum and T. J. Norman. Norm consistency in practical reasoning agents. In PROMAS Workshop on Programming Multiagent Systems, 2003.
14. F. López y López and M. Luck. Towards a model of the dynamics of normative multi-agent systems. In Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications at AAMAS 2002, pages 175-193, 2002.
15. Carlsson M., Ottosson G., and Carlson B. An open-ended finite domain constraint solver. In Proc. Programming Languages: Implementations, Logics, and Programs, 1997.
16. M. McCallum, T. J. Norman, and W. W. Vasconcelos. A formal model of organisations for engineering multi-agent systems. In ECAI Workshop on Coordinating Emergent Agent Societies, 2004.
17. T. J. Norman and C. A. Reed. Group delegation and responsibility. In In Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 491-498, 2002.
18. Swedish Institute of Computer Science. SICStus prolog. http://www.sics.se/isl/sicstuswww/site/index.html.
19. O. Pacheco and J. Carmo. A role based model for the normative specification of organized collective agency and agents interaction. Autonomous Agents and Multi-Agent Systems, 6(6):145-184, 2003.
20. P. Panzarasa, N. R. Jennings, and T. J. Norman. Social mental shaping: Modelling the impact of sociality on the mental states of autonomous agents. Computational Intelligence, 17(4):738-782, 2001.
21. S. J. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, Inc., U.S.A., 2 edition, 2003.
22. M. Sergot. Normative positions. In Henry Prakken and Paul McNamara, editors, Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, pages 289-310. IOS Press, 1998.
23. J. S. Sichman and Y. Demazeau. On social reasoning in multi-agent systems. In Revista Ibero-Americana de Inteligncia Artificial, volume 13, pages 68-84, 2001.
24. N. Skarrneas. Organizations through roles and agents, citeseer.nj.nec.com/174774.html.
25. Victor Vianu. Rule-Based Languages. Annals of Mathematics and Artificial Intelligence, 19(1-2):215-259, March 1997.
26. M. Wooldridge, N, R. Jennings, and D. Kinny. The GAIA methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3):285-312, 2000.
27. F. Zambonelli, N. R. Jennings, and M. Wooldridge. Organisational rules as an abstraction for the analysis and design of multi-agent systems. International Journal of Software Engineering and Knowledge Engineering, 11(3):303-328, 2001.