Skip to main content
SpringerLink
Log in

How to Build Input/Output Logic

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2014)

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

Included in the following conference series:

Abstract

In this paper we analyze various derivation rules of input/output logic in isolation and define the corresponding semantics. We develop fixed point characterizations for input/output logic involving rules of cumulative transitivity and present new completeness proofs. A toolbox to build input/output logic is therefore created. We use this toolbox to correct a hasty mistake appeared in the work of applying input/output logic to constitutive norms.

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. Alchourron, C., Bulygin, E.: Normative Systems. Springer, Wien (1971)

    Book  MATH  Google Scholar 

  2. Bochman, A.: A causal approach to nonmonotonic reasoning. Artificial intelligence 160(1-2), 105–143 (2004)

    Article  MATH  MathSciNet  Google Scholar 

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

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

    Book  Google Scholar 

  5. Chellas, B.: Modal logic: an introduction. Cambridge University Press, Cambridge (1980)

    Book  MATH  Google Scholar 

  6. Tosatto, S.C., Boella, G., van der Torre, L., Villata, S.: Abstract normative systems: Semantics and proof theory. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 358–368 (2012)

    Google Scholar 

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

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

    Google Scholar 

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

    Google Scholar 

  10. Horty, J.: Agency and Deontic Logic. Oxford University Press, New York (2001)

    Book  MATH  Google Scholar 

  11. Jones, A., Sergot, M.: A formal characterization of institutionalised power. Logic Journal of the IGPL 3, 427–443 (1996)

    Article  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  13. Lewis, D.: Counterfactuals. Blackwell, Oxford (1973)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

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

    Article  MATH  MathSciNet  Google Scholar 

  17. Parent, X., Gabbay, D., van der Torre, L.: An intuitionistic basis for input/output logic. In: Hasson, S.O. (ed.) David Makinson on Classical Methods for Non-Classical Problems. Springer (2012)

    Google Scholar 

  18. Parent, X., van der Torre, L.: I/O logic. In: Horty, J., Gabbay, D., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, College Publications (2013)

    Google Scholar 

  19. Parent, X., van der Torre, L.: Put your parachute on, and jump out! Technical report (2014), to appear in Proceedings of DEON 2014

    Google Scholar 

  20. Ross, A.: Imperatives and logic. Theoria 7(5371) (1941)

    Google Scholar 

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

  22. Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5(2), 285–309 (1955)

    Article  MATH  MathSciNet  Google Scholar 

  23. von Wright, G.: Deontic logic. Mind 60, 1–15 (1952)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Xin Sun

Authors
  1. Xin Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clausthal University of Technology, Adolph-Römer-Strasse 2A, 38678, Clausthal-Zellerfeld, Germany

    Nils Bulling

  2. University of Luxembourg, Campus Kirchberg, 6, rue Richard Doudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Leendert van der Torre

  3. Inria Sophia Antipolis-Méditerranée, 2004, route des Lucioles - BP 93, 06902, Sophia Antipolis, France

    Serena Villata

  4. University of Luxembourg, Computer Science and Communication Research Unit, Interdisciplinary Centre of Security, Reliability and Trust, Campus Kirchberg, 6, rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Wojtek Jamroga

  5. Department of Computing Science, University of Aberdeen, Meston Building, Room 232, Old Aberdeen, AB24 3UE, Aberdeen, UK

    Wamberto Vasconcelos

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Sun, X. (2014). How to Build Input/Output Logic. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2014. Lecture Notes in Computer Science(), vol 8624. Springer, Cham. https://doi.org/10.1007/978-3-319-09764-0_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-09764-0_8

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-09763-3

  • Online ISBN: 978-3-319-09764-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation