Skip to main content
SpringerLink
Log in
Book cover

International Conference on Deontic Logic in Computer Science

DEON 2012: Deontic Logic in Computer Science pp 46–60Cite as

Possible World Semantics for Defeasible Deontic Logic

  • Conference paper

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

Abstract

Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible logics remained elusive. In this paper we address this issue.

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   49.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. Antoniou, G., Bikakis, A.: Dr-prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Trans. Know. and Data Eng. 19(2), 233–245 (2007)

    Article  Google Scholar 

  2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: AAAI 2000, pp. 401–405. AAAI/MIT Press, Menlo Park, CA (2000)

    Google Scholar 

  3. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  4. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming 6(6), 703–735 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  5. Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. International Journal on Semantic Web and Information Systems 2(1), 1–41 (2006)

    Article  Google Scholar 

  6. Bochman, A.: A logical theory of nonmonotonic inference and belief change — numerical methods. Springer (2001)

    Google Scholar 

  7. Bochman, A.: Default theory of defeasible entailment. In: KR 2008, pp. 466–475 (2008)

    Google Scholar 

  8. Chellas, B.F.: Modal Logic, An Introduction. Cambridge University Press, Cambridge (1980)

    Book  MATH  Google Scholar 

  9. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)

    Google Scholar 

  10. Gerson, M.: The Inadequacy of the Neighbourhood Semantics for Modal Logic. Journal of Symbolic Logic 40(2), 141–148 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  11. Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5), 675–702 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  12. Governatori, G., Padmanabhan, V., Rotolo, A., Sattar, A.: A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL 17(3), 227–265 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  13. Governatori, G., Rotolo, A.: On the Axiomatization of Elgesem’s Logic of Agency and Ability. Journal of Philosophical Logic 34(4), 403–431 (2005)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  Google Scholar 

  15. Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artificial Intelligence and Law 16(1), 25–52 (2008)

    Article  Google Scholar 

  16. Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Logic Journal of IGPL 18(1), 157–194 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  17. Grossi, D.: On the logic of argumentation theory. In: AAMAS 2010, Richland, SC, pp. 409–416. International Foundation for Autonomous Agents and Multiagent Systems (2010)

    Google Scholar 

  18. Kontopoulos, E., Bassiliades, N., Antoniou, G.: A modal defeasible reasoner of deontic logic for the semantic web. International Journal of Semantic Web and Information Systems 7(1), 18–43 (2011)

    Article  Google Scholar 

  19. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  20. Lam, H.-P., Governatori, G.: The Making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315–322. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  21. Maher, M.J., Governatori, G.: A semantic decomposition of defeasible logic. In: AAAI 1999, pp. 299–305. AAAI Press, Menlo Park (1999)

    Google Scholar 

  22. Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming (6), 691–711 (2001)

    Google Scholar 

  23. Marek, V.W., Truszczynski, M.: Autoepistemic logic. Journal of ACM 38(3), 588–619 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  24. Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Systems Research Group, NICTA, Australia

    Guido Governatori

  2. CIRSFID, University of Bologna, Italy

    Antonino Rotolo & Erica Calardo

Authors
  1. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonino Rotolo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Erica Calardo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Science and Media Studies, University of Bergen, 7802, 5020, Bergen, Norway

    Thomas Ågotnes  & Dag Elgesem  & 

  2. Department of Information and Computing Sciences, Utrecht University, 80.089, 3508 TB, Utrecht, The Netherlands

    Jan Broersen

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Governatori, G., Rotolo, A., Calardo, E. (2012). Possible World Semantics for Defeasible Deontic Logic. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds) Deontic Logic in Computer Science. DEON 2012. Lecture Notes in Computer Science(), vol 7393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31570-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31570-1_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31569-5

  • Online ISBN: 978-3-642-31570-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation