Title :
A Method of Legal Text Formalization
Author :
Dapeng Lang ; Shaobin Huang ; Tianyang Lv
Author_Institution :
Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China
Abstract :
Knowledge representation and reasoning is a very critical issue on how to understand and storage knowledge. According to the clear logic structure and strict language structure in legal texts, this paper presents a method of legal text formalization using natural language understanding, based on which we modeled legal texts using CTL. After finishing these steps automatically, formal text could be a foundation of future knowledge discovering and formal reasoning. At last an experiment revealed that compared to human experts, this method is more effective and efficient on the aspect of formalization and reasoning.
Keywords :
formal logic; knowledge representation; law; natural language processing; text analysis; CTL; Knowledge representation; clear logic structure; formal reasoning; knowledge discovering; legal text formalization; natural language understanding; storage knowledge; strict language structure; Cognition; Computers; Insurance; Law; Standards; Unemployment; CTL; formalization; legal text; natural language understanding;
Conference_Titel :
Internet Computing for Science and Engineering (ICICSE), 2012 Sixth International Conference on
Conference_Location :
Henan
Print_ISBN :
978-1-4673-1683-5
DOI :
10.1109/ICICSE.2012.9
