2013 Fiscal Year Final Research Report
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
|
| Keywords | 要件事実論 / 民法 / 法的推論 / 論理プログラミング |
|---|
| 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.
|
-
[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
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
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
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
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
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
Peer Reviewed
-
-
