[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content

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

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 31.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 39.99
Price includes VAT (United Kingdom)
  • 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.

Similar content being viewed by others

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

Authors

Editor information

Editors and Affiliations

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