Abstract
An ‘open’ Multi-Agent System (MAS) is a system in which the member agents are developed by different parties and serve different, often competing interests. In open MAS, the behaviour of an agent cannot be predicted in advance (Hewitt 1991). Furthermore, an agent may choose not to conform to the MAS specification in order to achieve its individual goals, or it may fail to conform to the MAS specification due to, say, a bug in its code (Sergot 2004). Agents may also fail to behave as intended because of factors beyond their control. This is commonplace when open MAS are deployed on distributed environments with unreliable communication channels. A few examples of this type of MAS are electronic marketplaces, virtual organisations and digital media rights management applications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Alevizos, E., A. Artikis, K. Patroumpas, M. Vodas, Y. Theodoridis, and N. Pelekis. 2015. How not to drown in a sea of information: An event recognition approach. In IEEE international conference on big data, Santa Clara, 984–990.
Artikis, A. 2012. Dynamic specification of open agent systems. Journal of Logic and Computation 22(6): 1301–1334.
Artikis, A., and M. Sergot. 2010. Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1): 31–65.
Artikis, A., M. Sergot, and J. Pitt. 2007. An executable specification of a formal argumentation protocol. Artificial Intelligence 171(10–15): 776–804.
Artikis, A., M. Sergot, and J. Pitt. 2009. Specifying norm-governed computational societies. ACM Transactions on Computational Logic 10(1): 1.
Artikis, A., M.J. Sergot, and G. Paliouras. 2015. An event calculus for event recognition. IEEE Transactions on Knowledge and Data Engineering (TKDE) 27(4): 895–908.
Bryant, V. 1985. Metric spaces. Cambridge/New York: Cambridge University Press.
Hewitt, C. 1991. Open information systems semantics for distributed artificial intelligence. Artificial Intelligence 47: 79–106.
Jones, A., and M. Sergot. 1993. On the characterisation of law and computer systems: The normative systems perspective. In Deontic logic in computer science: Normative system specification, ed. John-Jules Ch Meyer and Roel Wieringa, 275–307. Chichester/New York: John Wiley.
Jones, A., and M. Sergot. 1996. A formal characterisation of institutionalised power. Journal of the IGPL 4(3): 429–445.
Katzouris, N., and A. Artikis, G. Paliouras. 2015. Incremental learning of event definitions with inductive logic programming. Machine Learning 100(2–3): 555–585.
Kowalski, R., and M. Sergot. 1986. A logic-based calculus of events. New Generation Computing 4(1): 67–96.
Makinson, D. 1986. On the formal representation of rights relations. Journal of Philosophical Logic 15: 403–425.
Ostrom, E. 1990. Governing the commons: The evolution of institutions for collective actions. Political economy of institutions and decisions. Cambridge/New York: Cambridge University Press.
Pitt, J., L. Kamara, M. Sergot, and A. Artikis. 2006. Voting in multi-agent systems. Computer Journal 49(2): 156–170.
Pitt, J., A. Mamdani, and P. Charlton. 2001. The open agent society and its enemies: A position statement and research programme. Telematics and Informatics 18(1): 67–87.
Pitt, J., J. Schaumeier, and A. Artikis. 2013. Axiomatisation of socio-economic principles for self-organising institutions: Concepts, experiments and challenges. ACM Transactions on Autonomous and Adaptive Systems 7(4): 39.
Przymusinski, T. 1987. On the declarative semantics of stratified deductive databases and logic programs. In Foundations of deductive databases and logic programming, ed. Jack Minker. Los Altos: Morgan.
Rawls, J. 1955. Two concepts of rules. Philosophical Review 64(1): 3–32.
Searle, J. 1969. Speech acts. London: Cambridge University Press.
Sergot, M. 2004. Modelling unreliable and untrustworthy agent behaviour. In Proceedings of workshop on monitoring, security, and rescue techniques in multiagent systems (MSRAS). Vol. 28 of Advances in soft computing, ed. B. Dunin-Keplicz, A. Jankowski, A. Skowron, and M. Szczuka, 161–178. New York: Springer.
Skarlatidis, A., A. Artikis, J. Filipou, and G. Paliouras. 2015a. A probabilistic logic programming event calculus. Theory and Practice of Logic Programming (TPLP) 15(2): 213–245
Skarlatidis, A., G. Paliouras, A. Artikis, and G.A. Vouros. 2015b. Probabilistic event calculus for event recognition. ACM Transactions on Computational Logic 16(2): 11:1–11:37
Acknowledgements
Dídac Busquets was supported by the UK EPSRC Grand Challenge Project Autonomic Power System, and Régis Riveret was supported by the Marie Curie Intra-European Fellowship PIEF-GA-2012-331472.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Artikis, A., Sergot, M., Pitt, J., Busquets, D., Riveret, R. (2016). Specifying and Executing Open Multi-agent Systems. In: Aldewereld, H., Boissier, O., Dignum, V., Noriega, P., Padget, J. (eds) Social Coordination Frameworks for Social Technical Systems. Law, Governance and Technology Series, vol 30. Springer, Cham. https://doi.org/10.1007/978-3-319-33570-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-33570-4_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33568-1
Online ISBN: 978-3-319-33570-4
eBook Packages: Law and CriminologyLaw and Criminology (R0)