Implementing Japanese Presupposed Ultimate Fact Theory in Logic Programming

• Project/Area Number: 23300062
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• 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)
• Project Period (FY): 2011-04-01 – 2014-03-31
• Project Status: Completed (Fiscal Year 2013)
• Budget Amount: ¥19,370,000 (Direct Cost: ¥14,900,000、Indirect Cost: ¥4,470,000); Fiscal Year 2013: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000); Fiscal Year 2012: ¥7,280,000 (Direct Cost: ¥5,600,000、Indirect Cost: ¥1,680,000); Fiscal Year 2011: ¥6,760,000 (Direct Cost: ¥5,200,000、Indirect Cost: ¥1,560,000)
• Keywords: 要件事実論 / 民法 / 法的推論 / 論理プログラミング / juris-informatics

Research Abstract

We develop a programming language called PROLEG which implements Japanese Presupposed Ultimate Fact Theory (JUF theory) for civil litigation. We described various questions in a text book of JUF theory and verified equivalence of PROLEG reasoning process and lawyer's reasnoning process. Moreover, we found that PROLEG can be used for other law domains such as constitutional law and penal code to describe various cases in these domains. We also implemented a visual debug tool for PROLEG reasoning process which is equivalent to "block diagram" in JUF theory.

Research Products

• [Journal Article] Decision Making in Knowledge Integration with Dynamic Creation of Argumentation (2013)
  • Author(s): Satoh, K., Takahashi, K., Y. Tanaka, N. Spyratos, T. Yoshida, C. Meghini (Eds.)
  • Journal Title: Information Search, Integration and Personalization, ISIP 2012 : Revised Selected Papers, Communications in Computer and Information Science Volume: 146 Pages: 41-50
  • Peer Reviewed
• [Journal Article] Modelling Legitimate Expectations (2013)
  • Author(s): De Vos, M., Balke, T., and Satoh, K
  • Journal Title: New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, Revised Selected Papers Volume: LNAI 7856 Pages: 141-156
  • Peer Reviewed
• [Journal Article] Detecting Conflicts in Legal Systems (2013)
  • Author(s): Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A
  • Journal Title: New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, Revised Selected Papers Volume: LNAI 7856 Pages: 174-189
  • Peer Reviewed
• [Journal Article] Handling Change in Normative Specifications (2013)
  • Author(s): Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., and Satoh, K
  • Journal Title: Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers Volume: LNCS 7784 Pages: 1-19
  • Peer Reviewed
• [Journal Article] Legal Conflict Detection in Interacting Legal Systems (2013)
  • Author(s): Li, T., Balke, T., De Vos, M., Padget, J.A., and Satoh K
  • Journal Title: Proceedings of the 26th Annual Conference on Legal Knowledge and Information Systems (JURIX 2013) Pages: 107-116
  • Peer Reviewed
• [Journal Article] Normative Approach to Exploring Multi-Agency Privacy and Transparency (2013)
  • Author(s): Padget, J.A., Satoh, K., and Ishikawa, F
  • Journal Title: Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013) Pages: 9-22
  • Peer Reviewed
• [Journal Article] Answering Yes/No Questions in Legal Bar Exams (2013)
  • Author(s): Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K
  • Journal Title: Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013) Pages: 65-78
  • Peer Reviewed
• [Journal Article] ArgPROLEG : A Normative Framework for The JUF Theory (2013)
  • Author(s): Shams, Z., De Vos, M., and Satoh K
  • Journal Title: Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013) Pages: 121-134
  • NAID: 40020005058
  • Peer Reviewed
• [Journal Article] A Model-Based Approach to the Automatic Revision of Secondary Legislation (2013)
  • Author(s): Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K
  • Journal Title: Proceedings of the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013) Pages: 202-206
  • Peer Reviewed
• [Journal Article] Combining Event- and State-based Norms (2013)
  • Author(s): De Vos, M., Balke, T., Satoh, K
  • Journal Title: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013) Pages: 1157-1158
  • Peer Reviewed
• [Journal Article] Integrating Ontologies Using Ontology Learning Approach (2013)
  • Author(s): Lihua Zhao, Ryutaro Ichise
  • Journal Title: IEICE Transactions on Information and Systems Volume: E96-D Pages: 40-50
  • NAID: 10031167378
  • Peer Reviewed
• [Journal Article] Decision Making in Knowledge Integration with Dynamic Creation of Argumentation (2013)
  • Author(s): Satoh, K., Takahashi, K.
  • Journal Title: Information Search, Integration and Personalization, ISIP 2012: Revised Selected Paeprs, Communications in COmputer and Information Science Volume: 146 Pages: 41-50
  • Peer Reviewed
• [Journal Article] Modelling Legitimate Expectations (2013)
  • Author(s): De Vos, M., Balke, T., and Satoh, K.
  • Journal Title: New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI Volume: 7856 Pages: 141-156
  • Peer Reviewed
• [Journal Article] Detecting Conflicts in Legal Systems (2013)
  • Author(s): Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A.
  • Journal Title: New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI Volume: 7856 Pages: 174-189
  • Peer Reviewed
• [Journal Article] Handling Change in Normative Specifications (2013)
  • Author(s): Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., and Satoh, K.
  • Journal Title: Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers, LNCS 7784 Volume: 7784 Pages: 1-19
  • Peer Reviewed
• [Journal Article] Logic Programming and Burden of Proof in Logic Programming (2012)
  • Author(s): Satoh, K
  • Journal Title: New Generation Computing Volume: Vol.30,No.4 Pages: 297-326
  • Peer Reviewed
• [Journal Article] Legal Modelling and Reasoning using Institutions (2012)
  • Author(s): De Vos, M., Padget, J. A., Satoh, K
  • Journal Title: New Frontiers in Artificial Intelligence : JSAI-isAI 2010 Workshops, Revised Selected Papers Volume: LNAI 6797 Pages: 129-140
  • Peer Reviewed
• [Journal Article] Logic Programming and Burden of Proof in Logic Programming (2012)
  • Author(s): Ken Satoh
  • Journal Title: New Generation Computing Volume: 30 Issue: 4 Pages: 297-326
  • DOI: 10.1007/s00354-012-0402-6
  • Peer Reviewed
• [Journal Article] Legal Modelling and Reasoning using Institutions (2012)
  • Author(s): Marina De Vos, Julian Padget, Ken Satoh
  • Journal Title: Springer Verlag Volume: LNAI 6797 Pages: 129-140
  • Peer Reviewed
• [Journal Article] PROLEG : An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG technology (2012)
  • Author(s): Ken Satoh, et al
  • Journal Title: Springer Verlag Volume: LNAI 6797 Pages: 153-164
  • Peer Reviewed
• [Journal Article] Normative Design Using Inductive Learning (2011)
  • Author(s): Corapi, D., Russo, A., De Vos, M., Padget, J. A., Satoh, K
  • Journal Title: Theory and Practice of Logic Programming (TPLP) Volume: Vol.11,No.4-5 Pages: 783-799
  • Peer Reviewed
• [Journal Article] PROLEG : 論理プログラミング言語 (2011)
  • Author(s): 西貝吉晃, 浅井健人, 久保田理広, 古川昂宗, 佐藤健, 白川佳, 高野千明, 中村恵
  • Journal Title: Prolog を利用した要件事実論のプログラミング情報ネットワーク・ローレビュー Volume: Vol.10 Pages: 54-89
  • Peer Reviewed
• [Journal Article] Norm Refinement and Design through Inductive Learning (2011)
  • Author(s): Corapi, D., De Vos, M., Padget, J. A., Russo, A., Satoh, K
  • Journal Title: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, Revised Selected Papers Volume: LNCS 6541 Pages: 77-94
  • Peer Reviewed
• [Journal Article] PROLEG : An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology (2011)
  • Author(s): Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C
  • Journal Title: New Frontiers in Artificial Intelligence : JSAI-isAI 2010 Workshops, Revised Selected Papers Volume: LNAI 6797 Pages: 1419-1429
  • Peer Reviewed
• [Journal Article] Normative Design Using Inductive Learning (2011)
  • Author(s): Corapi, et al
  • Journal Title: Theory and Practice of Logic Programming Volume: 11 Pages: 783-799
  • Peer Reviewed
• [Journal Article] PROLEG:論理プログラミング言語Prologを利用した要件事実論のプログラミング (2011)
  • Author(s): 西貝, 他
  • Journal Title: 情報ネットワーク・ローレビュー Volume: 10 Pages: 54-89
  • Peer Reviewed
• [Journal Article] Norm Refinement and Design through Inductive Learning (2011)
  • Author(s): Corapi, et al
  • Journal Title: Springer Verlag Volume: LNCS 6541 Pages: 77-94
  • Peer Reviewed
• [Journal Article] A Semantics of Argumentation under Incomplete Information (2011)
  • Author(s): 佐藤健、高橋和子
  • Journal Title: Proc.of Juris-informatics 2011 Pages: 86-97
  • Peer Reviewed
• [Journal Article] Toward Simulating the Human Way of Comparing Concepts (2011)
  • Author(s): Raul Ernesto Menendez-Mora, Ryutaro Ichise
  • Journal Title: IEICE Transactions on Information and Systems Volume: E94-D Pages: 1419-1429
  • NAID: 10029805540
  • Peer Reviewed
• [Presentation] Legal Conflict Detection in Interacting Legal Systems (2013)
  • Author(s): Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K.
  • Organizer: the 26th Annual Conference on Legal Knowledge and Information Systems (JURIX 2013)
  • Place of Presentation: ボローニャ、イタリア
• [Presentation] Normative Approach to Exploring Multi-Agency Privacy and Transparency (2013)
  • Author(s): Padget, J. A., Satoh, K., and Ishikawa, F.
  • Organizer: the 7th International Workshop on Juris-informatics (JURISIN 2013)
  • Place of Presentation: 横浜、日本
• [Presentation] Answering Yes/No Questions in Legal Bar Exams (2013)
  • Author(s): Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K.
  • Organizer: the 7th International Workshop on Juris-informatics (JURISIN 2013)
  • Place of Presentation: 横浜、日本
• [Presentation] ArgPROLEG: A Normative Framework for The JUF Theory (2013)
  • Author(s): Shams, Z., De Vos, M., and Satoh K.
  • Organizer: the 7th International Workshop on Juris-informatics (JURISIN 2013)
  • Place of Presentation: 横浜、日本
• [Presentation] A Model-Based Approach to the Automatic Revision of Secondary Legislation (2013)
  • Author(s): Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K.
  • Organizer: the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013)
  • Place of Presentation: ローマ、イタリア
• [Presentation] Combining Event- and State-based Norms (2013)
  • Author(s): De Vos, M., Balke, T., Satoh, K.
  • Organizer: the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)
  • Place of Presentation: セントポール、米国
• [Presentation] On Generality of PROLEG Knowledge Representation (2012)
  • Author(s): Ken Satoh, Takamune Kogawa, Nao Okada, Kentaro Omori, Shunsuke Omura and Kazuki Tsuchiya
  • Organizer: the 6th International Workshop on Juris-informatics
  • Place of Presentation: 宮崎
• [Presentation] Detecting Conflicts in Legal Systems (2012)
  • Author(s): Tingting Li, Tina Balke, Marina De Vos, Ken Satoh and Julian Padget
  • Organizer: the 6th International Workshop on Juris-informatics
  • Place of Presentation: 宮崎
• [Presentation] Modelling Legitimate Expectations (2012)
  • Author(s): Marina De Vos, Tina Balke and Ken Satoh
  • Organizer: the 6th International Workshop on Juris-informatics
  • Place of Presentation: 宮崎
• [Presentation] Distributed Defeasible Speculative Reasoning in Ambient Environment (2012)
  • Author(s): Ho-Pun Lam, Guido Governatori, Ken Satoh and Hiroshi Hosobe
  • Organizer: Computational Logic in Multi-Agent Systems, 13th International Workshop
  • Place of Presentation: Montpellier, France
• [Presentation] Handling Change in Normative Specifications (2012)
  • Author(s): Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget, Ken Satoh
  • Organizer: 11th International Conference on Autonomous Agents and Multiagent Systems
  • Place of Presentation: Valencia, Spain
• [Presentation] Conflict Detection in Composite Institutions
  • Author(s): Tingting Li, Tina Balke, Marina De Vos, Ken Satoh and Julian Padget
  • Organizer: the Second International Workshop on Agent-based Modeling for Policy Engineering
  • Place of Presentation: Montpellier, France
• [Remarks]
  • URL: http://research.nii.ac.jp/~ksatoh/juris-informatics-papers/
• [Remarks] Papers on juris-informatics
  • URL: http://research.nii.ac.jp/̃ksatoh/juris-informatics-papers/
• [Remarks] Papers on juris-informatics
  • URL: http://research.nii.ac.jp/~ksatoh/juris-informatics-papers/
• [Remarks]
  • URL: http://research.nii.ac.jp/~ksatoh/juris-informatics-papers/
• [Patent(Industrial Property Rights)] 法的推論提示方法, 法的推論提示システムおよびプログラム (2012)
  • Inventor(s): 佐藤 健
  • Industrial Property Rights Holder: 情報・システム研究機構
  • Industrial Property Rights Type: 特許
  • Industrial Property Number: 2012-241526
  • Filing Date: 2012-11-01
• [Patent(Industrial Property Rights)] 法的推論提示方法、法的推論提示システムおよびプログラム (2012)
  • Inventor(s): 佐藤 健
  • Industrial Property Rights Holder: 佐藤 健
  • Industrial Property Rights Type: 特許
  • Filing Date: 2012-11-01