型付き論理プログラミングを用いた学習アルゴリズムの構成

• Project/Area Number: 07680375
• Research Category: Grant-in-Aid for General Scientific Research (C)
• Allocation Type: Single-year Grants
• Research Field: Intelligent informatics
• Research Institution: Hokkaido University
• Principal Investigator: 山本 章博 北海道大学, 工学部, 助教授 (30230535)
• Co-Investigator(Kenkyū-buntansha): 原口 誠 北海道大学, 工学部, 教授 (40128450)
• Project Period (FY): 1995
• Project Status: Completed (Fiscal Year 1995)
• Budget Amount: ¥1,100,000 (Direct Cost: ¥1,100,000); Fiscal Year 1995: ¥1,100,000 (Direct Cost: ¥1,100,000)
• Keywords: 論理プログラミング / アルゴリズム / 帰納推論

Research Abstract

階層的知識表現のための型付き論理プログラミング言語による学習の基礎研究
本年度は、オブジェクト指向論理型言語としてその展開が期待されているF論理上で、帰納的一般化を行う学習方式の基礎研究を行った。具体的には、F論理の階層的かつオブジェクト中心のスタイルで記述された領域知識と実際のデータの間に不整合性がある場合に、領域知識を修正し、データと無矛盾なものに自動変換することを意図している。そうした修正を行うための可能な戦略としては、いくつか考えられるが、本研究では、1階の(型なし)言語上で開発されてきた極小多重汎化手法を拡張したものになっており、そうした基本的手法が高度な記述力をもつF論理に適用できることを理論的に実証している。特に、計算量の問題に関しても、多くの部分が多項式時間の計算量で収まることを証明し、今後の実際の応用研究への一つの重要な指針を与えることができた。