Towards Translation of Legal Sentences into Logical Forms

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