• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

推論による知識発見に関する研究

研究課題

研究課題/領域番号 10143104
研究種目

特定領域研究(A)

配分区分補助金
研究機関東京工業大学

研究代表者

佐藤 泰介  東京工業大学, 大学院・情報理工学研究科, 教授 (90272690)

研究分担者 原口 誠  北海道大学, 大学院・工学研究科, 教授 (40128450)
今井 むつみ  慶応義塾大学, 環境情報学部, 助教授 (60255601)
有村 博紀  九州大学, 大学院・システム情報科学研究科, 助教授 (20222763)
佐藤 優子  大阪府立大学, 総合科学部, 教授 (50081419)
篠原 武  九州工業大学, 情報工学部, 教授 (60154225)
古川 康一  慶應義塾大学, 大学院・政策・メディア研究科, 教授 (10245615)
研究期間 (年度) 1998 – 2000
研究課題ステータス 完了 (2001年度)
配分額 *注記
85,700千円 (直接経費: 85,700千円)
2000年度: 28,300千円 (直接経費: 28,300千円)
1999年度: 21,600千円 (直接経費: 21,600千円)
1998年度: 35,800千円 (直接経費: 35,800千円)
キーワード知識発見 / 帰納推論 / アブダクション / ILP / 記号的統計モデリング / 脳機能画像 / 拡張アブダクション / 高速パターンマッチング / 事例ベース / 節管理 / 抽象値 / 統計的記号モデリング / データマイニングアルゴリズム / H-map / 決定木 / 反駁推論 / 発見
研究概要

H10年度からH12年度まで「推論による知識発見」という表題の下にデータの観測から知識発見へ至る様々な推論機構の研究・開発を行なった。一般に推論の形態は演繹推論、帰納推論、アブダクション(発想推論)に分類されるが、特に知識発見に深く関わる推論としてアブダクションと帰納推論に着目し、「統計的アブダクション」、「ILPによる知識発見」、「帰納推論」の3つのサブグループを設定し、幅広く研究を進めた。
「統計的アブダクション」では、佐藤(泰)が統計的学習機構と論理型言語を融合させた記号的統計モデリング言語PRISMの開発し、月本は観測事象の線形回帰式をブール関数で近似する事により、事象背後の論理的関係を取り出す方法を提案した。
一方、有村らはウェブマイニングやXMLなどの半構造データからの情報抽出に適したアルゴリズムを開発した。
「ILPによる知識発見」では、古川、今井らが理論的研究を進め、またILPにもとづいた幼児の名詞語彙獲得のモデルを開発した。
山本は節論理にもとづく発見の論理を構成し、ILPとの関連を探求した。
原口は複雑なデータの可読性を高めるデータベース抽象化の技法を開発しデータマイニングに応用した。
「帰納推論」では佐藤(優)らは、汚染データの扱いについて、形式言語に位相の近傍の概念を採り入れた極限同定の枠組を提案した。
篠原は記号的データや記号的推論の基礎となる実数データ、特に多次元ベクトルデータに対する空間検索の技法の開発を進めた。
一方、大澤はKeyGraph開発し、地震などの予兆発見に適用した。

報告書

(4件)
  • 2001 研究成果報告書概要
  • 2000 実績報告書
  • 1999 実績報告書
  • 1998 実績報告書
  • 研究成果

    (53件)

すべて その他

すべて 文献書誌 (53件)

  • [文献書誌] H.Arimura, S.Shimozono, S.Arikawa: "Efficient discovery of optimal word-association patterns in large text databases"New Generation Computing. 18. 49-60 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] M.Imai, I.Kobayashi, T.Ozaki, K.Furukawa: "Mechanism of Lexical Development"Proc.of the Machine Intelligence. 17. 32-35 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] Y.Kameya, T.Sato: "Efficient EM learning for parameterized logic programs"Proc.of CL2000. 269-294 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] Y.Kudo, M.Haraguchi: "An Appropriate Abstraction for Constructing a Compact Decision Tree"Proc.of DS2000,LNAI. 1967. 295-298 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] Y.Mukouchi, M.Sato: "Language learning with a neighbor system"Proc.of DS2000,LNAI. 1967. 183-196 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] T.Shinohara, H.Arimura: "Inductive inference of unbounded unions of pattern languages from positive data"Theoretical Computer Science. 241-1,2. 191-209 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] H. Arimura, S. Shimozono and S. Arikawa: "Efficient discovery of optimal word-association patterns in large text databases"New Generation Computing. 18. 49-60 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] M. Imai, I. Kobayashi, T. Ozaki and K. Furukawa: "Mechanism of Lexical Development"Proc. of the Machine Intelligence. 17. 32-35 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] Y. Kameya and T. Sato: "Efficient EM learning for parameterized logic programs"Proc. of CL2000. 269-294 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] Y. Kudo and M. Haraguchi: "An Appropriate Abstraction for Constructing a Compact Decision Tree"Proc. of DS2000, LNAI-1967. 295-298 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] Y. Mukouchi and M. Sato: "Language learning with a neighbor system"Proc. of DS2000, LNAI-1967. 183-196 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] T. Shinohara and H. Arimura: "Inductive inference of unbounded unions of pattern languages from positive data"Theoretical Computer Science. Vol.241, no.1-2. 191-209 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] A. Yamamoto: "New Conditions for the Existence of a Least Generalization under Relative Subsumption"Proc. of the 10th ILP, LNAI-1866. 253-264 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2001 研究成果報告書概要
  • [文献書誌] H.Sakamoto,H.Arimura,S.Arikawa: "Identification of Tree Translation Rules from Examples"Proc.of ICGI 2000. LNAI1891. 241-255 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 工藤嘉晃,原口誠: "適切な抽象化に基づくデータベースの一般化によるデータマイニング"人工知能学会誌. Vol.15 No.4. 638-648 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] M.Imai,I.Kobayashi,T.Ozaki,K.Furukawa: "Mechanism of Lexical Development"Proc.of MI17. 32-35 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] K.Satoh: "Learning Taxonomic Relation by Case-based Reasoning"Proc.of ALT 2000. LNAI1968. 179-193 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Y.Mukouchi and M.Sato: "Language learning with a neighbor system"Proc.of DC 2000. LNAI1967. 183-196 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] N.Matsumura,Y.Ohsawa: "Combination Retrieval for Creating Knowledge from Sparse Document Collection"Proc.of DS2000. LNAI1967. (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] C.Sakama: "Inverse entailment in nonmonotonic logic programs"Proc.of ILP 2000. LNAI1866. 209-224 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] T.Shinohara,H.Arimura: "Inductive inference of unbounded unions of pattern languages from positive data"Theoretical Computer Science. Vol.241,No.1-2. 191-209 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Y.Kameya,T.Sato: "Efficient EM learning for parameterized logic programs"Proc.of CL2000. 269-294 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] H.Tsukimoto,C.Morita,M.Kakimoto,Y.Kikuchi,E.Hatakeyama,Y.Miyazaki: "Knowledge Discovery from fMRI Brain Images by Logical Regression Analysis"Proc.of DS 2000. LNAI1967. 212-224 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] A.Yamamoto,B.Fronhofer: "Hypotheses Finding via Residue Hypotheses with the Resolution Principle"Proc.of ALT 2000. LNAI1968. 156-165 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Y. Kameya, N. Ueda, T. Sato: "A Graphical Method for Parameter Learning of Symbolic-Statistical Models"Proc. of DS '99. LNAI 1721. 264-276 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] R. Fujino, H. Arimura, S. Arikawa: "Discovering Unordered and Ordered Phrase Association Patterns or Text Mining"Proc. of PAKDD2000. LNAI 2000.

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] T. Shinohara, J. Chen, H. Ishizaka: "H-Map : A dimension reduction mapping for approximate retrieval of multi-dimensional data"Proc. of DS '99. LNAI 1721. 299-305 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 小林郁夫、古川康一、今井むつみ、尾崎知伸: "帰納論理プログラミングによる幼児の名詞語彙獲得のモデル化"電子情報通信学会技術研究報告. Vol.99,No.387. 29-36 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Y. KUDO, M. HARAGUCHI: "An Appropriate Abstraction for an Attribute-Oriented Induction"Proc. of DS '99. LNAI. 43-55 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 月本洋: "実践データマイニング"オーム社. (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 寺田幹治、向内康人、佐藤優子: "正例からのパターン上の決定木の帰納推論"電子情報通信学会論文誌 (印刷中).

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] H.Arimura,A.Wataki,R.Fujino and S.Arikawa: "A Fast Algorithm for Discovering Optimal String Patterns in Large Text Databases" Proc.ALT'98,LNAI,Springer-Verlag. 247-261 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] H.Arimura and S.Shimozono: "Maximizing agreement with a classification by bounded or unbounded number of associated words." Proc.ISAAC'98,LNCS,Springer-Verlag. (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Ishizaka,H.Arimura,H.,Shinohara,T.: "Finding tree patterns consistent with positive and negative examples using queries" Annals of Mathematics and Artificial Intelligence. 23. 101-115 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Koichi Furukawa: "On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion" Proc.DS'98,LNAI 1532,Springer-Verlag. (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] A.Hirata et al.: "On moded functional IP syntheses by reusing composition structures,in" Proc.Workshop on Applied Learning Theory,Springer-Verlag. 59-63 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Y.Mukouchi,I.Yamaue and S.Sato: "Inferring a Rewriting System from Examples" Proc.DS'98,LNAI 1532,Springer-Verlag. 93-104 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] M.Sato,Y.Mukouchi and D.Zheng: "Characteristic Sets for Unions of Regular Pattern Languages and Compactness" Proc.ALT'98,LNAI 1501. 220-233 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Sato,T.: "Modeling Scientific Theories as PRISM Programs" Proc.ECAI'98 Workshop on Machine Discovery. 37-45 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] T.Shinohara,J.An and H.Ishizaka: "Approximate retrieval of high-dimensional data by spatial indexing" Proc.DS98,LNAI 1532,Springer-Verlag. 141-149 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] N.Sugimoto: "Learnability of translations from positive examples" Proc.ALT'98,LNAI 1501,Springer-Verlag. 169-178 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] H.Tanaka and F.Ren: "Topology Selection in Unrooted Molecular Phylogenetic Tree by Minimum Model-Based Complexity Method." Proc.Pacific Symposium on Biocomputing'99,World-Scientific. 326-337 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] F.Ren,H.Tanaka,T.Okayama and T.Gojobori: "The Application of Model-based Complexity Inference Method to Molecular Evolution Analysis," Proc.Ninth Int'I Congress on Medical Informatics,IOS-press. 367-371 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] F.Ren and H.Tanaka: "Efficiency of Model-Based Complexity Method for Estimating Unrooted Mutifurcate Phylogenetic Tree" Proc.Genome Informatics 1998,Universal Academy Press. 342-343 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] S.Tsumoto and H.Tanaka: "Automated Acquisition of Rules from Clinical Databases and its Evaluation" Proc.Ninth International Congress on Medical Informatics,IOS-pres. 649-653 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Y.Suzuki and H.Tanaka: "Order Parameter for a Symbolic Chemical System" Alife VI,MIT-press. 130-139 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 月本 洋: "古典論理の全ての公理を満たす連続値論理関数について" 電子情報通信学会論文誌. Vol.J77-D-I No.3. 247-252 (1994)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 月本 洋、森田 千絵、下郡 信宏.: "重回帰分析に基づいた帰納学習アルゴリズム" 電子情報通信学会論文誌. Vol.J79-D-II No.7. 1244-1251 (1996)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Ohsawa,Y.and Yachida,M.: "Discovery of Unknown Causes from Unexpected Co-occurrence of Inferred Known Causes" Proc.DS'98,LNAI 1532,Springer-Verlag. 174-185 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Sunayama,W.,Nomura,Y.,Ohsawa,Y.,and Yachida,M.: "Refining Search Expression by Discovering Hidden User's Interests" Proc.DS'98,LNAI 1532,Springer-Verlag. 186-193 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] K.Ito,and A.Yamamoto.: "Finding Hypotheses from Examples by Computing the Least Generalization Bottom Clauses" Proc.DS'98,LNAI 1532,Springer-Verlag. 303-314 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] A.Yamamoto.: "An Inference Method for the Complete Inverse of Relative Subsumption" New Generation Computing. 17. 99-117 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] A.Yamamoto: "Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program." New Generation Computing. 17. 119-127 (1999)

    • 関連する報告書
      1998 実績報告書

URL: 

公開日: 1998-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi