ABSTRACT
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.
- 1.D. Miller, et al. Uniform proofs as a foundation for logic programming. In Annals of Pure and Appli~d Logic, 51, pp. 125-157, 1991.Google ScholarCross Ref
- 2.M. Haraguchi. A form of analogy as an abductive inference. In ALT91, pp. 266-274, 1991.Google Scholar
- 3.S. Muggleton and W. Buntine. Machine invention of first-order predicates by inverting resolution. In Workshop on Machine Learning, pp. 339-352, 1988.Google ScholarCross Ref
- 4.C. Rouveirol. Semantic model for induction of first order theories. In IJCAI91. Morgan Kaufmann, 1991.Google Scholar
- 5.C. Rouveirol and J. F. Puget. Beyond inversion of resolution. In Workshop on Machine Learning, pp. 122-130, 1990. Google ScholarDigital Library
- 6.E. Shapiro. Algorithmic program debu~gin~. MIT Press, 1983. Google ScholarDigital Library
- 7.H. Yoshino et al. Foundation of Systematization of Legal Analogy (In Japanese). Proc. of the 5th Annual Conference of JSAI, pp. 219-222, 1991.Google Scholar
Index Terms
- Identification of implicit legal requirements with legal abstract knowledge
Recommendations
A legal cross-references taxonomy for identifying conflicting software requirements
RE '11: Proceedings of the 2011 IEEE 19th International Requirements Engineering ConferenceCompanies must ensure their software complies with relevant laws and regulations to avoid the risk of costly penalties, lost reputation, and brand damage resulting from noncompliance. Laws and regulations contain internal cross-references to portions of ...
A legal cross-references taxonomy for reasoning about compliance requirements
Special Issue: RE'11 Best PapersCompanies must ensure their software complies with relevant laws and regulations to avoid the risk of costly penalties, lost reputation, and brand damage resulting from non-compliance. Laws and regulations contain internal cross-references to portions ...
Comments