A Method of Legal Text Formalization
| Autor: | Shaobin Huang, Tianyang Lv, Da-Peng Lang |
|---|---|
| Rok vydání: | 2012 |
| Předmět: |
Knowledge representation and reasoning
Language identification Language structure Computer science business.industry Object language Natural language understanding Foundation (evidence) computer.software_genre Formal reasoning Universal Networking Language Artificial intelligence business computer Natural language processing |
| Zdroj: | 2012 Sixth International Conference on Internet Computing for Science and Engineering. |
| DOI: | 10.1109/icicse.2012.9 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|