1993 Fiscal Year Annual Research Report
| Project/Area Number |
05452360
|
|---|
| Research Institution | Keio University |
|---|
Principal Investigator |
古川 康一 慶應義塾大学, 環境情報学部, 教授 (10245615)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
向井 国昭 慶應義塾大学, 環境情報学部, 助教授 (80245597)
石崎 俊 慶應義塾大学, 環境情報学部, 教授 (00245614)
|
|---|
| Keywords | 科学的発見過程 / 直交思考平面モデル / 帰納論理プログラミング / 発想推論(アプダクション) / 相対最小汎化 / メタプログラミング / 類推 |
|---|
| Research Abstract |
発見・創造過程のモデル化のための基本的な検討を目的として、アーサー・ケストラーの“創造活動の理論"を調査し、科学的発見過程の一つのモデルとして、二つの直交する思考平面の間のインタラクションを中心とするモデルを検討した。さらに、Stephen Muggletonの“Foundation of Inductive Logic Programming"からのアイディアとして、最小汎化が発想過程に果たす役割を考察した。
それらの考察を基に、論理に基づく発想・帰納推論システムのプロトタイプをPrologのメタ言語機能を用いて構築し、例として、二つの思考平面が交差して推論が進められる簡単な類推プログラムを実現し、電気の流れと水の流れの間になり立つ圧力、流量、抵抗などの概念の対応を取って既知の領域の知識を利用した未知の領域における問題解決の簡単なシミュレーションを行なった。その結果、類推の基になる二つの系における概念間の関連づけの生成の重要性を認識した。
この関連づけを機械的に行なう手段として、Muggletonが、帰納論理プログラミングシステムGOLEMの中で用いている最小汎化、あるいは相対最小汎化の利用の妥当性を検討した。また、最小汎化プログラムをProlog上に実現し、上に述べた類推プログラムへの応用を行ない、その妥当性を検証すると共に、この問題に適用するために必要な、最小汎化アルゴリズムの拡張すべき機能を明かにした。
|
Research Products
(4 results)
-
[Publications] Shun Ishizaki: "Multimedia Information Processing and its Standard" PROCEEDNGS The 7th Asian Forum for Standardization of Information Technology. 3-8 (1993)
-
[Publications] 石崎俊,田中茂範: "対話文理解のための解析手法と認知意味論モデルの研究" 重点領域研究成果報告書. 121-124 (1994)
-
[Publications] 石崎俊,田中茂範,今井むつみ: "柔軟な意味解析のための概念空間の定量化" 情報処理学会自然言語処理研究会. 93. (1994)
-
[Publications] 石崎俊,田中茂範: "日常言語における意味の生成:You knowとI meanの役割" 情報処理学会自然言語処理研究会. 93. (1994)
