2000 Fiscal Year Annual Research Report

例外を許容する知識ベースシステムからの帰納論理プログラミングを用いた知識獲得

Research Project

Project/Area Number	11780269
Research Institution	Osaka University
Principal Investigator	大原剛三大阪大学, 産業科学研究所, 助手 (30294127)
Keywords	帰納論理プログラミング / 例外 / 知識獲得 / 知識ベース / 非単調推論
Research Abstract	本年度は,当初の計画に従い,背景知識中に例外を含む知識が存在する場合の知識獲得メカニズムの検討と,例外を含む知識の獲得プロセスの並列化手法について検討した.具体的な研究内容は以下の通りである. 1.背景知識中の例外を含む知識を利用するための論理的枠組みの検討例外を含む背景知識を利用した帰納論理プログラミングによる知識獲得のため,一般論理プログラムと呼ばれる例外を含む知識を扱える論理プログラムのクラスに対する新たな意味論として条件付き解集合を提案した.従来の意味論では,プログラム中のルール間の競合関係により複数のモデル(解集合)が存在する場合があり,ある事象の真偽の証明にはモデルの選択が必要であった.これに対し,条件付き解集合では一部のモデルにしか含まれないような仮説的な事象を条件付きファクトとして表現することにより,形式上,複数のモデルを1つの解集合に統合し,モデルの選択を意識する必要のない証明環境を提供している.これにより,例外を含む知識を伴う背景知識からのInverse Entailmentを用いた候補仮説集合を限定するためのMost Specific Clauseの計算と,各候補仮説により被覆される事例の証明が可能となった. 2.例外を含む知識の獲得プロセスの並列化手法の提案提案手法では,獲得した知識に対する例外を予測するためのルールの再帰的な学習プロセスを,ネットワーク上の複数の計算機で分散処理する手法を提案した.提案手法では,例外を予測するルールの学習プロセスが独立した学習タスクとして捉えることができることに着目し,通常の知識獲得と例外を予測するルールの獲得をそれぞれサーバ,およびクライアントのタスクとして分割した.事例数約8,000のテストデータに対し,3クライアントを用いたプロトタイプシステムでは約40〜50%の速度向上に成功している.

Research Products
(7 results)

All Other

All Publications (7 results)

[Publications] Kouichi KATSURADA et al.: "On Operations for Reconstructing the Complete/Incomplete Knowledge"Proceedings of The 10th European-Japanese Conference on Inforamtion Modelling and Knowledge Bases. 41-51 (2000)
[Publications] Kouichi KATSURADA et al.: "Converting Ordinary Rules into Default Rules Based on Contradiction of Knowledge Base"Proceedings of The 10th European-Japanese Conference on Inforamtion Modelling and Knowledge Bases. 248-258 (2000)
[Publications] 大原剛三他: "帰納論理プログラミングによる学習における相関ルールの発見に関する-考察"2000年度人工知能学会全国大会(第14回)論文集. 272-275 (2000)
[Publications] Kouzou OHARA et al.: "An Efficient Hypothesis Search Algorithm based on Best-Bound Strategy"Work-in-Progress Reports of 10th International Conference on Inductive Logic Programming (ILP2000). 212-225 (2000)
[Publications] Kouzou OHARA et al.: "Determination of General Concept in Learning Default Rules"Proceedings of 6th Pacific Rim International Conference on Artificial Intelligence (PRICAI2000). 104-114 (2000)
[Publications] 森中雄他: "事例間の非類似度を用いたデータベースからのクラス間関係の獲得"情報処理学会論文誌. 41・11. 3193-3196 (2000)
[Publications] 大原剛三他: "一般論理プログラムからの条件付き解集合の生成"人工知能学会研究会資料. SIG-FAI-A004-14. 77-82 (2001)

2000 Fiscal Year Annual Research Report

例外を許容する知識ベースシステムからの帰納論理プログラミングを用いた知識獲得

Principal Investigator

大原 剛三 大阪大学, 産業科学研究所, 助手 (30294127)

Research Products

[Publications] Kouichi KATSURADA et al.: "On Operations for Reconstructing the Complete/Incomplete Knowledge"Proceedings of The 10th European-Japanese Conference on Inforamtion Modelling and Knowledge Bases. 41-51 (2000)

[Publications] Kouichi KATSURADA et al.: "Converting Ordinary Rules into Default Rules Based on Contradiction of Knowledge Base"Proceedings of The 10th European-Japanese Conference on Inforamtion Modelling and Knowledge Bases. 248-258 (2000)

[Publications] 大原剛三 他: "帰納論理プログラミングによる学習における相関ルールの発見に関する-考察"2000年度人工知能学会全国大会(第14回)論文集. 272-275 (2000)

[Publications] Kouzou OHARA et al.: "An Efficient Hypothesis Search Algorithm based on Best-Bound Strategy"Work-in-Progress Reports of 10th International Conference on Inductive Logic Programming (ILP2000). 212-225 (2000)

[Publications] Kouzou OHARA et al.: "Determination of General Concept in Learning Default Rules"Proceedings of 6th Pacific Rim International Conference on Artificial Intelligence (PRICAI2000). 104-114 (2000)

[Publications] 森中雄 他: "事例間の非類似度を用いたデータベースからのクラス間関係の獲得"情報処理学会論文誌. 41・11. 3193-3196 (2000)

[Publications] 大原剛三 他: "一般論理プログラムからの条件付き解集合の生成"人工知能学会研究会資料. SIG-FAI-A004-14. 77-82 (2001)

大原剛三大阪大学, 産業科学研究所, 助手 (30294127)

[Publications] 大原剛三他: "帰納論理プログラミングによる学習における相関ルールの発見に関する-考察"2000年度人工知能学会全国大会(第14回)論文集. 272-275 (2000)

[Publications] 森中雄他: "事例間の非類似度を用いたデータベースからのクラス間関係の獲得"情報処理学会論文誌. 41・11. 3193-3196 (2000)

[Publications] 大原剛三他: "一般論理プログラムからの条件付き解集合の生成"人工知能学会研究会資料. SIG-FAI-A004-14. 77-82 (2001)