Towards translation of legal sentences into logical forms

Authors:
Makoto Nakamura;Shunsuke Nobuoka;Akira Shimazu
Affiliations:
School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan;School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan;School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan
Venue:
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Year:
2007

Citing 5
Cited 4

New HELIC-II: a software tool for legal reasoning

ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition

Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition
Semantic structure analysis of Japanese noun phrases with adnominal particles

ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Interpretation as abduction

ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Stable legal knowledge with regard to contradictory arguments

AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications

Treatment of Legal Sentences Including Itemized and Referential Expressions --- Towards Translation into Logical Forms

New Frontiers in Artificial Intelligence
Semantic Analysis of Paragraphs Consisting of Multiple SentencesTowards Development of a Logical Formulation System

Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Legal language and legal knowledge management applications

Semantic Processing of Legal Texts
Supervised and semi-supervised sequence learning for recognition of requisite part and effectuation part in law sentences

FSMNLP '11 Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a framework for translating legal sentences into logical forms in which we can check for inconsistency, and describes the implementation and experiment of the first experimental system. Our logical formalization conforms to Davidsonian Style, which is suitable for languages allowing expressions with zero-pronouns such as Japanese. We examine our system with actual data of legal documents. As a result, the system was 78% of accurate in terms of deriving predicates with bound variables. We discuss our plan for further development of the system from the viewpoint of the following two aspects: (1) improvement of accuracy (2) formalization of output necessary for logical processing.