PROLEG公司 swMATH ID: 12125 软件作者: 佐藤(Satoh,K.)、朝井(Asai,K。 描述: PROLEG:通过PROLOG技术实现日本民法典的预设最终事实理论。在本文中,我们基于日本的“预设最终事实理论”(简称“Yoken-jijitsu-ron”,JUF理论),提出了一个名为PROLEG(基于PROlog的法律推理支持系统)的法律推理系统。该理论用于不完全信息下法官的决策。之前,我们提出将该理论转换为逻辑编程。然而,事实证明,逻辑编程中的知识表示对律师来说很难理解。因此,在本文中,我们改变了PROLEG中JUF理论中规则的知识表示,以便利用JUF原理的主要研究者法官提出的“开放性”思想来反映律师的推理。 主页: http://rd.springer.com/chapter/10.1007/978-3642-25655-4_14 相关软件: SCIFF公司;Potassco公司;天基信息平台 引用于: 4文件 全部的 前5名被10位作者引用 三 肯·佐藤 1 马尔科·阿尔贝蒂 1 马蒂奥·巴多尼 1 马可·加瓦内利 1 劳拉·佐丹奴 1 伊芙琳娜·拉姆 1 法布里西奥·里古齐 1 克劳迪娅·舒尔茨 1 弗朗西丝卡·托尼 1 里卡多·泽斯 3篇连载文章中引用 1 新一代计算 1 计算机基础理论 1 逻辑程序设计理论与实践 在3个字段中引用 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文