Towards Translation of Legal Sentences into Logical Forms

This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. 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.

• Type: Conference
• Year: 2007
• Where: JSAI
• Authors: Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu
• Keywords: Artificial Intelligence, JSAI 2007, Logical Formalization Conforms, Logical Forms, Ongoing Research Effort