Towards Translation of Legal Sentences into Logical Forms

  • Makoto Nakamura
  • Shunsuke Nobuoka
  • Akira Shimazu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4914)


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.


Noun Phrase Semantic Relation Relative Clause Logical Formula Head Noun 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Katayama, T.: The current status of the art of the 21st COE programs in the information sciences field (2): Verifiable and evolvable e-society - realization of trustworthy e-society by computer science - (in Japanese). IPS Japan (Information Processing Society of Japan) Journal 46(5), 515–521 (2005)Google Scholar
  2. 2.
    Katayama, T.: Legal engineering – an engineering approach to laws in e-society age –. In: Proc. of the 1st Intl. Workshop on JURISIN (2007)Google Scholar
  3. 3.
    Hagiwara, S., Tojo, S.: Stable legal knowledge with regard to contradictory arguments. In: AIA 2006. Proceedings of the 24th IASTED international conference on Artificial intelligence and applications, Anaheim, CA, USA, pp. 323–328. ACTA Press (2006)Google Scholar
  4. 4.
    Jurafsky, D., Martin, J.H.: Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition. Prentice Hall PTR, Upper Saddle River, NJ, USA (2000)Google Scholar
  5. 5.
    Hobbs, J.R., et al.: Interpretation as abduction. In: Proceedings of the 26th annual meeting of the Association for Computational Linguistics, Morristown, NJ, USA. Association for Computational Linguistics, pp. 95–103 (1988)Google Scholar
  6. 6.
    Mulkar, R., Hobbs, J.R., Hovy, E.: Learning from reading syntactically complex biology texts. In: Proceedings of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning. part of the AAAI Spring Symposium Series (2007)Google Scholar
  7. 7.
    Mulkar, R., et al.: Learning by reading: Two experiments. In: Proceedings of IJCAI 2007 workshop on Knowledge and Reasoning for Answering Questions (2007)Google Scholar
  8. 8.
    Nitta, K., et al.: New HELIC-II: A software tool for legal reasoning. In: ICAIL 1995. Proceedings of the 5th international conference on Artificial intelligence and law, pp. 287–296. ACM Press, New York, NY, USA (1995)CrossRefGoogle Scholar
  9. 9.
    Ashley, K.D.: Modeling Legal Argument: Reasoning with Cases and Hypotheticals. In: Artificial Intelligence and Legal Reasoning Series, MIT Press (Bradford), Cambridge, Massachusetts (1990)Google Scholar
  10. 10.
    Tanaka, K., Kawazoe, I., Narita, H.: Standard structure of legal provisions - for the legal knowledge processing by natural language - (in Japanese). In: IPSJ Research Report on Natural Language Processing, pp. 79–86 (1993)Google Scholar
  11. 11.
    Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, Cambridge, MA (1990)Google Scholar
  12. 12.
    Zucchi, A.: The Language of Propositions and Events. In: Studies in Linguistics and Philosophy, Kluwer, Dordrecht (1993)Google Scholar
  13. 13.
    Yoshino, H.: Representation of legal knowledge by compound predicate formula. In: ICLP 1994. Proc. of Workshop on Legal Application of Logic Programming, pp. 128–137 (1994)Google Scholar
  14. 14.
    Nagai, H., Nakamura, T., Nomura, H.: Skeleton structure acquisition of Japanese law sentences based on linguistic characteristics. In: Proc. of NLPRS 1995, vol. 1, pp. 143–148 (1995)Google Scholar
  15. 15.
    Shimazu, A., Naito, S., Nomura, H.: Semantic structure analysis of Japanese noun phrases with adnominal particles. In: Proceedings of the 25th annual meeting on Association for Computational Linguistics, Morristown, NJ, USA. Association for Computational Linguistics, pp. 123–130 (1987)Google Scholar
  16. 16.
    Kurohashi, S., et al.: Improvements of Japanese morphological analyzer JUMAN. In: Proceedings of the Workshop on Sharable Natural Language Resources, pp. 22–28 (1994)Google Scholar
  17. 17.
    Kurohashi, S., Nagao, M.: KN parser: Japanese dependency/case structure analyzer. In: Proceedings of the Workshop on Sharable Natural Language Resources, pp. 48–55 (1994)Google Scholar
  18. 18.
    Ikehara, S., et al.: Nihongo Goi Taikei – A Japanese Lexicon (In Japanese). In: Iwanami Shoten, Tokyo (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Makoto Nakamura
    • 1
  • Shunsuke Nobuoka
    • 1
  • Akira Shimazu
    • 1
  1. 1.School of Information ScienceJapan Advanced Institute of Science and TechnologyNomiJapan

Personalised recommendations