Abstract
In this paper we describe first the nature of laws and regu- lations, which are not-normal, fragmented pieces of text, that can only be understood by using some (implicit) model about the world to be regulated. Then we describe the process of drafting regulations, in par- ticular the need to verify and validate their intended effects, i.e. deontic statements. We present an ontology, FOLaw, [13] and a prototype sys- tem, TRACS (Traffic Regulation Automation and Comparison System), which was created to test new traffic regulations [2]. Even a few runs of tests showed major deficiencies in this regulation. An extended version of TRACS also enables the generation of paraphrases of regulation, and even to some extent, from scratch. The implication of the use of these kind of tools are discussed; not only for checking consistency, but also for aligning (“harmonizing”) regulations of different legal systems (nations).
Stichting Wetenschappelijk Onderzoek Verkeersveiligheid; Foundation for Research on Traffic Safety.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Breuker, J., AND Den Haan, N. Separating regulation from world knowledge: where is the logic. In Proceedings of the 4th International Conference on AI and Law New York, NJ, 1991), M. Sergot, (Ed.), ACM, pp. 41–51.
Den Haan, N. Automated Legal Reasoning. PhD thesis, University of Amsterdam, 1996.
Den Haan, N., AND Breuker, J. TRACS: Een juridisch KBS voor het RVV90. In Juridische toogdag 1992 (Amsterdam, 1992), VU, pp. 21–32.
Den Haan, N., AND Breuker, J. Constructing normative rules. In Proceedings of JURIX-96 (1996), R. van Kralingen, (Ed)., pp. 41–56.
Den Haan, N., Breuker, J., AND Winkels, R. Automated legislative drafting. In Proceedings of the 8th Dutch Conference on Artificial Intelligence, NAIC (1996), J. Meyer and L. van der Gaag, (Eds)., pp. 167–178.
Hart, H., AND Honore, T. Causation in the Law, second edition (ed). Oxford University Press, New York, 1985.
Kowalski, R., and Sergot, M. Computer representation of the law. InProceedings of the ninth IJCAI (1986), pp. 1269–1270.
Malt, G. Methods for the solution of conflicts between rules in a system of positive law. In Coherence and Conflict in Law Deventer/Boston, 1992, P. Brouwer, T. Hol, A. Soeteman, W. van der Velde, and A. de Wild, (Eds)., Kluwer, pp. 201–226.
McCarty, L. A language for legal discourse i. basic structures. In Proceedings of the 2nd International Conference on AI and Law Vancouver, 1989), ACM.
Ross, A. Tu-tu. Scandinavian Studies in Law (1957), 139–153.
Svensson, J., Kordelaar, P., Wassink, J., AND Van’ t Eind, G. ExpertisZe, a Tool for Determining the Effects of Social Security Information. In Proceedings of Legal Knowledge Based Systems: Information Technology and Law, JURIX- 1992 (Lelystad, NL, December 1992), C. Grütters, J. Breuker, H. van den Herik, A. Schmidt, and C. de Vey Mestdagh, (Eds)., Koninklijke Vermande, pp. 51–61.
Valente, A. Legal knowledge engineering: A modelling approach. IOS Press, Amsterdam, The Netherlands, 1995.
Valente, A., Breuker, J., AND Brouwer, P. Legal modelling and automated reasoning with ON-LINE. International Journal of Human Computer Studies 51 (1999), 1079–1126.
Van Heijst, G., Schreiber, A. T., AND Wielinga, B. Using explicit ontologies for kbs development. International Journal of Human-Computer Studies 46, 2/3 (1997), 183–292.
Van Kralingen, R.W. Frame-based Conceptual Models of Statute Law. PhD thesis, University of Leiden, The Hague, The Netherlands, 1995.
Visser, P. Knowledge Specification for Multiple Legal Tasks; A Case Study of the Interaction Problem in the Legal Domain. PhD thesis, University of Leiden, The Hague, The Netherlands, June 1995.
Visser, P., AND Winkels, R., (Eds). First International Workshop on Legal Ontologies (Melbourne, Australia, 1997), University of Melbourne.
Voermans, W., and Verharen, E. LEDA: a semi-intelligent legislative drafting-support system. In Intelligent Tools for Drafting and Computer-Supported Comparison of Law-Sixth International Conference on Legal Knowledge-based Systems Legal Knowledge-Based Systems, JURIX-1993 (1993), Koninklijke Vermande, pp. 81–94.
Winkels, R., Bosscher, D., Boer, A., AND Breuker, J. Generating exception structures for legal information serving. In Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL-99), T. F. Gordon, (Ed). ACM, New York, NJ, 1999, pp. 182–195. Also in Proceedings of the 11th Belgium-Netherlands Conference on Artificial Intelligence (Maastricht, November 3–4, 1999).
Winkels, R., Breuker, J., Boer, A., AND Bosscher, D. Intelligent information serving for the legal practitioner. InProceedings of the IASTED Conference on Law and Technology, LawTech-99 (1999), pp. 103–114.
Winkels, R., AND DenHaan, N. Automated legislative drafting: Generating paraphrases of legislation. In Proceedings of the Fifth International Conference on AI and Law (College Park, Maryland, 1995), ICAIL-95, (Ed)., ACM, pp. 112–118.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Breuker, J., Petkov, E., Winkels, R. (2000). Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools. In: Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2000. Lecture Notes in Computer Science, vol 1904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45331-8_3
Download citation
DOI: https://doi.org/10.1007/3-540-45331-8_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41044-7
Online ISBN: 978-3-540-45331-4
eBook Packages: Springer Book Archive