論理による発見・創造過程のモデル化に関する研究

1995 年度 実績報告書

• 研究課題/領域番号: 05452360
• 研究機関: 慶応義塾大学
• 研究代表者: 古川 康一 慶應義塾大学, 政策・メディア研究科, 教授 (10245615)
• 研究分担者: 今井 むつみ 慶應義塾大学, 環境情報学部, 助手 (60255601) ; 向井 国昭 慶應義塾大学, 環境情報学部, 助教授 (80245597) ; 石崎 俊 慶應義塾大学, 環境情報学部, 教授 (00245614)
• キーワード: 高階概念獲得 / 帰納論理プログラミング / データベースからの知識獲得 / 電子メイルの自動分類 / 帰納論理プログラミングの並列化 / 言語獲得

研究概要

高階概念獲得のモデルを、新述語の導入に還元する新しい枠組を構築した。すなわち、必要とする高階概念を新述語として背景知識に与え、Stephen Muggleton等によるPROGOLのような帰納論理プログラミングシステムを用いて機械学習を実行することによって、高階概念を一階論理の学習システムの枠組で獲得できることを明らかにした。
さらに、データベースを利用して、背景知識、正事例、負事例、およびPROGOLを走らせるためのモード宣言などの制御情報を自動的に定義する一般的な枠組を提案し、その具体化のために、PreAmpと呼ばれるシステムを試作した。このシステムは、PROGOLをMainAmpとして繋げることによって全体としてDBAmpを構成し、それによって、データベースからの知識獲得を行なうことが出来ることが明らかとなった。
この試作システムを用いて、実際に電子メイルによる機器の故障の問い合わせを自動分類するための専門家システムを構築した。電子メイルの文章を正負の事例として与え、さらに、用語の概念辞書を背景知識として与え、これらの情報からなるデータベースを構築し、それに対してDBAmpを適用することにより、故障の問い合わせの分類のための規則を自動抽出することに成功した。
合わせて、帰納論理プログラミング・システムの実行効率の向上を狙いとし、PROGOLの並列アルゴリズムを検討し、Prologによる試作を行なった。とくに、MGTP(Model Generation Theorem Prover)を用いることによって、アルゴリズム全体が簡潔に記述できることを明らかにした。

研究成果

• [文献書誌] 嶋津恵子、古川康一: "Design of Database Interface tolLP for Building knowledge Base" Poceedings of the Ninth International Conference on Industrial & Engineering Applications of Artficial Intelligence & Expert Systems. 9th. (1996)
• [文献書誌] 古川康一: "A framework for Verbalizing Unconscious Knowledge based on Inductive Logic Prognamming" Machine Intelligence. 15. (1996)
• [文献書誌] 岩田崇、内山清子、今井むつみ、石崎俊: "動詞の意味変化における目的語名詞の役割の検討" 日本認知科学会 第12回大会論文集. PA-8. 62-63 (1995)
• [文献書誌] Imai, M. & Gentner, D.: "A crosslinguistic study on constraints on early word meaning: Linguistic influence VS. universal ortology." Cognition. (1996)
• [文献書誌] Imai, M.: "Asymmetry in the taxonomic assumption: word learning VS. property induction." Child Language Research Forum. 27. (1996)
• [文献書誌] K. Mukai: "Constraints on Coalgebras" International conference on information-oriented opproaches to Logic, Language, and Computation. (1996)
• [文献書誌] 石崎俊: "自然言語処理" 昭晃堂, 171 (1995)
• [文献書誌] 今井むつみ: "言葉の学習と認知の発達" 共立出版,