• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

高度知識ベースを対象とした知識獲得システムの研究

Research Project

Project/Area Number 09780343
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field Intelligent informatics
Research InstitutionKyushu University

Principal Investigator

有村 博紀  九州大学, 大学院システム情報科学研究科, 助教授 (20222763)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 1998: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1997: ¥1,500,000 (Direct Cost: ¥1,500,000)
Keywords帰納論理プログラム / データマイニング / 一階ホーン節 / 能動学習 / 機械学習 / ILP / 帰納論理プログラミング / 一階述語ホーン節 / ILP (アイ・エル・ピ-)
Research Abstract

本研究では,構造化データからの対話的な知識獲得について,基礎的な研究をおこなった[1,3].まず,オブジェクト指向データベース等の複合オブジェクト(complex object)の単純なモデルとして,述語論理の一階項(first-order term)を考えた.さらに,能動的学習(active learning)の枠組みのもとで,さまざまな構造化パタン族に対して,効率的なパタン発見手法の開発と,発見問題の本質的複雑さの探求をおこない,次の結果を得た[1,3,2].
1. 2個の一階項からなる簡単なパタンでさえ,効率よい学習が困難なことを示した.その一方で,所属性質問を用いて実験をおこなうことで,この種のパタンが効率よく多項式時間で同定できることを示した.
2. 上記の結果を2個以上の一階項からなるパタンに拡張して,所属性質問を用いた効率よい学習アルゴリズムを与えた.このアルゴリズムは構造化データの学習における基本的機構を確立するもので,所属性質問を用いるさまざまな学習モデルに適用可能である.
3. ACH(k)(acyclic constrained Horn programs of bounded arity k)と呼ばれる一階ホーン論理式の族(再帰論理プログラムの一種)が,含意に基づく学習(能動学習の一種)の枠組みで多項式時間学習可能であることを示した[1].さらに,質問計算量に関する下限定理と学習困難性を示して,一般的な一階ホーン論理式の学習には,質問の利用が不可欠なことを明らかにした.
以上の結果は,構造化データからの知識獲得の本質的難しさを明らかにするものである.同時に,対話による知識ベース構築のための基本的方法論を与えるものである.

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (10 results)

All Other

All Publications (10 results)

  • [Publications] ARIMURA,H.: "Learning acyclic first-order Horn sentences from entailment" Lecture Notes in Artificial Intelligence. 1316. 432-445 (1997)

    • Related Report
      1998 Annual Research Report
  • [Publications] ISHIZAKA,H.,ARIMURA,H.,SHINOHARA,H.: "Finding tree pattern consisten with positive and negative examples using queries" Annals of Mathematics and Artif.Intell.23. 101-115 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] ARIMURA,H.,ISHIZAKA,H. SAHINOHARA,H.: "Learning unions of tree patterns using quries" Theoretical Computer Science. 185. 47-62 (1997)

    • Related Report
      1998 Annual Research Report
  • [Publications] ARIMURA,H.,WATAKI,A.,et al.: "A Fast Algorithm for Discovering Optimal Sting Patterns in Large Text Databases." Lecture Notes in Artificial Intelligence. 1501. 247-261 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] ARIMURA,H.,SHIMOZONO,S.: "Maximizing agreement with a classification by bounded or unbounded number of associated words." Lecture Notes in Computer Science. 149-152 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Hiroki Arimura: "Learning Acyclic First-order Hor Sentences From Entailment," Lecture Notes in Artificial Intellig ence. 1316. 432-445 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Hiroki Arimura,H.Ishizaka,T.Shinohara: "Learning Unions of Tree Patterns Using Queries" Theoretical Computer Science. 185. 47-62 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 池田大輔,有村博紀: "The computational complexity of hereditary elementary formal systems" 数理解析研究所講究録(京都大学). 992. 207-214 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 倉本潤,有村博紀: "重み付き多数決法を用いた帰納論理プログラミング," 第12回情報処理学会九州支部研究会,1998年3月. (予定). (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 有村 博紀: "論理的含意に基づく一階ホーン論理式の同定問題" 日本ソフトウェア科学会第14回全国大会論文集. 14. 149-152 (1997)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi