ゴールに依存した抽象化に基づく類推システムの構築

构建基于目标相关抽象的类比系统

• 批准号: 09780304
• 负责人: 大久保 好章
• 金额: $ 1.41万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780304/
• 关键词: ロールに依存した抽象化; 類推; 類似性; 論争システム; ゴールに依存した抽象化; 法的論争システム

ゴールに依存した抽象化アルゴリズム(GDA)は,与えられたゴール(目的)に関連のある知識に反映された概念間の類似関係を検出するアルゴリズムである.関連知識は与えられたゴールに依存して定まるため,GDAにより検出される類似関係も結果としてゴールに依存した動的なものとなる.本研究の目的は,こうしたゴールに依存した抽象化の枠組を利用した類推の定式化,およびその実装システムの構築である.これまでの研究により,GDAを用いた類推の大枠は概ねまとまりつつあるが,その有効性をより明確に示すには,その具体的な利用法を含めたモデルの提案が重要であると考え,GDAを利用した法的論争のモデル化を試みた.法的論争では,相手の論証の弱点を指摘することにより反論を行うが,ここでは相手の法令解釈の不備,特に『法令の類推解釈』の不備を法的安定性の観点から攻撃する.論争相手が,法令を類推解釈して論証を構築した際,その類似性を考えるにあたって注目したであろう要因をゴール(目的)に設定し,そのゴールに対する類似性のうち,相手が考えた類似性を包含したものをGDAを用いて検出する.これは,ある概念Aに対して,例えば相手が『XとAは似ている』と考えたのと同様な理由で『XとBは似ている』と考えることのできる別の概念Bを見つけ出すことに相当する.つまり,相手がAを含んだ事例に対してXに関する法令を類推解釈したなら,法的安定性の観点からは,Bを含む事例に対しても同様にその法令は類推解釈がなされるべきであると言える.過去の判例(事例ベース)を調べることにより,相手の類推解釈の安定性を調べ,もしそれが安定でなければ,そのことを相手の論証の弱点と捉えて反論する.初年度と本年度前半にかけて,こうした法的論争のモデル化を試み,その後,提案したモデルの実装作業に移った.実装に用いたプログラミング言語はSICStus Prologである.基本部分は出来上がっているものの,システム全体として見た場合,その完成度は,残念ながら現状では60パーセント程度であると認識している.特に当初の研究計画では,ユーザインターフェース(GUI)部を含めたシステム構築を考えていたが,まだその点が十分なものとは言えない.こうした点を改良することにより,事例ベースへの事例(判例)の追加や削除等の処理も視覚的に容易に行える様になるであろう.今後はシステムのさらなる改良を重ね,ユーザにとって利用しやすいシステムにしていきたいと考えている.

GDA is a knowledge of the relationship between concepts and the abstract. Correlative knowledge is dependent on GDA for similar results. The purpose of this study is to formalize the abstract structure of the system by analogy, and to construct the system by analogy. In this study,GDA is used in analogy to the general concept of GDA, and its effectiveness is clearly indicated, and its specific utilization method is included in the proposal of GDA. The argument of the law is against the weakness of the argument of the opposite hand. The argument of the opposite hand is against the weakness of the argument of the opposite hand. The argument of the opposite hand is against the weakness of the argument of the opposite hand. When the argument is constructed, the similarity of the law is examined and the similarity of the law is examined. The concept A is opposite to the concept B. The concept A is opposite to the concept B. The concept B is opposite to the concept A. The concept A is opposite to the concept B. The concept B is opposite to the concept A. The concept A is opposite to the concept B. The concept B is opposite to the concept B. The concept A is opposite to the concept B. The concept B is opposite to the concept B. A,B, C, C, D, E, E, F, F, E, F, F, E, F, E, F, F, E, F, F, In the past, the case law (case study) has been adjusted, the stability of the analogy solution has been adjusted, and the stability has been adjusted. In the first half of the year, the dispute over the law was tried, and after that, the proposal was made to move the installation work. The SICStus Prolog is the most popular language in the world. The basic part of the work is to be completed, the residual thought is to be completed, the status quo is to be 60, the understanding is to be completed, and the basic part is to be completed. In particular, the original research plan, the GUI (GUI) part of the system to include the construction of the system, the point of the system is very difficult to say. This is an example of how to improve the case, how to add and delete cases, and how to deal with cases. In the future, we will improve the quality of our products and improve the quality of our products.