Skip to main content
SpringerLink
Log in
Book cover

International Conference on Deontic Logic in Computer Science

DEON 2014: Deontic Logic and Normative Systems pp 65–80Cite as

Detecting Deontic Conflicts in Dynamic Settings

  • Conference paper

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

Abstract

Regulations, through the use of obligations and permissions, are widely used in modern society to define acceptable behaviours. Thus it is indeed important that these regulations do not conflict with each other and contain contradicting obligations. In the present paper we focus on identifying conflicts between obligations in dynamic settings. We first show the need of an alternative semantics rather than the more classic modelled by standard deontic logic. Second we introduce a new semantics for the obligations capable of representing and reasoning about them in these dynamic settings, and lastly we use it to identify the necessary and sufficient conditions to identify conflicting obligations.

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. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)

    Article  MATH  Google Scholar 

  2. Beirlaen, M., Straßer, C.: A paraconsistent multi-agent framework for dealing with normative conflicts. In: Leite, et al. (eds.) [15], pp. 312–329

    Google Scholar 

  3. Beirlaen, M., Straßer, C., Meheus, J.: An inconsistency-adaptive deontic logic for normative conflicts. J. Philosophical Logic 42(2), 285–315 (2013)

    Article  MATH  Google Scholar 

  4. Boella, G., van der Torre, L.W.N.: Permissions and obligations in hierarchical normative systems. In: ICAIL, pp. 109–118 (2003)

    Google Scholar 

  5. Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004), http://dx.doi.org/10.1007/978-3-540-25927-5_5

    Chapter  Google Scholar 

  6. Elhag, A.A., Breuker, J.A., Brouwer, B.W.: On the formal analysis of normative conflicts. In: van den Herik, H., et al. (eds.) JURIX 1999: The Twelfth Annual Conference, GNI, Nijmegen. Frontiers in Artificial Intelligence and Applications, pp. 35–46 (1999)

    Google Scholar 

  7. Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486–496. Springer, Heidelberg (2007)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  9. Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Link, S., Ghose, A. (eds.) 7th Asia-Pacific Conference on Conceptual Modelling (APCCM 2010), January 18-21. CRPIT, vol. 110, pp. 3–12. ACS (2010), http://crpit.com/confpapers/CRPITV110Governatori.pdf

  10. Governatori, G., Rotolo, A.: Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance. In: Leite, et al. (eds.) [15], pp. 364–382

    Google Scholar 

  11. Governatori, G., Rotolo, A.: Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. The Australasian Journal of Logic 4, 193–215 (2006), http://www.philosophy.unimelb.edu.au/ajl/2006/

    MATH  MathSciNet  Google Scholar 

  12. Hansen, J.: Conflicting imperatives and dyadic deontic logic. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 146–164. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  13. Hansen, J.: Reasoning About Permission and Obligation. In: Hansson, S.O., Wansing (eds.) [24] (2014)

    Google Scholar 

  14. Hilpinen, R., McNamara, P.: Deontic logic: a historical survey and introduction. In: Gabbay, D., Horty, J., van der Meyden, R., Parent, X., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)

    Google Scholar 

  15. Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.): CLIMA XII 2011. LNCS, vol. 6814. Springer, Heidelberg (2011)

    MATH  Google Scholar 

  16. Lemmon, E.J.: Moral dilemmas. The Philosophical Review 71(2), 139–158 (1962)

    Article  Google Scholar 

  17. Lomuscio, A., Sergot, M.: Violation, error recovery, and enforcement in the bit transmission problem. In: Horty, J., Jones, A.J.I. (eds.) Proceedings of the 6th International Workshop on Deontic Logic in Computer Science (DEON 2002), London, England, May 22-24, pp. 181–202. Imperial College London, Informal Proceedings (2002)

    Google Scholar 

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

    Article  MATH  Google Scholar 

  19. Makinson, D., van der Torre, L.W.N.: What is input/output logic? input/output logic, constraints, permissions. In: Boella, G., van der Torre, L.W.N., Verhagen, H. (eds.) Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, vol. 07122. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2007)

    Google Scholar 

  20. Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artif. Intell. Law 4(3-4), 331–368 (1996)

    Article  Google Scholar 

  21. Sartor, G.: Normative conflicts in legal reasoning. Artificial Intelligence and Law 1(2-3), 209–235 (1992)

    Article  Google Scholar 

  22. Segerberg, K.: DΔL: a dynamic deontic logic. Synthese 185, 1–17 (2012)

    Article  MATH  Google Scholar 

  23. Stolpe, A.: Abstract Interfaces of Input/Output Logic. In: Hansson, S.O., Wansing (eds.) [24] (2014)

    Google Scholar 

  24. Hansson, S.O., Kracht, M., Smets, L.M.S.: Outstanding Contributions to Logic. Springer, Dordrecht (2014)

    Google Scholar 

  25. Vasconcelos, W., Kollingbaum, M., Norman, T.: Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems 19(2), 124–152 (2009), http://dx.doi.org/10.1007/s10458-008-9070-9

    Article  Google Scholar 

  26. Von Wright, G.H.: Deontic logic. Mind 60(237), 1–15 (1951)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Luxembourg, Luxembourg

    Silvano Colombo Tosatto & Pierre Kelsen

  2. NICTA and Queensland University of Technology, Australia

    Guido Governatori

  3. Universitá di Torino, Italy

    Silvano Colombo Tosatto

Authors
  1. Silvano Colombo Tosatto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pierre Kelsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Philosophy, Northwestern University, Campus Drive, 1880, 60208, Evanston, IL, USA

    Fabrizio Cariani

  2. Department of Computer Science, University of Liverpool, Ashton Building, Ashton Street, L69 3BX, Liverpool, UK

    Davide Grossi

  3. Centre for Logic and Philosophy of Science, Universiteit Gent, Blandijnberg 2, 9000, Gent, Belgium

    Joke Meheus

  4. University of Luxembourg,  6, rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Xavier Parent

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Colombo Tosatto, S., Governatori, G., Kelsen, P. (2014). Detecting Deontic Conflicts in Dynamic Settings. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds) Deontic Logic and Normative Systems. DEON 2014. Lecture Notes in Computer Science(), vol 8554. Springer, Cham. https://doi.org/10.1007/978-3-319-08615-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-08615-6_6

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-08614-9

  • Online ISBN: 978-3-319-08615-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation