权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

型理論に基づく法的正当化推論機構の研究

基于类型论的法律正当性推理机制研究

基本信息

批准号：
06207208
负责人：
原尾政輝
金额：
$ 0.64万
依托单位：
Kyushu Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1994
资助国家：
日本
起止时间：
1994 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06207208/
关键词：
法的推論法的知識表現類推論理プログラム型理論推論機構

项目摘要

法律エキスパートシステムの開発には、(1)複雑で大規模な法律知識の表現法,(2)判例や曖昧な知識からの推論などの特徴を踏まえた新しい非演繹的推論機構,(3)推論の効率化,などが基本的な問題としてある.本研究では,型理論を基に法律エキスパートシステムのためのこれらの問題について次の具体的課題を設定して研究を行った.(1)知識表現言語の研究:知識の概念階層や類似性,多義性などを記述可能な知識表現法を型理論を用いて形式化する.さらに,型階層や部分型などの性質を応用して,継承や抽象化,モジュール化などの機能を備えた,法的推論のための知識表現言語を設計する.(2)法的推論機構の研究:法的推論のためには,類推や仮説からの推論といった非演繹推論の能力を備えた推論手法が必要となる.そのため,シークエント計算に基づく一般的論理プログラムの証明のための推論機構を開発する.それを基に,知識の類似性に基づく推論処理を行う法的推論システムの定式化とシステム設計を行う.知識表現に関しては,ロジカルフレームワーク理論の基に,順序構造,概念記述などが可能な知識表現言語モデルの形式化および知識表現言語の設計を行った.設計した知識表現言語を開発するために,LF型理論をもとに設計された言語eLFをワークステーションに実装し,簡単な知識表現言語を試作した.その知識表現言語を用いて,従来の論理型言語の表現との比較,抽象化や一般化などの概念を導入した推論処理の効率化に関する研究,などの検討を行なった.また、類似性や仮説からの推論などの発見的推論システムの定式化を行い,シークエント計算に基づく類推定理証明に関する実験システムを開発して,現在,本格的システム開発のための基礎的研究を行った状況である.これまで得られた知見を法的推論に応用可能なように修正・拡張して行くかが今後の課題である.

The development of legal reasoning is based on (1) complex representation of large-scale legal knowledge,(2) the characteristics of case law and ambiguous reasoning,(3) the efficiency of reasoning, and basic problems. This study is based on the theory of law, the problem of law, the specific problem of law, and the specific problem of law. (1)A Study of Knowledge Representation Speech: Conceptual Hierarchy of Knowledge, Similarity, Ambiguity, Description of Possible Knowledge Representations, Model Theory, and Formalization. In addition, the structure hierarchy and the properties of partial types are used to abstract, prepare, and infer knowledge representation language. (2)A Study on the Inference Mechanism of Law: The Inference of Law is Necessary by Analogy. The basic logic of computing is the development of proof and inference mechanisms. The similarity of knowledge is the basis for inference processing. Knowledge representation is related to the theoretical basis, sequential structure, conceptual description, possibility, formalization and design of knowledge representation speech. Design knowledge expression speech development,LF theory, design knowledge expression speech development,LF theory, design knowledge expression speech development A study on the application of knowledge representation speech, comparison of the performance of logical speech, abstraction, generalization, introduction of concepts, inference processing and efficiency. The development of the theory of similarity and the deduction of the discovery of the theory of similarity are discussed in the paper. This is the first time that we've seen this.