Skip to main content
SpringerLink
Log in

Combining Constitutive and Regulative Norms in Input/Output Logic

  • Conference paper
Book cover Deontic Logic and Normative Systems (DEON 2014)

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

Included in the following conference series:

Abstract

In this paper we study three semantics to combine constitutive and regulative norms. In the first semantics, called the simple-minded semantics, the output of the constitutive norms are intermediate facts used as input for the regulative norms. The second method is called throughput, and adds the input of the constitutive norms to the intermediate facts. The third method is called reusable throughput, because it reuses the output of the regulative norms in the input of the constitutive norms. In addition, we refine these three so-called abstract semantics such that the obligations are labeled with the intermediate facts used to derive them. These explanations in the labels can be used for norm change, interpretation or defeasible argumentation. We present complete axiomatisations for the abstract and refined versions of the three semantics.

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multi-agent systems. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) Principles of Knowledge Representation and Reasoning, Whistler, Canada, pp. 255–266. AAAI Press (2004)

    Google Scholar 

  2. Boella, G., van der Torre, L.: A logical architecture of a normative system. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 24–35. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Boutilier, C.: Toward a logic for qualitative decision theory. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, pp. 75–86. Morgan Kaufmann (1994)

    Google Scholar 

  4. Broome, J.: Rationality Through Reasoning. Wiley-Blackwell, West Sussex (2013)

    Book  Google Scholar 

  5. Danielsson, S.: Preference and Obligation: Studies in the Logic of Ethics. Filosofiska Freningen, Uppsala (1968)

    Google Scholar 

  6. 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 (2013)

    Google Scholar 

  7. Goble, L.: Murder most gentle: the paradox: deepens. Philosophical Studies 64, 217–227 (1991)

    Article  Google Scholar 

  8. Governatori, G., Rotolo, A.: Bio logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17(1), 36–69 (2008)

    Article  Google Scholar 

  9. Grossi, D., Jones, A.: Constitutive norms and counts-as conditionals. In: Horty, J., Gabbay, D., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, pp. 407–441. College Publications, London (2013)

    Google Scholar 

  10. Grossi, D., Meyer, J.-J.C., Dignum, F.P.M.: Counts-as: Classification or Constitution? An Answer Using Modal Logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 115–130. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. Hansson, B.: An analysis of some deontic logics. Noûs, 373–398 (1969)

    Google Scholar 

  12. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. The Logic Journal of IGPL, pp. 427–443 (1996)

    Google Scholar 

  13. Lang, J., van der Torre, L.: From belief change to preference change. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) Proceedings of the 2008 Conference on ECAI 2008: 18th European Conference on Artificial Intelligence, Amsterdam, pp. 351–355. IOS Press (2008)

    Google Scholar 

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

    Google Scholar 

  15. Lindahl, L., Odelstad, J.: Normative systems and their revision: An algebraic approach. Artificial Intelligence and Law 11(2-3), 81–104 (2003)

    Article  Google Scholar 

  16. Makinson, D.: On a fundamental problem in deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, Amsterdam, pp. 29–54. IOS Press (1999)

    Google Scholar 

  17. Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383–408 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  18. Makinson, D., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  19. Makinson, D., van der Torre, L.: What is input/output logic? In: Lowe, B., Malzkorn, W., Rasch, T. (eds.) Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, pp. 163–174 (2003)

    Google Scholar 

  20. Parent, X., van der Torre, L.: Aggregative deontic detachment for normative reasoning (short paper). In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) (2014)

    Google Scholar 

  21. Parent, X., van der Torre, L.: “sing and dance!” input/output logics without weakening. In: 12th International Conference on Deontic logic and Normative Systems (DEON 2014) (2014)

    Google Scholar 

  22. Rawls, J.: Two concepts of rules. The Philosophical Review 64(1), 3–32 (1955)

    Article  Google Scholar 

  23. Ross, A.: Tû-tû. Harvard Law Review 70, 812–825 (1957)

    Article  Google Scholar 

  24. Searle, J.R.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)

    Book  Google Scholar 

  25. Stolpe, A.: Normative consequence: The problem of keeping it whilst giving it up. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 174–188. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Tosatto, S., Boella, G., van der Torre, L., Villata, S.: Abstract normative systems: Semantics and proof theory. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning, Rome, pp. 358–368. AAAI Press (2012)

    Google Scholar 

  27. van der Torre, L., Tan, Y.: Contrary-to-duty reasoning with preference-based dyadic obligations. Ann. Math. Artif. Intell. 27(1-4), 49–78 (1999)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science and Communication, University of Luxembourg, Luxembourg

    Xin Sun & Leendert van der Torre

Authors
  1. Xin Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leendert van der Torre
    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

Sun, X., van der Torre, L. (2014). Combining Constitutive and Regulative Norms in Input/Output Logic. 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_18

Download citation

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

  • 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