A Method of Legal Text Formalization

Author

Dapeng Lang ; Shaobin Huang ; Tianyang Lv

Author_Institution

Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China

fYear

2012

fDate

21-23 April 2012

Firstpage

26

Lastpage

30

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Internet Computing for Science and Engineering (ICICSE), 2012 Sixth International Conference on

Conference_Location

Henan

Print_ISBN

978-1-4673-1683-5

Type

conf

DOI

10.1109/ICICSE.2012.9

Filename

6239780