序言

PROLEG:日本民法典预设终极事实理论的PROLOG实现。在本文中,我们在日本的“预设终极事实理论”(日文称为“Yoken jijitsu-ron”,简称JUF理论)的基础上,提出了一种基于PROlog的法律推理支持系统PROLEG(PROlog-based legal reasoning support system)。该理论用于不完全信息下法官的决策。之前,我们提出了一种将该理论转化为逻辑程序设计的方法。然而,事实证明,逻辑程序设计中的知识表示是律师难以理解的。因此,本文在PROLEG中改变了JUF理论中规则的知识表示方式,利用JUF理论的主要研究者法官提出的“开放”思想来反映律师的推理。


zbMATH中的参考文献(参考文献4条)

显示第1到第4个结果,共4个。
按年份排序(引用)

  1. 阿尔贝蒂,马可;加瓦内利,马可;南丫岛,伊芙丽娜;里古兹,法布里齐奥;佐藤,肯;Zese,Riccardo:《CIFF框架下的可免除债务》(2020年)
  2. 舒尔茨,克劳迪娅;托尼,弗朗西斯卡:《用论证证明答案集的合理性》(2016)
  3. 佐藤,肯:《法律推理中的逻辑程序设计与举证责任》(2012)
  4. 佐藤,肯;浅井县;高门县小川;久保田,Masahiro;中村美美;西井,吉崎康夫;白川庆;高野,Chiaki:PROLEG:PROLOG技术对日本民法典预设终极事实理论的实现(2011)ioport公司