Combining natural language processing and logical reasoning to solve multiple bar exam

• Project/Area Number: 26280091
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Partial Multi-year Fund
• Section: 一般
• Research Field: Intelligent informatics
• Research Institution: National Institute of Informatics
• Principal Investigator: Satoh Ken 国立情報学研究所, 情報学プリンシプル研究系, 教授 (00271635)
• Co-Investigator(Renkei-kenkyūsha): ICHISE Ryutaro 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (00332156) ; MIYAO Yusuke 国立情報学研究所, コンテンツ科学研究系, 准教授 (00343096) ; KANO Yoshinobu 静岡大学, 情報学部, 准教授 (20506729)
• Project Period (FY): 2014-04-01 – 2017-03-31
• Project Status: Completed (Fiscal Year 2016)
• Budget Amount: ¥14,820,000 (Direct Cost: ¥11,400,000、Indirect Cost: ¥3,420,000); Fiscal Year 2016: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2015: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2014: ¥5,720,000 (Direct Cost: ¥4,400,000、Indirect Cost: ¥1,320,000)
• Keywords: 要件事実論 / 司法試験 / 民法 / 論理プログラミング / 法的推論 / 人工知能 / 自然言語処理 / 司法試験短答式 / 論理的推論 / 説明生成

Outline of Final Research Achievements

We confirmed that bar exam multiple choice problem can be solved by PROLEG manually in FY2014. However, with regard to the bridging rules we made manualy, the scope of application of the problem was narrow and we found that we can not deal with new problems. So in FY2015 we examined a method different from the bridging rule, but it was not successful. In FY2016, we devised a method using a question answering system that responds to the value in the predicate. We carrie out the initial experiment and we found that substitution of some value can be obtained, but that it is still necessary to extend the method further.

Research Products

• [Int'l Joint Research] インペリアル大学/バース大学(英国)
• [Int'l Joint Research] アジア工科大学(タイ)
• [Int'l Joint Research] アルバータ大学(カナダ)
• [Int'l Joint Research] インペリアル大学/バース大学(英国)
• [Journal Article] Describing Legal Policies as Story Tropes in Normative Systems (2016)
  • Author(s): Thompson, M., Julian Padget, J., Satoh, K.
  • Journal Title: Proceedings of the 29th Annual Conference on Legal Knowledge and Information Systems (JURIX 2016) Volume: 29 Pages: 207-210
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Voluntary Manslaughter? Intention-to-Kill in Meta-Argumentation with Supports (2016)
  • Author(s): Arisaka, R., Satoh, K.
  • Journal Title: Proceedings of the 10th International Workshop on Juris-Informatics (JURISIN 2016) Volume: 10 Pages: 45-58
  • Peer Reviewed
• [Journal Article] Modeling Attempted Crime in Criminal Law (2016)
  • Author(s): Pooksook, J., Dung, P. M., Satoh, K.
  • Journal Title: 10th International Workshop on Juris-Informatics (JURISIN 2016) Volume: 10 Pages: 59-72
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Explanation for Case-Based Reasoning via Abstract Argumentation (2016)
  • Author(s): Cyras, K., Satoh, K., Toni, F.
  • Journal Title: Proceedings of COMMA 2016, Frontiers in Artificial Intelligence and Applications 287 Volume: 287 Pages: 243-254
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction (2016)
  • Author(s): Arisaka, R., Satoh, K.
  • Journal Title: (PRIMA 2016), LNCS 9862 Volume: 9862 Pages: 168-180
  • DOI: 10.1007/978-3-319-44832-9_10
  • ISBN: 9783319448312, 9783319448329
  • Peer Reviewed
• [Journal Article] Abstract Argumentation for Case-Based Reasoning (2016)
  • Author(s): Cyras, K., Satoh, K., Toni, F.
  • Journal Title: Proc. of KR 2016 Volume: 15 Pages: 549-552
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Legal Yes/No Question Answering System using Case-Role Analysis (2016)
  • Author(s): Taniguchi, R., Kano, Y.,
  • Journal Title: Proceedings of the 10th International Workshop on Juris-Informatics (JURISIN 2016) Volume: 10 Pages: 153-166
  • Peer Reviewed
• [Journal Article] Inductive Learning Using Constraint-Driven Bias (2015)
  • Author(s): Athakravi, D., Alrajeh, D., Law, M., Broda, K., Russo, A., and Satoh, K.
  • Journal Title: Lecture Note on Artificial Intelligence Volume: 9046 Pages: 226-242
  • DOI: 10.1007/978-3-319-23708-4_2
  • ISBN: 9783319237077, 9783319237084
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Argumentation-based Normative Practical Reasoning (2015)
  • Author(s): Shams, Z., de Vos, M., Oren, N., Padget, J., and Satoh, K.,
  • Journal Title: Lecture Note on Artificial Intelligence Volume: 9524 Pages: 16-32
  • DOI: 10.1007/978-3-319-28460-6_14
  • ISBN: 9783319284590, 9783319284606
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Answering Yes/No Questions in Legal Bar Exams (2014)
  • Author(s): Kim, M.-Y., Xu, Y., Goebel, R., Satoh, K.
  • Journal Title: Lecture Notes in Computer Science Volume: 8417 Pages: 199-213
  • DOI: 10.1007/978-3-319-10061-6_14
  • ISBN: 9783319100609, 9783319100616
  • Peer Reviewed / Open Access
• [Journal Article] ArgPROLEG: A Normative Framework for The JUF Theory (2014)
  • Author(s): Shams. Z., De Vos, M., Satoh, K.
  • Journal Title: Lecture Notes in Computer Science Volume: 8417 Pages: 183-198
  • DOI: 10.1007/978-3-319-10061-6_13
  • NAID: 40020005058
  • ISBN: 9783319100609, 9783319100616
  • Peer Reviewed / Open Access
• [Journal Article] Generating Legal Reasoning Structure by Answer Set Programming (2014)
  • Author(s): Athakravi, D., Satoh, K., Broda, K., and Russo, A.
  • Journal Title: Proc. of 8th International Workshop on Juris-informatics Volume: 8 Pages: 24-37
  • Peer Reviewed
• [Journal Article] A Logic-based System for Recognizing Textual Entailment Applied to the Bar Exam Competition (2014)
  • Author(s): Miyao Y., and Satoh, K
  • Journal Title: Proc. of 8th International Workshop on Juris-informatics Volume: 8 Pages: 130-138
  • Peer Reviewed
• [Journal Article] Legal Conflict Detection in Interacting Legal Systems (2014)
  • Author(s): Tantisripreecha, T., Satoh, K., and Nuanwan, S.
  • Journal Title: Proc. of The 10th International Conference on Intelligent Computing Volume: 10 Pages: 500-512
  • Peer Reviewed
• [Journal Article] On Requirements Representation and Reasoning Using Answer Set Programming (2014)
  • Author(s): Padget, J., Elakehal, E. E., Satoh, K., Ishikawa, F.
  • Journal Title: Proc. of The 1st International Workshop on Artificial Intelligence for Requirements Engineering Volume: 1 Pages: 35-42
  • Peer Reviewed
• [Presentation] Challenges in Natural Language Processing: Question Answering and Dialog System (2016)
  • Author(s): Kano, Y.
  • Organizer: IR Workshop 2016, Academia Sinica
  • Place of Presentation: Taiwan
  • Int'l Joint Research / Invited
• [Funded Workshop] 10th International Workshop on Juris-Informatics (JURISIN 2016) (2016)
  • Place of Presentation: 横浜、日本
  • Year and Date: 2016-11-14
• [Funded Workshop] Ninth International Workshop on Juris-informatics (JURISIN 2015) (2015)
  • Place of Presentation: 横浜、神奈川県
  • Year and Date: 2015-11-17