Beyond inversion of resolution
Proceedings of the seventh international conference (1990) on Machine learning
Algorithmic Program DeBugging
The systematization of law in terms of the validity
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
In order to acquire legal rules from legal texts, legal requirements and legal effects must be identified. However, some of legal requirements are expressed implicitly. Such implicit legal requirements can be found by lawyers when they understand legal texts. In this paper, to mechanize legal knowledge acquisition process, a lawyer's understanding process of legal texts is analyzed. The lawyer's understanding process can be viewed as an abductive reasoning process, since the lawyer can introduce implicit legal requirements which have not appeared in legal texts. This paper models such a reasoning process when lawyers understand legal texts. Based on the analysis of lawyer's understanding process, a knowledge acquisition support system is proposed.