法的推論を基礎とした知識獲得支援システムの研究

基于法律推理的知识获取支持系统研究

• 批准号: 06207202
• 负责人: 赤間 清
• 金额: $ 1.02万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06207202/
• 关键词: 法的推論; プログラム変換; 宣言型計算モデル; 最良優先探索; 情報の部分性

平成6年度は、国際統一売買法のための法的推論システムLEG1を発展させ、LEG2,LEG3,LEG4システムを作成した。法的推論の結論は、条文解釈の学説、事実の認定、社会のその時点での常識、裁判官の価値観などによって影響を受ける。法的推論システムが問題に対して断定的な答えを出すことは不自然であり、有用性を低下させる恐れがある。むしろどのような条件のもとで何がいえるかを提示することが、法的推論システムの望ましい役割であると考える。この考えに基づいてLEG4は、付帯条件をつけた答え方が可能な形に設計されている。その技術的基礎は、宣言的プログラムの理論と「プログラム変換に基づく計算」という新しいパラダイムである。LEG4は、プログラム言語UL/αを拡張して作られた知識表現言語(RBPT)の上に構築されている。LEG4では、答をだすために無理にルールを増やす必要がない。すべての人が認めるルールだけを組み込んだシステムを作り、条件付の答を出せば、その結果はすべての人が受け入れることができる。システムのユーザは、その結果をもとにして、さらに自分の思考、目的に合った詳しい検討をおこなうことができる。LEG4は、この他にも最良優先探索なども組み込まれており、仮説や時間などもうまく扱うことができる。いくつかの例題について実験をして、法的に適切な動作をすることが確認された。LEG4は、法的推論やその知識獲得のための基礎的な枠組を与えるものと考えられる。

In 2006, LEG1, LEG2,LEG3 and LEG4 were developed according to the International Uniform Purchase Law. The conclusion of the law, the theory of the interpretation of the article, the identification of the event, the common sense of the time of the society, the influence of the judge's judgment, etc. The answer to the problem is unnatural and useful. The reason for this is that the law is not applicable. This is the basis for LEG4, payment conditions, and possible design options. The foundation of the technology is the theory of the declaration, the basic calculation of the transformation, and the innovation of the transformation. LEG4 is the first language to be used as a knowledge representation language (RBPT). LEG4 is not reasonable. For example, if you are a member of a group, you may be asked to contact us at any time. The answer to this question is to think about it and discuss it in detail. LEG4 is the best way to explore, and the best way to explore, is to explore, and the best way to explore, and the best way to explore, is to explore, and the best way to explore, and the best way to explore, is to explore, and the best way to explore, and the best way to explore, is to explore, and the best way to explore, is to explore, and the best way to explore. For example, if you want to confirm the correct action, you can LEG4-