\input zb-basic
\input zb-ioport
\iteman{io-port 01670571}
\itemau{Breuker, Joost; Petkov, Emil; Winkels, Radboud}
\itemti{Drafting and validating regulations: The inevitable use of intelligent tools.}
\itemso{Cerri, Stefano A. (ed.) et al., Artificial intelligence: methodology, systems, and applications. 9th international conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1904, 21-33 (2000).}
\itemab
Summary: We describe first the nature of laws and regulations, 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 particular the need to verify and validate their intended effects, i.e. deontic statements. We present an ontology, FOLaw, and a prototype system, TRACS (Traffic Regulation Automation and Comparison System), which was created to test new traffic regulations. 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).
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{}
\end