Skip to main content
SpringerLink
Log in

Logic and Games for Ethical Agents in Normative Multi-agent Systems

  • Conference paper
  • First Online:
Multi-Agent Systems and Agreement Technologies (EUMAS 2015, AT 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9571))

  • 835 Accesses

Abstract

In this paper we study how to characterize ethical agents in normative multi-agent systems. We adopt a proposition control game together with input/output logic. Norms create the normative status of strategies. Agents’ preference in proposition control games are changed by the normative status of strategies. We distinguish four ethical types of agents: moral, amoral, negatively impartial and positively impartial. Agents of different ethical types use different input/output systems and different procedures to change their preference. Preference changes induce normative proposition control games and notions like normative Nash equilibrium are then introduced. We study some complexity issues related to normative reasoning/status and normative Nash equilibrium.

L. Robaldo—Received funding from the European Unions Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 661007 for the project “ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India (2007)

    Google Scholar 

  2. Alechina, N., Dastani, M., Logan, B.: Reasoning about normative update. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China (2013)

    Google Scholar 

  3. Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. Auton. Agents Multi-Agent Syst. 17(1), 1–10 (2008)

    Article  Google Scholar 

  4. Bonzon, E., Lagasquie-Schiex, M., Lang, J., Zanuttini, B.: Compact preference representation and boolean games. Auton. Agents Multi-Agent Syst. 18(1), 1–35 (2009)

    Article  Google Scholar 

  5. Bonzon, L., Lagasquie-Schiex, M., Lang, J., Zanuttini, B.: Boolean games revisited. In: Proceedings of 17th European Conference on Artificial Intelligence, Riva del Garda, Italy (2006)

    Google Scholar 

  6. Brass, S.: Deduction with supernormal defaults. In: Brewka, G., Jantke, K.P., Schmitt, P.H. (eds.) NIL 1991. LNCS, vol. 659, pp. 153–174. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  7. Colombo Tosatto, S., Boella, G., van der Torre, L., Villata, S.: Abstract normative systems: semantics and proof theory. In: Principles of Knowledge Representation and Reasoning, pp. 358–368 (2012)

    Google Scholar 

  8. Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications, London (2014)

    Google Scholar 

  9. Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. J. Phil. Logic 42(6), 799–829 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  10. Harrenstein, P’., van der Hoek, W., Meyer, J., Witteveen, C.: Boolean games. In: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge. Morgan Kaufmann Publishers Inc (2001)

    Google Scholar 

  11. Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Spain (2011)

    Google Scholar 

  12. Makinson, D., van der Torre, L.: Input-output logics. J. Philos. Logic 29, 383–408 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  13. Makinson, D., van der Torre, L.: Permission from an input/output perspective. J. Philos. Logic 32, 391–416 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  14. Parent, X.: Moral particularism in the light of deontic logic. Artif. Intell. Law 19(2–3), 75–98 (2011)

    Article  Google Scholar 

  15. Shoham, Y., Tennenholtz, M.: On social laws for artificial agent societies: Off-line design. Artif. Intell. 73(1–2), 231–252 (1996)

    Google Scholar 

  16. Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley, New York (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Science, Technology and Communication, University of Luxembourg, Luxembourg, Luxembourg

    Xin Sun & Livio Robaldo

Authors
  1. Xin Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Livio Robaldo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xin Sun .

Editor information

Editors and Affiliations

  1. University of Edinburgh, Edinburgh, United Kingdom

    Michael Rovatsos

  2. Department of Digital Systems, University of Piraeus, Piraeus, Greece

    George Vouros

  3. Technical University of Valencia, Valencia, Spain

    Vicente Julian

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Sun, X., Robaldo, L. (2016). Logic and Games for Ethical Agents in Normative Multi-agent Systems. In: Rovatsos, M., Vouros, G., Julian, V. (eds) Multi-Agent Systems and Agreement Technologies. EUMAS AT 2015 2015. Lecture Notes in Computer Science(), vol 9571. Springer, Cham. https://doi.org/10.1007/978-3-319-33509-4_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-33509-4_29

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-33508-7

  • Online ISBN: 978-3-319-33509-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation