Skip to main content
Springer Nature Link
Log in

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning

  • Conference paper
  • First Online:
New Frontiers in Artificial Intelligence (JSAI-isAI 2009)

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

Included in the following conference series:

Abstract

In this paper we briefly present an efficient implementation of temporal defeasible logic, and we argue that it can be used to efficiently capture the the legal concepts of persistence, retroactivity and periodicity. In particular, we illustrate how the system works with a real life example of a regulation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.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
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. Allen, J.: Towards a general theory of action and time. Artificial Intelligence 23 (1984)

    Google Scholar 

  2. Antoniou, G.: A nonmonotonic rule system using ontologies. In: Proc. RuleML 2002. CEUR Workshop Proceedings, vol.  60 (2002)

    Google Scholar 

  3. Antoniou, G., Bikakis, A.: DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Transactions on Knowledge and Data Engineering (2), 233–245 (2007)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  6. Antoniou, M.R., Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10 (2001)

    Google Scholar 

  7. Augusto, J., Simari, G.: Temporal defeasible reasoning. Knowledge and Information Systems 3, 287–318 (2001)

    Article  Google Scholar 

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

    Article  Google Scholar 

  9. Cervesato, I., Franceschet, M., Montanari, A.: A guided tour through some extensions of the event calculus. Computational Intelligence 16(2), 307–347 (2000)

    Article  MathSciNet  Google Scholar 

  10. ESTRELLA Project. The reference LKIF inference engine. Deliverable 4.3, European Commission (2008)

    Google Scholar 

  11. Gordon, T.F., Governatori, G., Rotolo, A.: Rules and norms: Requirements for rule interchange languages in the legal domain. In: Governatori, et al. (eds.) [12]

    Google Scholar 

  12. Governatori, G., Hall, J., Paschke, A. (eds.): RuleML 2009. LNCS, vol. 5858. Springer, Heidelberg (2009)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Governatori, G., Pham, D.: A semantic web based architecture for e-contracts in defeasible logic. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 145–159. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Governatori, G., Rotolo, A.: Temporal defeasible logic has linear complexity. In: Proceedings NMR 2010. CEUR Workshops Proceedings (2010)

    Google Scholar 

  16. Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL (forthcoming)

    Google Scholar 

  17. Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logic for modelling norm modifications. In: Proc. ICAIL 2007, pp. 155–159 (2007)

    Google Scholar 

  18. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005, pp. 25–34. ACM Press, New York (2005)

    Google Scholar 

  19. Governatori, G., Terenziani, P.: Temporal extensions to defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 476–485. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. Hawke, S.: Bringing order to chaos: RIF as the new standard for rule interchange. In: Governatori, et al. (eds.) [12], p. 1, http://www.w3.org/2009/Talks/1105-ruleml/

  21. Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, et al. (eds.) [12]

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  23. Rubino, R.: Una implementazione della logica defeasible temporale per il ragionamento giuridico. PhD thesis, CIRSFID, University of Bologna (2009)

    Google Scholar 

  24. Rubino, R., Rotolo, A.: A Java implementation of temporal defeasible logic. In: Governatori, et al. (eds.) [12]

    Google Scholar 

  25. Shanahan, M.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)

    Google Scholar 

  26. Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming 31(1-3), 245–298 (1997)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CIRSFID, University of Bologna, Italy

    Antonino Rotolo & Rossella Rubino

  2. Queensland Research Laboratory, NICTA, Australia

    Guido Governatori

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. Rossella Rubino
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SRA Inc., Key Technology Laboratory, 2-32-8 Minami-Ikebukuro, Toyoshima-Ku, 171-8513, Tokyo, Japan

    Kumiyo Nakakoji

  2. National Institute of Information and Communications Technology, 3-5 Hikaridai, Seika-cho, Soraku-gun, 619-0289, Kyoto, Japan

    Yohei Murakami

  3. Department of English, Aoyama Gakuin University, 4-4-25 Shibuya, Shibuya-ku, 150-8366, Tokyo, Japan

    Elin McCready

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Governatori, G., Rotolo, A., Rubino, R. (2010). Implementing Temporal Defeasible Logic for Modeling Legal Reasoning. In: Nakakoji, K., Murakami, Y., McCready, E. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2009. Lecture Notes in Computer Science(), vol 6284. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14888-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14888-0_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14887-3

  • Online ISBN: 978-3-642-14888-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics