Implementing Japanese Presupposed Ultimate Fact Theory in Logic Programming
在逻辑编程中实现日本预设终极事实理论
基本信息
- 批准号:23300062
- 负责人:
- 金额:$ 12.4万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (B)
- 财政年份:2011
- 资助国家:日本
- 起止时间:2011-04-01 至 2014-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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理论中的“框图”。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A Semantics of Argumentation under Incomplete Information
不完全信息下的论证语义
- DOI:
- 发表时间:2011
- 期刊:
- 影响因子:0
- 作者:西村洋介;今村大輔;堀内靖雄;川本一彦;篠崎隆宏;黒岩眞吾;Ken SATOH
- 通讯作者:Ken SATOH
Legal Modelling and Reasoning using Institutions
使用制度进行法律建模和推理
- DOI:
- 发表时间:2012
- 期刊:
- 影响因子:0
- 作者:De Vos;M.;Padget;J. A.;Satoh;K
- 通讯作者:K
PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology
PROLEG:PROLOG技术对日本民法典预设最终事实理论的实现
- DOI:10.1007/978-3-642-25655-4_14
- 发表时间:2010
- 期刊:
- 影响因子:10.6
- 作者:K. Satoh;Kento Asai;Takamune Kogawa;M. Kubota;Megumi Nakamura;Yoshiaki Nishigai;Kei Shirakawa;Chiaki Takano
- 通讯作者:Chiaki Takano
PROLEG:論理プログラミング言語Prologを利用した要件事実論のプログラミング
PROLEG:使用逻辑编程语言 Prolog 进行需求事实理论编程
- DOI:
- 发表时间:2011
- 期刊:
- 影响因子:0
- 作者:西貝;他
- 通讯作者:他
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation
动态创建论证的知识整合决策
- DOI:
- 发表时间:2013
- 期刊:
- 影响因子:0
- 作者:Satoh;K.;Takahashi;K.;Y. Tanaka;N. Spyratos;T. Yoshida;C. Meghini (Eds.)
- 通讯作者:C. Meghini (Eds.)
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
SATOH Ken其他文献
AI Applications to the Law Domain in Japan
人工智能在日本法律领域的应用
- DOI:
10.1017/als.2020.35 - 发表时间:
2020 - 期刊:
- 影响因子:0.8
- 作者:
NITTA Katsumi;SATOH Ken - 通讯作者:
SATOH Ken
SATOH Ken的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('SATOH Ken', 18)}}的其他基金
Formalization of Dynamic Belief Revision and its Application to Real-time Planning for Web Servises
动态信念修正的形式化及其在网络服务实时规划中的应用
- 批准号:
19300053 - 财政年份:2007
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Development of Reliable Advanced Inter-operable Agent Technology on Web Service Composition
Web服务组合中可靠的高级可互操作代理技术的开发
- 批准号:
16200010 - 财政年份:2004
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Construction of multi-agent systems with speculative computation
具有推测计算的多智能体系统的构建
- 批准号:
13358004 - 财政年份:2001
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Construction of Logical Multi-Agent System under Incomplete Information Environment
不完全信息环境下逻辑多Agent系统的构建
- 批准号:
11480070 - 财政年份:1999
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (B).
Expression of laminin binding protein (37LBP/p40) and tumor angiogenesis in lung cancer
肺癌中层粘连蛋白结合蛋白(37LBP/p40)的表达与肿瘤血管生成
- 批准号:
08457178 - 财政年份:1996
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
相似海外基金
民法(家族財産法分野)における公序とは何か―フランス法を参考に―
什么是民法中的公共秩序(家庭财产法领域)? - 参考法国法律 -
- 批准号:
24K16270 - 财政年份:2024
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
民法学における法的処分論の再構築
民法法律处分理论的重构
- 批准号:
24K16277 - 财政年份:2024
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
消費者への勧誘手法の多様化をめぐる民法・消費者法の意義と役割
民法和消费者法关于消费者招揽方式多元化的意义和作用
- 批准号:
24K04621 - 财政年份:2024
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
米国連邦移民政策の創成期における一般移民法と日系移民
美国联邦移民政策初期的一般移民法和日本移民
- 批准号:
23K00909 - 财政年份:2023
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Aspects and Functions of Legal Principles in Civil Law Interpretation
民法解释中法律原则的方面和作用
- 批准号:
23K01192 - 财政年份:2023
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
The Transformation of the Administrative Justice and the Concept of Legitimate Interests in Civil Law Tradition
行政司法的变迁与民法传统中的合法利益观念
- 批准号:
23KK0230 - 财政年份:2023
- 资助金额:
$ 12.4万 - 项目类别:
Fund for the Promotion of Joint International Research (Fostering Joint International Research)
家族法改正過程の特色と民法学の作用条件―法典集約型の民事立法学の構築のために
家庭法修订过程的特点和民事法理学的工作条件:为构建法典密集型民事法理学
- 批准号:
23K01172 - 财政年份:2023
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
生殖補助医療により生まれた子の親子関係確定方法とその民法上の位置づけの再検討
重新审视辅助生殖技术出生子女的亲子鉴定方法及其在民法中的地位
- 批准号:
23K12395 - 财政年份:2023
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Rabbinic Civil Law in the Context of Ancient Legal History: A Legal Compendium to the Bavot Tractates of the Talmud Yerushalmi
古代法律史背景下的拉比民法:《耶路撒冷塔木德》巴沃特文集法律纲要
- 批准号:
AH/X001660/1 - 财政年份:2023
- 资助金额:
$ 12.4万 - 项目类别:
Research Grant
民法学における「家族」に関する基礎的研究ーフランス家族財産法上の議論を手掛かりに
民法中“家庭”的基础研究——基于法国家庭财产法的探讨
- 批准号:
22K20085 - 财政年份:2022
- 资助金额:
$ 12.4万 - 项目类别:
Grant-in-Aid for Research Activity Start-up