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. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Nakamura, M., Nobuoka, S., & Shimazu, A. (2008). Towards translation of legal sentences into logical forms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4914 LNAI, pp. 349–362). https://doi.org/10.1007/978-3-540-78197-4_33
Mendeley helps you to discover research relevant for your work.