Skip to main content
SpringerLink
Log in

Investigations into the application of deontic logic

  • Conference paper
  • First Online:
Executable Modal and Temporal Logics (IJCAI 1993)

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

Included in the following conference series:

  • 151 Accesses

Abstract

This paper discusses the results of a study for representation of law. Starting point is a legal knowledge based system for the Dutch traffic law that treats permissions as specialized obligations. The results of this prototype system have been evaluated and were the subject for further study. The second half of this paper looks into computationally attractive formalisms that capture deontic modalities more naturally.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T.J.M. Bench-Capon. Deep models, normative reasoning and legal expert systems. In Proceedings of the 2nd International Conference on AI and Law, Vancouver, 1989. ACM.

    Google Scholar 

  2. J.A. Breuker and N. den Haan. Separating world and regulation knowledge: where is the logic? In M. Sergot, editor, Proceedings of the third international conference on AI and Law, pages 41–51, New York, NJ, 1991. ACM.

    Google Scholar 

  3. M. Cavalcanti. PW-XRete: The Possible Worlds in Real Life. In M. Fisher and R. Owens, editors, Executable modal and Temporal Logics,, in this volume. 1994.

    Google Scholar 

  4. N. den Haan and J.A. Breuker. A Tractable Juridical KBS for Teaching and Applying Traffic Rules. In Model-Based Legal Reasoning — Fourth International Conference on Legal Knowledge Based Systems, JURIX-1991, pages 5–16, Lelystad, December 1991. Koninklijke Vermande.

    Google Scholar 

  5. N. den Haan. TRACS A Support Tool for Drafting and Testing Law. In Information Technology and Law — Fifth International Conference on Legal Knowledge Based Systems, JURIX-1992. Koninklijke Vermande, December 1992.

    Google Scholar 

  6. N. den Haan. Eliminating Unintentional Legal Conflicts. In G. Bargellini and S. Binazzi, editors, Proceedings of the Conference-Towards a Global Expert System in Law-. Institute per la Documentazione Giuridica del Consiglio Nazionale delle Ricerche, 1994. Florence, 1–3 December 1993, to appear in 1994.

    Google Scholar 

  7. N. den Haan. On structure preserving representations of law. In T.F. Gordon, editor, Proceedings of the German Conference on Artificial Intelligence and Law, Vienna, 1994. Invited lecture.

    Google Scholar 

  8. A.M. Frisch. The substitutional framework for sorted deduction: fundamental results on hybrid reasoning. Artificial Intelligence, 49(1–3):161–198, May 1991.

    Google Scholar 

  9. R. Hilpinen, editor. Deontic Logic: Introductory and Systematic Reading, 1981. Reprinted, first published in 1971.

    Google Scholar 

  10. W.N. Hohfeld. Fundamental legal conceptions as applied in legal reasoning. Yale University Press, 1919. Fourth printing, 1966.

    Google Scholar 

  11. A. J. I. Jones and Marek Sergot. Deontic Logic in the Representation of Law: Towards a Methodology. Artificial Intelligence and Law, 1(1), 1992.

    Google Scholar 

  12. J. Köhler and R. Treinen. Constraint Deduction in an Interval-based Temporal Logic. In M. Fisher and R. Owens, editors, Executable modal and Temporal Logics, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994. Presented at the Workshop Executable modal and Temporal Logics on the 13th Interational Joint Conference on Artificial Intelligence (IJCAI-93).

    Google Scholar 

  13. R.A. Kowalski. The treatment of negation in logic programs for representing legislation. In Proceedings of the 2nd International Conference on AI and Law, Vancouver, 1989. ACM.

    Google Scholar 

  14. K. L. Kwast. A Deontic Operator for Database Integrity. In J.-J. Ch. Meyer and R.J. Wieringa, editors, Proceedings of the First International Workshop on Deontic Logic in Computer Science. DEON-91, Amsterdam, Holland, 1991.

    Google Scholar 

  15. G-F. Malt. Methods for the solution of conflicts between rules in a system of positive law. In Bob Brouwer, Ton Hol, Arend Soeteman, Willem van der Velden, and Arie de Wild, editors, Coherence and Conflict in Law, pages 201–226, Deventer, Boston / Zwolle, 1992. Kluwer Law and Taxation Publishers / W.E.J. Tjeenk Willink. Proceedings of the Third Benelux-Scandinavian Symposium in Legal Theory, Amsterdam, January 3–5, 1991.

    Google Scholar 

  16. L.T. McCarty. A language for legal discourse I. Basic structures. In Proceedings of the 2nd International Conference on AI and Law, pages 180–189, Vancouver, 1989. ACM.

    Google Scholar 

  17. Henry Prakken. Logical Tools for Modelling Legal Argument. PhD thesis, Free University, Amsterdam, 1993.

    Google Scholar 

  18. Stephen Read. Relevant Logic: A Philosophical Examination of Inference. Blackwell Ltd, Oxford, 1988.

    Google Scholar 

  19. G.H. von Wright. An Essay in Deontic Logic and the General Theory of Action. North-Holland, second edition, 1972. ISBN 0-7204-2401-1.

    Google Scholar 

  20. R. J. Wieringa and J.-J. Ch. Meyer. Applications of Deontic Logic in Computer Science: A Concise Overview. In J.-J. Ch. Meyer and R.J. Wieringa, editors, Proceedings of the First International Workshop on Deontic Logic in Computer Science. DEON-91, Amsterdam, Holland, 1991.

    Google Scholar 

Download references

Authors
  1. Nienke den Haan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Fisher Richard Owens

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

den Haan, N. (1995). Investigations into the application of deontic logic. In: Fisher, M., Owens, R. (eds) Executable Modal and Temporal Logics. IJCAI 1993. Lecture Notes in Computer Science, vol 897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58976-7_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-58976-7_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58976-1

  • Online ISBN: 978-3-540-49168-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation