Implementing Japanese Presupposed Ultimate Fact Theory in Logic Programming

在逻辑编程中实现日本预设终极事实理论

• 批准号: 23300062
• 负责人: SATOH Ken
• 金额: $ 12.4万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011-04-01 至 2014-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23300062/
• 关键词: 要件事実論; 民法; 法的推論; 論理プログラミング; juris-informatics

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.

我们开发了一种名为 PROLEG 的编程语言，它在民事诉讼中实现了日本预设终极事实理论（JUF 理论）。我们在JUF理论的教科书中描述了各种问题，并验证了PROLEG推理过程和律师推理过程的等价性。此外，我们发现PROLEG可以用于其他法律领域，例如宪法和刑法典，以描述这些领域的各种案例。我们还实现了PROLEG推理过程的可视化调试工具，相当于JUF理论中的“框图”。

项目成果

Legal Modelling and Reasoning using Institutions

使用制度进行法律建模和推理

• 发表时间: 2012
• 期刊: New Frontiers in Artificial Intelligence : JSAI-isAI 2010 Workshops, Revised Selected Papers
• 作者: De Vos;M.;Padget;J. A.;Satoh;K
• 通讯作者: K

A Semantics of Argumentation under Incomplete Information

不完全信息下的论证语义

• 发表时间: 2011
• 作者: 西村洋介;今村大輔;堀内靖雄;川本一彦;篠崎隆宏;黒岩眞吾;Ken SATOH
• 通讯作者: Ken SATOH

PROLEG:論理プログラミング言語Prologを利用した要件事実論のプログラミング

PROLEG：使用逻辑编程语言 Prolog 进行需求事实理论编程

• 发表时间: 2011
• 期刊: 情報ネットワーク・ローレビュー
• 作者: 西貝;他
• 通讯作者: 他

Decision Making in Knowledge Integration with Dynamic Creation of Argumentation

动态创建论证的知识整合决策

• 发表时间: 2013
• 期刊: Information Search, Integration and Personalization, ISIP 2012 : Revised Selected Papers, Communications in Computer and Information Science
• 作者: Satoh;K.;Takahashi;K.;Y. Tanaka;N. Spyratos;T. Yoshida;C. Meghini (Eds.)
• 通讯作者: C. Meghini (Eds.)

A Model-Based Approach to the Automatic Revision of Secondary Legislation

基于模型的二级立法自动修订方法

• 发表时间: 2013
• 期刊: Proceedings of the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013)
• 作者: Li;T.;Balke;T.;De Vos;M.;Padget;J. A.;and Satoh K
• 通讯作者: and Satoh K