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 *help |
¥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.
|
Report
(4 results)
Research Products
(47 results)
-
[Journal Article] Decision Making in Knowledge Integration with Dynamic Creation of Argumentation2013
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
Related Report
Peer Reviewed
-
-
[Journal Article] Detecting Conflicts in Legal Systems2013
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
Related Report
Peer Reviewed
-
[Journal Article] Handling Change in Normative Specifications2013
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
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
[Journal Article] Detecting Conflicts in Legal Systems2013
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
Related Report
Peer Reviewed
-
[Journal Article] Handling Change in Normative Specifications2013
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
Related Report
Peer Reviewed
-
-
-
-
-
-
[Journal Article] Normative Design Using Inductive Learning2011
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
Related Report
Peer Reviewed
-
-
[Journal Article] Norm Refinement and Design through Inductive Learning2011
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
Related Report
Peer Reviewed
-
[Journal Article] PROLEG : An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology2011
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
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
