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

質問による無矛盾仮説探索の効率化

Research Project

Project/Area Number 06780333
Research Category

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

Allocation TypeSingle-year Grants
Research Field Intelligent informatics
Research InstitutionKyushu Institute of Technology

Principal Investigator

石坂 裕毅  九州工業大学, 情報工学部, 助教授 (70260726)

Project Period (FY) 1994
Project Status Completed (Fiscal Year 1994)
Budget Amount *help
¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1994: ¥900,000 (Direct Cost: ¥900,000)
Keywords無矛盾仮説探索 / 所属性質問 / 部分性質問 / 木パタン言語 / 機械学習
Research Abstract

本年度は,無矛盾仮説探索における質問の有効性を検証するために,以下の課題について研究を行なった.
まず,木パタン言語と呼ばれる言語族を対象とし,その言語の和集合族に対する無矛盾仮説探索問題がNP完全であることを示した.すなわち,与えられた2つの木パタンの集合に対し,その片方を正の例,もう一方を負の例とみなし,それら正負の例に矛盾しない,2個以上の木パタンからなる仮説を見つける問題が,計算量的に非常に困難な問題であることを示した.
次に,高々2個の木パタン言語の和集合からなる言語族に対する無矛盾仮説探索を,質問を利用して対話的に効率良く解くアルゴリズムについて考察を行なった.結果として,部分性質問を利用することによって,与えられた木パタンのサイズの合計の多項式時間で,無矛盾な仮説を見つけるアルゴリズムを得た.さらに,各部分性質問が多項式個の所属性質問によって代替可能であることを示すことにより,質問としてはより自然な形態である所属性質問のみを用いて,同問題が多項式時間で解けることを示した.このことより,NP完全な探索問題である無矛盾仮説探索において,質問を利用することが極めて有効であるとの結論を得た.
現在,上記の結果を,高々κ個の木パタン言語の和集合族に対して拡張するための手法について検討中である.今後は,探索時間を多項式から線形へと更に短縮するための手法,および,一般の文字列パタン言語を対象とした無矛盾仮説探索の効率的解法について検討を行なう予定である.また,効率的無矛盾仮説探索に基づく機械発見手法を確立し,ゲノムデータ解析等への応用を試みることも今後の重要な課題である.

Report

(1 results)
  • 1994 Annual Research Report
  • Research Products

    (2 results)

All Other

All Publications (2 results)

  • [Publications] Hiroki Ishizaka: "Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries" Algorithmic Learning Theory,Lecture Notes in Artificial Intelligence. 872. 317-332 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Hiroki Arimura: "A Generalization of the Least General Generalization" Machine Intelligence. 13. 59-85 (1994)

    • Related Report
      1994 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi