| 演題番号 | 1K1-OS8-5 |
|---|---|
| 題目 | 発想推論に基づく着眼点の発見 |
| 著者 | 古川 康一(慶應義塾大学) 井上 克巳(国立情報学研究所) 小林 郁夫(慶應義塾大学) 諏訪 正樹(慶應義塾大学) |
| 時間 | 06月17日(Wed) 14:50〜15:10 |
| 概要 | 観測された着眼点を驚くべき観測事実として与え，因果関係を表す論理プログラム中の欠落部分を全一階述語論理に基づく発想論理プログラミングシステムSOLARにより導出し，得られた欠落ノードに対して意味づけを与えることによって，スキルの達成に必要な隠れ着眼点を見出す方法について報告する。本アプローチの特色は，SOLARがもつ存在限量された論理式を仮説として導く機能を利用して隠れ着眼点を探し出す点である． |
| 論文 | PDFファイル |