Executable specification of open multi-agent systems

Logic Journal of the IGPL

Volumn 18, Issue 1, 2009, Pages 31-65

  Artikis, Alexander ^a,b   Sergot, Marek ^b  

^a INSTITUTE OF INFORMATICS AND TELECOMMUNICATIONS   (Greece)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Action language; Event calculus; Executable specification; Multi agent system; Norm; Norm governed system

Indexed keywords

CALCULATIONS; MULTI AGENT SYSTEMS; SPECIFICATIONS;

ACTION LANGUAGE; BIRD'S EYE VIEW; CLASSIFIEDS; EVENT CALCULUS; EXECUTABLE SPECIFICATIONS; INTERNAL STATE; NORM; NORM-GOVERNED SYSTEM; POWER; SYSTEMS SPECIFICATION;

LOGIC PROGRAMMING;

EID: 77957239070     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzp071     Document Type: Article

References (86)

1. A. Artikis. Dynamic protocols for open agent systems. In Proceedings of International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 97-104. ACM, 2009.
2. A. Artikis, M. Sergot, and J. Pitt. An executable specification of a formal argumentation protocol. Artificial Intelligence, 171(10-15):776-804, 2007.
3. A. Artikis, M. Sergot, and J. Pitt. Specifying norm-governed computational societies. ACM Transactions on Computational Logic, 10(1), 2009.
4. A. Bandara. A Formal Approach to Analysis and Refinement of Policies. PhD thesis, Imperial College London, 2005.
5. G. Boella and L. van der Torre. Security policies for sharing knowledge in virtual communities. IEEE Transactions on Systems, Man and Cybernetics, 36(3):439-450, 2006.
6. G. Boella and L. W. N. van der Torre. The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law, 15(3):201-221, 2007.
7. J. Bradshaw, A. Uszok, R. Jeffers, N. Suri, P. Hayes, M. Burstein, A. Acquisti, B. Benyo, M. Breedy, M. Carvalho, D. Diller, M. Johnson, S. Kulkarni, J. Lott, M. Sierhuis, and R. Van Hoof. Representation and reasoning about DAML-based policy and domain services in KAoS. In J. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, editors, Proceedings of Conference on Autonomous Agents and Multi Agent Systems (AAMAS), pages 835-842. ACM Press, 2003.
8. L. Chittaro and A. Montanari. Efficient temporal reasoning in the cached event calculus. Computational Intelligence, 12(3):359-382, 1996.
9. A. Chopra and M. Singh. Contextualizing commitment protocols. In Proceedings of Conference on Autonous Agents and Multi-Agent Systems (AAMAS), pages 1345-1352. ACM, 2006.
10. 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, LNCS 2404. Springer, 2002. See http://nusmv.irst.itc.it.
11. K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293-322. Plenum Press, 1978.
12. O. Cliffe, M. De Vos, and J. Padget. Answer set programming for representing and reasoning about virtual institutions. In Proceedings of Workshop on Computational Logic in Multi-Agent Systems (CLIMA), LNCS 4371. Springer, 2007.
13. R. Craven. Execution Mechanisms for the Action Language C+. PhD thesis, University of London, September 2006.
14. R. Craven and M. Sergot. Agent strands in the action language nC+. Journal of Applied Logic, 6(2):172-191, 2008.
15. M. Dastani, V. Dignum, and F. Dignum. Role-assignment in open agent societies. In Proceedings of Conference on Autonomous Agents and Multi-Agent Systems, pages 489-496. ACM, 2003.
16. C. Dellarocas. Reputation mechanisms. In T. Hendershott, editor, Handbook on Economics and Information Systems. Elsevier Publishing, 2006.
17. N. Desai and M. Singh. A modular action description language for protocol composition. In Proceedings of Conference on Artificial Intelligence (AAAI), 2007.
18. N. Desai and M. Singh. Checking correctness of business contracts via commitments. In Proccedings of International Conference on Autonomous Agents and Multi-Agent Systems, 2008.
19. H.-P. Dommel and J.J. Garcia-Luna-Aceves. Design issues for floor control protocols. In Proceedings of Symposium on Electronic Imaging: Multimedia and Networking, vol. 2417, pages 305-316. IS&T/SPIE, 1995.
20. H.-P. Dommel and J.J. Garcia-Luna-Aceves. Floor control for multimedia conferencing and collaboration. Multimedia Systems, 5(1):23-38, 1997.
21. M. Esteva, D. de la Cruz, and C. Sierra. ISLANDER: an electronic institutions editor. In C. Castelfranchi and L. Johnson, editors, Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1045-1052. ACM Press, 2002.
22. M. Esteva, J. Padget, and C. Sierra. Formalizing a language for institutions and norms. In J.-J. Meyer and M. Tambe, editors, Intelligent Agents VIII: Agent Theories, Architectures, and Languages, LNAI 2333, pages 348-366. Springer, 2002.
23. M. Esteva, J. Rodriguez-Aguilar, J. Arcos, C. Sierra, and P. Garcia. Institutionalising open multi-agent systems. In E. Durfee, editor, Proceedings of the International Conference on Multi-agent Systems (ICMAS), pages 381-382. IEEE Press, 2000.
24. M. Esteva, J. Rodriguez-Aguilar, C. Sierra, P. Garcia, and J. Arcos. On the formal specifications of electronic institutions. In F. Dignum and C. Sierra, editors, Agent Mediated Electronic Commerce, LNAI 1991, pages 126-147. Springer, 2001.
25. 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, pages 8-14, 2004.
26. D. Fitoussi and M. Tennenholtz. Choosing social laws for multi-agent systems: minimality and simplicity. Artificial Intelligence, 119(1-2):61-101, 2000.
27. N. Fornara and M. Colombetti. Multi-Agent Systems: Semantics and Dynamics of Organizational Models, chapter Formal specification of artificial institutions using the event calculus. IGI Global, to appear in 2009.
28. N. Fornara, F. Viganò, and M. Colombetti. Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems, 14:121-142, 2007.
29. 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.
30. M. Fox, M. Barbuceanu, M. Gr̈uninger, and J. Lin. An organizational ontology for enterprise modeling. In M. Prietula, K. Carley, and L. Gasser, editors, Simulating Organizations: Computational Models for Institutions and Groups, pages 131-152. AAAI Press/The MIT Press, 1998.
31. 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), pages 667-673. ACM Press, 2005.
32. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, 153(1-2):49-104, 2004.
33. D. Grossi, F. Dignum, and J.-J. Ch. Meyer. A formal road from institutional norms to organizational structures. In E. Durfee, M. Yokoo, M. Huhns, and O. Shehory, editors, Proceedings of Conference on Autonomous Agents and Multi-Agent Systems, pages 616-623, 2007.
34. M. Gr̈uninger and M. Fox. The role of competency questions in enterprise engineering. In Proceedings of the IFIP WG5.7 Workshop on Benchmarking-Theory and Practice, 1994.
35. C. Hewitt. Open information systems semantics for distributed artificial intelligence. Artificial Intelligence, 47:79-106, 1991.
36. + model: programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering, 1(3-4):370-395, 2007.
37. A. Jones. Roles. In A. Jones and C. Krogh, editors, Deliverable D2 of ALFEBIITE EU-Project (IST-1999-10298), pages 52-55, 2001.
38. 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, pages 275-307. J. Wiley and Sons, 1993.
39. A. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of the IGPL, 4(3):429-445, 1996.
40. M. Klein, J. Rodriguez-Aguilar, and C. Dellarocas. Using domain-independent exception handling services to enable robust open multi-agent systems: the case of agent death. Journal of Autonomous Agents and Multi-Agent Systems, 7(1-2):179-189, 2003.
41. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-96, 1986.
42. L. Kagal and T. Finin. Modeling communicative behavior using permissions and obligations. Journal of Autonomous Agents and Multi-Agent Systems, 14(2):187-206, 2006.
43. A. Lomuscio and M. Sergot. Deontic interpreted systems. Studia Logica, 75(1):63-92, 2003.
44. D. Makinson. On the formal representation of rights relations. Journal of Philosophical Logic, 15:403-425, 1986.
45. N. Minsky. The imposition of protocols over open distributed systems. IEEE Transactions on Software Engineering, 17(2):183-195, 1991.
46. N. Minsky. Law-Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction and a Reference Manual), 2005. Retrieved October 24, 2008, from http://www.moses.rutgers.edu/documentation/manual.pdf.
47. N. Minsky. Decentralised regulation of distributed systems: Beyond access control. Submitted for publication. Retrieved October 24, 2008, from http://www.cs.rutgers.edu/minsky/papers/IC.pdf, 2008.
48. 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, LNCS 2940, pages 189-206. Springer, 2004.
49. 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(3):273-305, 2000.
50. Y. Moses and M. Tennenholtz. On computational aspects of artificial social systems. In Proceedings of Workshop on Distributed Artificial Intelligence (DAI), pages 267-284, 1992.
51. Y. Moses and M. Tennenholtz. Artificial social systems. Computers and Artificial Intelligence, 14(6):533-562, 1995.
52. E. Mueller. Commonsense Reasoning. Morgan Kaufmann, 2006.
53. J. Pinto and R. Reiter. Temporal reasoning in logic programming: a case for the situation calculus. In D. Warren, editor, Proceedings of Conference on Logic Programming, pages 203-221. MIT Press, 1993.
54. J. Pitt, L. Kamara, M. Sergot, and A. Artikis. Voting in multi-agent systems. Computer Journal, 49(2):156-170, 2006.
55. J. Pitt, A. Mamdani, and P. Charlton. The open agent society and its enemies: a position statement and research programme. Telematics and Informatics, 18(1):67-87, 2001.
56. H. Prakken. Formalising Robert's rules of order. Technical Report 12, GMD - German National Research Center for Information Technology, 1998.
57. J. Rodriguez-Aguilar, F. Martin, P. Noriega, P. Garcia, and C. Sierra. Towards a testbed for trading agents in electronic auction markets. AI Communications, 11(1):5-19, 1998.
58. J. Rodriguez-Aguilar and C. Sierra. Enabling open agent institutions. In K. Dautenhahn, A. Bond, L. Canamero, and B. Edmonds, editors, Socially Intelligent Agents: Creating relationships with computers and robots, pages 259-266. Kluwer Academic Publishers, 2002.
59. J. Rosenschein and G. Zlotkin. Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. The MIT Press, 1994.
60. J. Rosenschein and G. Zlotkin. Designing conventions for automated negotiation. In N. Huhns and M. Singh, editors, Readings in Agents, pages 353-370. Morgan Kaufmann, 1998.
61. J. Sabater and C. Sierra. Review on computational trust and reputation models. Artificial Intelligence Review, 24(1):33-60, 2005.
62. J. Searle. Speech Acts. Cambridge University Press, 1969.
63. J. Searle. What is a speech act? In A. Martinich, editor, Philosophy of Language, pages 130-140. Oxford University Press, third edition, 1996.
64. M. Sergot. Modelling unreliable and untrustworthy agent behaviour. In B. Dunin-Keplicz, A. Jankowski, A. Skowron, and M. Szczuka, editors, Proceedings of Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems (MSRAS), Advances in Soft Computing, pages 161-178. Springer-Verlag, 2004.
65. M. Sergot and R. Craven. The deontic component of action language nC+. In L. Goble and J-J. Ch. Meyer, editors, Deontic Logic in Computer Science (DEON), LNAI 4048, pages 222-237. Springer, 2006.
66. M. Shanahan. The event calculus explained. In M. Wooldridge and M. Veloso, editors, Artificial Intelligence Today, LNAI 1600, pages 409-430. Springer, 1999.
67. M. Shanahan. An abductive event calculus planner. Journal of Logic Programming, 44:207-239, 2000.
68. Y. Shoham and M. Tennenholtz. On the synthesis of useful social laws for artificial agent societies. In W. Swartout, editor, Proceedings of Conference on Artificial Intelligence (AAAI), pages 276-281. The AAAI Press/The MIT Press, 1992.
69. Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: off-line design. Artificial Intelligence, 73(1-2):231-252, 1995.
70. M. Singh. Agent communication languages: rethinking the principles. IEEE Computer, 31(12):40-47, 1998.
71. M. Singh. An ontology for commitments in multiagent systems: towards a unification of normative concepts. Artificial Intelligence and Law, 7(1):97-113, 1999.
72. M. Singh. A social semantics for agent communication languages. In F. Dignum and M. Greaves, editors, Issues in Agent Communication, LNCS 1916, pages 31-45. Springer, 2000.
73. M. Sirbu. Credits and debits on the Internet. IEEE Spectrum, 34(2):23-29, 1997.
74. M. Tennenholtz. On computational social laws for dynamic non-homogeneous social structures. Journal of Experimental and Theoretical Artificial Intelligence, 7:379-390, 1995.
75. A. Uszok, J. Bradshaw, R. Jeffers, M. Johnson, A. Tate, J. Dalton, and S. Aitken. Policy and contract management for semantic web services. In Proceedings of the AAAI Spring Symposium on Semantic Web Services, 2004.
76. A. Uszok, J. Bradshaw, J. Lott, M. Breedy, L. Bunch, P. Feltovich, M. Johnson, and H. Jung. New developments in ontology-based policy management: Increasing the practicality and comprehensiveness of KAoS. In Proceedings of Workshop on Policies for Distributed Systems and Networks, pages 145-152. IEEE Computer Society, 2008.
77. R. van Eijk, F. de Boer, W. van der Hoek, and J.-J. Meyer. Open multi-agent systems: agent communication and integration. In N. Jennings and Y. Lesperance, editors, Intelligent Agents VI: Agent Theories, Architectures, and Languages, LNCS 1757, pages 218-232. Springer, 2000.
78. J. Vazquez-Salceda, V. Dignum, and F. Dignum. Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems, 11(3):307-360, 2005.
79. M. Venkatraman and M. Singh. Verifying compliance with commitment protocols. Journal of Autonomous Agents and Multi-Agent Systems, 2(3):217-236, 1999.
80. F. Vigan'o and M. Colombetti. Symbolic model checking of institutions. In Proceedings of Conference on Electronic commerce, pages 35-44. ACM, 2007.
81. E. Werner. The design of multi-agent systems. In E. Werner and Y. Demazeau, editors, Decentralized A.I., volume 3, pages 3-30. Elsevier Science Publishers, 1992.
82. P. Yolum and M. Singh. Flexible protocol specification and execution: applying event calculus planning using commitments. In C. Castelfranchi and L. Johnson, editors, Proceedings of Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 527-535. ACM Press, 2002.
83. P. Yolum and M. Singh. Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence, 42(1-3):227-253, 2004.
84. B. Yu. Distributed reputation management for electronic commerce. Computational Intelligence, 18(4):535-549, 2002.
85. F. Zambonelli, N. 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.
86. W. Zhang, C. Serban, and N. Minsky. Establishing global properties of multi-agent systems via local laws. In D. Weyns, editor, Environments for Multiagent Systems III, LNAI 4389. Springer, 2007.