柔軟で高速な法的推論の実現方法の研究

如何实现灵活快速的法律推理研究

• 批准号: 07204201
• 负责人: 赤間 清
• 金额: $ 0.96万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-07204201/
• 关键词: 法的推論; 等価変換; コンパイラ; 仮説推論; 最良解探索

本研究の目的は、継承や時間制約、確信度などを柔軟で高速に処理する法的推論システムを構築することである。本研究では、まず、(1)確信度付き論理プログラムの新しい論理を研究し、(2)最良優先探索を正しく効率的に行なう方法を検討した。また、(3)最良優先探索を時間制約処理・継承・仮説推論と柔軟に結合する方法を検討した。その結果、従来の論理を基礎とした枠組は、対象の表現力、計算順序の柔軟性、ルールの記述力の3点で不十分であり、「宣言的プログラムの等価変換」を基礎とする枠組の妥当性が結論された。最良優先探索や仮説推論では、価値の高いところや、確実な知識が適用できるところから順に計算を進めていくことが、計算の効率をあげるために必要である。Prologなどの従来型言語では、計算の順序が固定なので柔軟な制御は達成できないが、「宣言的プログラムの等価変換」では、そのような処理方式を自然に達成できる。そこで新たに、「宣言的プログラムの等価変換」を高速に処理するために、等価変換ルール群をC言語にコンパイルするコンパイラの作成を進めた。現在、そのプロトタイプが完成し、いくつかの制約充足問題で十分な速度が達成できることを確認した。今後の課題は、このコンパイラをベースにして、時間制約・継承・確信度・仮説推論などを、柔軟かつ高速に処理する法的推論システムを実現することである。

The purpose of this study is to construct a system of reasoning that supports time constraints, reliability, and high speed processing. This study focuses on: (1) the study of the new logic of the reliability of the payment logic;(2) the study of the best priority to explore the correct method of the payment logic. (3) The best priority is to explore the method of time constraint processing, inference and soft combination. The results, the logical basis of the future, the flexibility of the calculation sequence, the three points of the description of the group, the appropriateness of the group, and the conclusion of the "declaration of the change of the class." The best priority is to explore, infer, and calculate the efficiency of knowledge. Prolog is a natural language, the order of calculation is fixed, the order of calculation is soft, and the order of calculation is soft. The new language,"Declaration of the same language," high-speed processing, equal language, group of C language, the creation of the same language. Now, the speed of completion is very high, and the problem of sufficiency is very high. Future issues include: time constraints, reliability, inference, flexibility, and high speed processing.