Skip to main content
SpringerLink
Log in
Book cover

Logic Programs, Norms and Action pp 329–348Cite as

Contrary-To-Duties in Games

  • Chapter

  • 656 Accesses

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

Abstract

The aim of the paper is to bring to the realm of game theory the well-known deontic notion of contrary-to-duty (CTD) obligation, so far not investigated in relation to optimality of strategic decisions. We maintain that, under a game-theoretical semantics, CTDs are well-suited to treat sub-ideal decisions. We also argue that, in a wide class of interactions, CTDs can used as a compact representation of coalitional choices leading to the achievement of optimal outcomes. Finally we investigate the properties of the proposed operators.

This is a preview of subscription content, 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 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdou, J.: Rectangularity and tightness: A normal form characterization of perfect information extensive game forms. Mathematics of Operations Research 3(23), 553–567 (1998)

    Article  MathSciNet  Google Scholar 

  2. Belnap, N., Perloff, M., Xu, M.: Facing The Future: Agents And Choice. In: Our Indeterminist World. Oxford University Press, USA (2001)

    Google Scholar 

  3. Broersen, J., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Samet, D. (ed.) Proceedings Theoretical Aspects Rationality and Knowledge (TARK XI), Brussels, pp. 92–101. ACM Digital Library (2007)

    Google Scholar 

  4. Broersen, J., Mastop, R., Meyer, J.J.C., Turrini, P.: A Deontic Logic for Socially Optimal Norms. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 218–232. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. Carmo, J., Jones, A.J.I.: Deontic logic and contrary-to-duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 265–344. Kluwer Academic Publishers, Dordrecht (2002)

    Chapter  Google Scholar 

  6. Goble, L.: Preference semantics for deontic logics. Part I: Simple models. Logique & Analyse 46(183-184), 383–418 (2003)

    MathSciNet  MATH  Google Scholar 

  7. Hansson, B.: An analysis of some deontic logics. Noûs 3, 373–398 (1969); Reprinted in [8, pp. 121–147]

    Google Scholar 

  8. Hilpinen, R. (ed.): Deontic Logic: Introductory and Systematic Readings. Reidel, Dordrecht (1971)

    MATH  Google Scholar 

  9. Horty, J.: Agency and Deontic Logic. Oxford University Press (2001)

    Google Scholar 

  10. Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. Journal of Philosophical Logic 37(1), 1–21 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  11. Lewis, D.K.: Counterfactuals. Blackwell, Oxford (1973)

    Google Scholar 

  12. Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press (1994)

    Google Scholar 

  13. Parent, X.: On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 189–202. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Prakken, H., Sergot, M.: Dyadic deontic logic and contrary-to-duty obligation. In: Nute, D. (ed.) Defeasible Deontic Logic, pp. 223–262. Kluwer Academic Publishers, Dordrecht (1997)

    Google Scholar 

  15. Prakken, H., Sergotk, M.: Contrary-to-duty obligations. Studia Logica: An International Journal for Symbolic Logic 57(1), 91–115 (1996)

    MathSciNet  MATH  Google Scholar 

  16. Shoham, Y.: Reaoning about changes. MIT (1988)

    Google Scholar 

  17. Spohn, W.: An analysis of Hansson’s dyadic deontic logic. Journal of Philosophical Logic 4(2), 237–252 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  18. Turrini, P.: Strategic Reasoning in Interdependence: Logical and Game-theoretical Investigations. SIKS Dissertation Series, PhD Thesis (2011)

    Google Scholar 

  19. Turrini, P., Grossi, D., Broersen, J., Meyer, J.-J.C.: Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 306–322. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Individual and Collective Reasoning Group (ICR), Computer Science and Communications (CSC), Faculty of Sciences, Technology and Communication (FSTC), University of Luxembourg, 6, rue Richard Coudenhove, Kalergi, L-1359, Luxembourg

    Paolo Turrini, Xavier Parent, Leendert van der Torre & Silvano Colombo Tosatto

Authors
  1. Paolo Turrini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xavier Parent
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Leendert van der Torre
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Silvano Colombo Tosatto
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software and Knowledge Engineering Laboratory, Institute of Informatics and Telecommunications, National Centre for Scientific Research ’Demokritos’, 15310, Athens, Greece

    Alexander Artikis

  2. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Robert Craven

  3. Department of Computer Engineering, Middle East Technical University, Dumlupınar Bulvarı No. 1, 06800, Çankaya, Ankara, Turkey

    Nihan Kesim Çiçekli

  4. Axiomatics AB, Box 2157, 103 14, Stockholm, Sweden

    Babak Sadighi

  5. Royal Holloway, University of London, UK

    Kostas Stathis

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Turrini, P., Parent, X., van der Torre, L., Colombo Tosatto, S. (2012). Contrary-To-Duties in Games. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds) Logic Programs, Norms and Action. Lecture Notes in Computer Science(), vol 7360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29414-3_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29414-3_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29413-6

  • Online ISBN: 978-3-642-29414-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation