Dynamic specification of open agent systems

Journal of Logic and Computation

Volumn 22, Issue 6, 2012, Pages 1301-1334

  Artikis, Alexander ^a  

^a INSTITUTE OF INFORMATICS AND TELECOMMUNICATIONS   (Greece)

Author keywords

executable specification; norm; norm change; norm governed system; organized adaptation

Indexed keywords

EXECUTABLE SPECIFICATIONS; NORM; NORM CHANGE; NORM-GOVERNED SYSTEM; ORGANIZED ADAPTATION;

C (PROGRAMMING LANGUAGE); MULTI AGENT SYSTEMS;

SPECIFICATIONS;

EID: 84861057109     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exr018     Document Type: Article

References (87)

1. V. Akman, S. Erdogan, J. Lee, V. Lifschitz, and H. Turner. Representing the zoo world and the traffic world in the language of the Causal Calculator. Artificial Intelligence, 153, 105-140, 2004.
2. C. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510-530, 1985.
3. A. Artikis. Dynamic protocols for open agent systems. In Proceedings of International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 97-104. ACM, 2009.
4. A. Artikis. Formalising dynamic protocols for open agent systems. In Proceedings of International Conference on Artificial Intelligence & Law (ICAIL), pp. 68-77. ACM, 2009.
5. A. Artikis and M. Sergot. Executable specification of open multi-agent systems. Logic Journal of the IGPL, 18, 31-65, 2010.
6. A. Artikis, M. Sergot, and J. Pitt. An executable specification of a formal argumentation protocol. Artificial Intelligence, 171, 776-804, 2007.
7. A. Artikis, M. Sergot, and J. Pitt. Specifying norm-governed computational societies. ACM Transactions on Computational Logic, 10, 2009.
8. J. Bing. Managing copyright in a digital environment. In The Impact of Electronic Publishing on the Academic Community, I. Butterworth, ed., pp. 52-62. Portland Press, 1998.
9. G. Boella,G. Pigozzi, and L. van derTorre. Normative framework for normative system change. In Proceedings of International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 169-176. ACM Press, 2009.
10. E. Bou,M.López-Sánchez, and J. Rodriguez-Aguilar.Towards self-configuration in autonomic electronic institutions. In Proceedings ofWorkshop on Coordination, Organization, Institutions and Norms in agent systems, Vol. 4386 of Lecture Notes in Computer Science, pp. 220-235. Springer, 2007.
11. E. Bou, M. López-Sánchez, and J. Rodriguez-Aguilar. Using case-based reasoning in autonomic electronic institutions. In Proceedings ofWorkshop on Coordination, Organization, Institutions and Norms in agent systems, Vol. 4870 of Lecture Notes in Computer Science, pp. 125-138. Springer, 2008.
12. G. Brewka. Dynamic argument systems: a formal model of argumentation processes based on situation calculus. Journal of Logic and Computation, 11, 257-282, 2001.
13. J. Broersen. Issues in designing logical models for norm change. In Proceedings of Internation Workshop in Oprganised Adaptation on Multi-Agent Systems (OAMAS), G. Vouros, A. Artikis, K. Stathis, and J. Pitt, eds,Vol. 5368 of Lecture Notes in Computer Science, pp. 1-17. Springer, 2009.
14. V. Bryant. Metric Spaces. Cambridge University Press, 1985.
15. R. Chadha, H. Cheng,Y.-H. Cheng, J. Chiang, A. Ghetie, G. Levin, and H. Tanna. Policy-based mobile ad hoc network management. In Proceedings of the InternationalWorkshop on Policies for Distributed Systems and Networks (POLICY), pp. 35-44. IEEE Computer Society, 2004.
16. A. Chopra and M. Singh. Contextualizing commitment protocols. In Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1345-1352.ACM, 2006.
17. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV Version 2: an opensource tool for symbolic model checking. In Proceedings of International Conference on Computer-Aided Verification (CAV 2002), Copenhagen, July 2002, Vol. 2404 of Lecture Notes in Computer Science. Springer, 2002. See http://nusmv.irst.itc.it.
18. M. Colombetti.Acommitment-based approach to agent speech acts and conversations. In Proceedings of Workshop on Agent Languages and Communication Policies, pp. 21-29, 2000.
19. A. Rocha Costa and G. Pereira Dimuro. A minimal dynamical MAS organization model. In Multi-Agent Systems-Semantics and Dynamics of Organisational Models. V. Dignum, ed., pp. 419-445. IGI Global, 2009.
20. R. Craven. Execution Mechanisms for the Action Language C+. PhD Thesis, University of London, September 2006.
21. R. Craven and M. Sergot. Distant causation in C+. Studia Logica, 79, 73-96, 2005.
22. S. DeLoach. OMACS: a framework for adaptive, complex systems. In Multi-Agent Systems: Semantics and Dynamics of Organisational Models. V. Dignum, ed., pp. 76-104. IGI Global, 2009.
23. S. DeLoach,W. Oyenan, and E. Matson.Acapabilities-based model for adaptive organizations. Autonomous Agents and Multi-Agent Systems, 16, 13-56, 2008.
24. H.-P. Dommel and J. J. Garcia-Luna-Aceves. Floor control for multimedia conferencing and collaboration. Multimedia Systems, 5, 23-38, 1997.
25. N. Dulay, E. Lupu, M. Sloman, and N. Damianou.Apolicy deployment model for the Ponder language. In Proceedings of International Symposium on Integrated Network Management, pp. 14-18. IEEE/IFIP, 2001.
26. M. Esteva, D. de la Cruz, and C. Sierra. ISLANDER: an electronic institutions editor. In Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), C. Castelfranchi and L. Johnson, eds, pp. 1045-1052. ACM Press, 2002.
27. M. Esteva, J. Padget, and C. Sierra. Formalizing a language for institutions and norms. In Intelligent Agents VIII: Agent Theories, Architectures, and Languages, J.-J. Meyer and M. Tambe, eds, Vol. 2333 of Lecture Notes in Artifical Intelligence, pp. 348-366. Springer, 2002.
28. M. Esteva, J. Rodriguez-Aguilar, J. Arcos, C. Sierra, and P. Garcia. Institutionalising open multi-agent systems. In Proceedings of the International Conference on Multi-agent Systems (ICMAS), E. Durfee, ed., pp. 381-382. IEEE Press, 2000.
29. M. Esteva, J. Rodriguez-Aguilar,C. Sierra, P. Garcia, and J.Arcos. On the formal specifications of electronic institutions. In Agent Mediated Electronic Commerce, F. Dignum and C. Sierra, eds, Vol. 1991 of Lecture Notes in Artifical Intelligence, pp. 126-147. Springer, 2001.
30. M. Esteva, J. Rodríguez-Aguilar, C. Sierra, and W. Vasconcelos. Verifying norm consistency in electronic institutions. In Proceedings of the AAAI-04 Workshop on Agent Organizations: Theory and Practice, pp. 8-14, 2004.
31. C. B. Excelente-Toledo and N.R. Jennings. The dynamic selection of coordination mechanisms. Autonomous Agents and Multi-Agent Systems, 9, 55-85, 2004.
32. N. Fornara and M. Colombetti. Multi-Agent Systems: Semantics and Dynamics of Organizational Models. Formal specification of artificial institutions using the event calculus. IGI Global, 2009.
33. N. Fornara, F. Viganò, and M. Colombetti. Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems, 14, 121-142, 2007.
34. N. Fornara, F. Viganò, M. Verdicchio, and M. Colombetti. Artificial institutions: a model of institutional reality for open multiagent systems. Artificial Intelligence and Law, 16, 89-105, 2008.
35. I. Foster, C. Kesselman, and S. Tuecke. The anatomy of the grid-enabling scalable virtual organizations. International Journal of Supercomputer Applications, 15, 200-222, 2001.
36. A. García-Camino, P. Noriega, and J. Rodríguez-Aguilar. Implementing norms in electronic institutions. In Proceedings of the Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 667-673. ACM Press, 2005.
37. M. Gebser, T. Grote, and T. Schaub. Coala: a compiler from action languages to ASP. In European Conference in Logics in Artificial Intelligence (JELIA), pp. 360-364, 2010.
38. E. Giunchiglia, J. Lee,V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, 153, 49-104, 2004.
39. E. Giunchiglia, J. Lee, V. Lifschitz, and H. Turner. Causal laws and multi-valued fluents. In Proceedings of Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), 2001.
40. S. Godic and T. Moses. Oasis extensible access control markup language (xacml), vesrion 2.0. http://www.oasis-open.org/commitees/xacml/index.shtml, March 2005.
41. G. Governatori,V. Padmanabhab, and A. Rotolo. Rule-based agents in temporalised defeasible logic. In Proceedings of Pacific Rim International Conference on Artificial Intelligence (PRICAI), Vol. 4099 of Lecture Notes in Computer Science, pp. 31-40. Springer, 2006.
42. G. Governatori, M. Palmirani, R. Riveret, A. Rotolo, and G. Sartor. Norm modifications in defeasible logic. In Proceedings of Conference on Legal Knowledge and Information Systems (JURIX), pp. 13-22. IOS Press, 2005.
43. G. Governatori and A. Rotolo. Changing legal systems: abrogation and annulment. Part I: revision of defeasible theories. In Proceedings of Conference on Deontic Logic in Computer Science (DEON), R. van der Meyden and L. van der Torre, eds, Vol. 5076 of Lecture Notes in Computer Science, pp. 3-18. Springer, 2008.
44. G. Governatori and A. Rotolo. Changing legal systems: abrogation and annulment. Part II: temporalised defeasible logic. In Proceedings ofWorkshop on Normative Multiagent Systems (NORMAS), G. Boella, G. Pigozzi, M. Singh, and H. Verhagen, eds, pp. 112-127, 2008.
45. G. Governatori, A. Rotolo, R. Riveret, M. Palmirani, and G. Sartor. Variants of temporal defeasible logics for modelling norm modifications. In Proccedings of International Conference on Artificial Intelligence & Law (ICAIL). ACM, 2007.
46. M. Hardwick and R. Bolton. The industrial virtual enterprise. Communications of the ACM, 40, 59-60, 1997.
47. C. Hewitt. Open information systems semantics for distributed artificial intelligence. Artificial Intelligence, 47, 79-106, 1991.
48. M. Hoogendoorn. Adaptation of organizational models for multi-agent systems based on max flow networks. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 1321-1326, 2007.
49. M. Hoogendoorn, C. Jonker,M. Schut, and J.Treur. Modeling centralized organization of organizational change. Computational & Mathematical Organization Theory, 13, 147-184, 2007.
50. J. F. Hübner, J. S. Sichman, and O. Boissier. Using the MOISE+ for a cooperative framework of MAS reorganization. In Proceedings of the Brazilian Symposium on Artificial Intelligence (SBIA), Vol. 3171 of Lecture Notes in Artifical Intelligence, pp. 506-515. Springer, 2004.
51. L. L. Jilani, J. Desharnais, and A. Mili. Defining and applying measures of distance between specifications. IEEE Transactions on Software Engineering, 27, 673-703, 2001.
52. A. Jones and M. Sergot. On the characterisation of law and computer systems: the normative systems perspective. In Deontic Logic in Computer Science: Normative System Specification, pp. 275-307. J.Wiley and Sons, 1993.
53. A. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of the IGPL, 4, 429-445, 1996.
54. R Kota, N. Gibbins, and N. Jennings. Self-organising agent organizations. In Proceedings of International Conference on Autonomous Agents and Multiagent Systems, pp. 797-804. IFAAMAS, ACM, 2009.
55. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4, 67-96, 1986.
56. J. Lee, V. Lifschitz, and H. Turner. A representation of the zoo world in the language of the Causal Calculator. In Proceedings of Symposium on Formalizations of Commonsense Knowledge, 2001.
57. R. Loui. Process and policy: Resource-bounded non-demonstrative argument. Technical report,Washington University, Department of Computer Science, 1992.
58. D. Makinson. On the formal representation of rights relations. Journal of Philosophical Logic, 15, 403-425, 1986.
59. D. Makinson and L. van der Torre. Input-output logics. Journal of Philosophical Logic, 29, 383-408, 2000.
60. C. Martin and K. S. Barber. Adaptive decision-making frameworks for dynamic multi-agent organizational change. Autonomous Agents and Multi-Agent Systems, 13, 391-428, 2006.
61. N. Minsky. The imposition of protocols over open distributed systems. IEEE Transactions on Software Engineering, 17, 183-195, 1991.
62. N. Minsky. On conditions for self-healing in distributed software systems. In International Workshop on Active Middleware Services. IEEE Computer Society, 2003.
63. N. Minsky. Law-Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction and a Reference Manual), 2005. Retrieved 24 October 2008, from http://www.moses.rutgers.edu/documentation/manual.pdf.
64. N. Minsky. Decentralised regulation of distributed systems: Beyond access control. Submitted for publication. Retrieved 24 October 2008, from http://www.cs.rutgers.edu/̃minsky/papers/IC.pdf, 2008.
65. N. Minsky and T. Murata. On manageability and robustness of open multi-agent systems. In Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications, Vol. 2940 of Lecture Notes in Computer Science, pp. 189-206. Springer, 2004.
66. N. Minsky and V. Ungureanu. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology (TOSEM), 9, 273-305, 2000.
67. J. Pitt, L. Kamara, M. Sergot, and A. Artikis. Voting in multi-agent systems. Computer Journal, 49, 156-170, 2006.
68. H. Prakken and T. Gordon. Rules of order for electronic group decision making-a formalization methodology. In Collaboration between Human and Artificial Societies, J. Padget, ed., Vol. 1624 of Lecture Notes in Computer Science, pp. 246-263. Springer, 1999.
69. H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7, 25-75, 1997.
70. J. Rodriguez-Aguilar and C. Sierra. Enabling open agent institutions. In Socially Intelligent Agents: Creating relationships with computers and robots, K. Dautenhahn, A. Bond, L. Canamero, and B. Edmonds, eds, pp. 259-266. Kluwer Academic Publishers, 2002.
71. R. Rubino and G. Sartor. Source norms and self-regulated institutions. In Computable Models of the Law, Languages, Dialogues, Games, Ontologies, P. Casanovas, G. Sartor, N. Casellas, and R. Rubino, eds, Vol. 4884 of Lecture Notes in Computer Science, Springer, 2008.
72. J. Searle. What is a speech act? In Philosophy of Language, 3rd edn. A. Martinich, ed., pp. 130-140. Oxford University Press, 1996.
73. C. Serban and N. Minsky. In vivo evolution of policies that govern a distributed system. In International Symposium on Policies for Distributed Systems and Networks, pp. 134-141. IEEE, 2009.
74. M. Sergot. (C+)++: An action language for modelling norms and institutions. Technical Report 2004/8, Department of Computing, Imperial College London, 2004.
75. M. Sergot. Modelling unreliable and untrustworthy agent behaviour. In Proceedings of Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems (MSRAS), B. Dunin-Keplicz, A. Jankowski, A. Skowron, and M. Szczuka, eds, Advances in Soft Computing, pp. 161-178. Springer-Verlag, 2004.
76. Y. Shoham and M. Tennenholtz. On the emergence of social conventions: modeling, analysis and simulations. Artificial Intelligence, 94, 139-166, 1997.
77. M. Singh. Agent communication languages: rethinking the principles. IEEE Computer, 31, 40-47, 1998.
78. M. Singh. An ontology for commitments in multiagent systems: towards a unification of normative concepts. Artificial Intelligence and Law, 7, 97-113, 1999.
79. M. Singh. A social semantics for agent communication languages. In Issues in Agent Communication, F. Dignum and M. Greaves, eds, Vol. 1916 of Lecture Notes in Computer Science, pp. 31-45. Springer, 2000.
80. M. Sirbu. Credits and debits on the Internet. IEEE Spectrum, 34, 23-29, 1997.
81. G. Tesauro, D. Chess, W. Walsh, R. Das, A. Segal, I. Whalley, J. Kephart, and S. White. A multi-agent systems approach to autonomic computing. In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 464-471. ACM, 2004.
82. G. Tesauro, N. K. Jong, R. Das, and M. N. Bennani. On the use of hybrid reinforcement learning for autonomic resource allocation. Cluster Computing, 10, 287-299, 2007.
83. M. Venkatraman and M. Singh. Verifying compliance with commitment protocols. Journal of Autonomous Agents and Multi-Agent Systems, 2, 217-236, 1999.
84. F. Viganò and M. Colombetti. Symbolic model checking of institutions. In Proceedings of Conference on Electronic commerce, pp. 35-44. ACM, 2007.
85. G. Vouros, A. Artikis, K. Stathis, and J. Pitt, eds. Organized Adaption in Multi-Agent Systems, Vol. 5368 of Lecture Notes in Artifical Intelligence. Springer, 2008.
86. G. Vreeswijk. Representation of formal dispute with a standing order. Artificial Intelligence and Law, 8, 205-231, 2000.
87. W. Zhang, C. Serban, and N. Minsky. Establishing global properties of multi-agent systems via local laws. In Environments for Multiagent Systems III, D. Weyns, ed., Vol. 4389 of Lecture Notes in Artifical Intelligence. pp. 170-183. Springer, 2007.