Skip to main content

2016 | OriginalPaper | Buchkapitel

10. Specifying and Executing Open Multi-agent Systems

verfasst von : Alexander Artikis, Marek Sergot, Jeremy Pitt, Dídac Busquets, Régis Riveret

Erschienen in: Social Coordination Frameworks for Social Technical Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat 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. 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.
Zurück zum Zitat Artikis, A. 2012. Dynamic specification of open agent systems. Journal of Logic and Computation 22(6): 1301–1334.CrossRef Artikis, A. 2012. Dynamic specification of open agent systems. Journal of Logic and Computation 22(6): 1301–1334.CrossRef
Zurück zum Zitat Artikis, A., and M. Sergot. 2010. Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1): 31–65.CrossRef Artikis, A., and M. Sergot. 2010. Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1): 31–65.CrossRef
Zurück zum Zitat Artikis, A., M. Sergot, and J. Pitt. 2007. An executable specification of a formal argumentation protocol. Artificial Intelligence 171(10–15): 776–804.CrossRef Artikis, A., M. Sergot, and J. Pitt. 2007. An executable specification of a formal argumentation protocol. Artificial Intelligence 171(10–15): 776–804.CrossRef
Zurück zum Zitat Artikis, A., M. Sergot, and J. Pitt. 2009. Specifying norm-governed computational societies. ACM Transactions on Computational Logic 10(1): 1.CrossRef Artikis, A., M. Sergot, and J. Pitt. 2009. Specifying norm-governed computational societies. ACM Transactions on Computational Logic 10(1): 1.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat Bryant, V. 1985. Metric spaces. Cambridge/New York: Cambridge University Press. Bryant, V. 1985. Metric spaces. Cambridge/New York: Cambridge University Press.
Zurück zum Zitat Hewitt, C. 1991. Open information systems semantics for distributed artificial intelligence. Artificial Intelligence 47: 79–106.CrossRef Hewitt, C. 1991. Open information systems semantics for distributed artificial intelligence. Artificial Intelligence 47: 79–106.CrossRef
Zurück zum Zitat 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. 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.
Zurück zum Zitat Jones, A., and M. Sergot. 1996. A formal characterisation of institutionalised power. Journal of the IGPL 4(3): 429–445.CrossRef Jones, A., and M. Sergot. 1996. A formal characterisation of institutionalised power. Journal of the IGPL 4(3): 429–445.CrossRef
Zurück zum Zitat Katzouris, N., and A. Artikis, G. Paliouras. 2015. Incremental learning of event definitions with inductive logic programming. Machine Learning 100(2–3): 555–585.CrossRef Katzouris, N., and A. Artikis, G. Paliouras. 2015. Incremental learning of event definitions with inductive logic programming. Machine Learning 100(2–3): 555–585.CrossRef
Zurück zum Zitat Kowalski, R., and M. Sergot. 1986. A logic-based calculus of events. New Generation Computing 4(1): 67–96.CrossRef Kowalski, R., and M. Sergot. 1986. A logic-based calculus of events. New Generation Computing 4(1): 67–96.CrossRef
Zurück zum Zitat Makinson, D. 1986. On the formal representation of rights relations. Journal of Philosophical Logic 15: 403–425.CrossRef Makinson, D. 1986. On the formal representation of rights relations. Journal of Philosophical Logic 15: 403–425.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat Pitt, J., L. Kamara, M. Sergot, and A. Artikis. 2006. Voting in multi-agent systems. Computer Journal 49(2): 156–170.CrossRef Pitt, J., L. Kamara, M. Sergot, and A. Artikis. 2006. Voting in multi-agent systems. Computer Journal 49(2): 156–170.CrossRef
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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. 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.
Zurück zum Zitat 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. 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.
Zurück zum Zitat Rawls, J. 1955. Two concepts of rules. Philosophical Review 64(1): 3–32.CrossRef Rawls, J. 1955. Two concepts of rules. Philosophical Review 64(1): 3–32.CrossRef
Zurück zum Zitat 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. 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.
Zurück zum Zitat 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–245CrossRef 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–245CrossRef
Zurück zum Zitat 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 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
Metadaten
Titel
Specifying and Executing Open Multi-agent Systems
verfasst von
Alexander Artikis
Marek Sergot
Jeremy Pitt
Dídac Busquets
Régis Riveret
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-33570-4_10