A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Separating world and regulation knowledge: where is the logic
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Automated legislative drafting: generating paraphrases of legislation
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Using explicit ontologies in KBS development
International Journal of Human-Computer Studies
Generating exception structures for legal information serving
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Legal modeling and automated reasoning with ON—LINE
International Journal of Human-Computer Studies - Model—based legal knowledge engineering
Computer representation of the law
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Use and reuse of legal ontologies in knowledge engineering and information management
Law and the Semantic Web
Hi-index | 0.00 |
In this paper 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).