A Method of Legal Text Formalization

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.