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

Knowledge Discovery by Inferences

Research Project

Project/Area Number 10143104
Research Category

Grant-in-Aid for Scientific Research on Priority Areas (A)

Allocation TypeSingle-year Grants
Research InstitutionTokyo Institute of Technology

Principal Investigator

SATO Taisuke  Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Prof., 大学院・情報理工学研究科, 教授 (90272690)

Co-Investigator(Kenkyū-buntansha) HARAGUCHI Makoto  Hokkaido Univ., Graduate School of Engineering, Prof., 大学院・工学研究科, 教授 (40128450)
IMAI Mutsumi  Keio Univ., Faculty Environmental Information, Assistant Prof., 環境情報学部, 助教授 (60255601)
ARIMURA Hiroki  Kyushu Univ., Graduate School of Information Science and Electrical Engineering, Assistant Prof., 大学院・システム情報科学研究科, 助教授 (20222763)
SATO Masako  Osaka Prefecture Univ., College of Integrated Arts and Sciences, Prof., 総合科学部, 教授 (50081419)
SHINOHARA Takeshi  Kyushu Institute of Technology, Faculty of Computer Science and Systems Engineering, Prof., 情報工学部, 教授 (60154225)
古川 康一  慶應義塾大学, 大学院・政策・メディア研究科, 教授 (10245615)
Project Period (FY) 1998 – 2000
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥85,700,000 (Direct Cost: ¥85,700,000)
Fiscal Year 2000: ¥28,300,000 (Direct Cost: ¥28,300,000)
Fiscal Year 1999: ¥21,600,000 (Direct Cost: ¥21,600,000)
Fiscal Year 1998: ¥35,800,000 (Direct Cost: ¥35,800,000)
Keywordsknowledge discovery / inductive inference / abduction / ILP / 記号的統計モデリング / 脳機能画像 / 拡張アブダクション / 高速パターンマッチング / 事例ベース / 節管理 / 抽象値 / 統計的記号モデリング / データマイニングアルゴリズム / H-map / 決定木 / 反駁推論 / 発見
Research Abstract

From the fiscal year 1999 to 2001, we conducted research in knowledge discovery and developed inference various methods that can cope with uncertainty and complexities in the real data as follows.
T. Sato developed a symbolic-statistical modeling language PRISM. Arimura et al. developed two types of fast text pattern matching algorithm. Tsukimoto proposed logical regression analysis. K.Satoh continued the analysis of minimal case base required for representing concepts. Sakama proposed non-monotonic inverse resolution.
Imai et al. developed an algorithm for computing maximally specific hypotheses for ILP. Haraguchi proposed data abstraction for decision trees. Yamamoto reconstructed the theoretical base of ILP based on the logic of Suggestion.
M. Sato et al. studied the theory of refutable/inductive inference. Shinohara proposed reducing data dimension by his H-map. Ohsawa showed that his KeyGraph approach is effective by examples.

Report

(4 results)
  • 2001 Final Research Report Summary
  • 2000 Annual Research Report
  • 1999 Annual Research Report
  • 1998 Annual Research Report
  • Research Products

    (53 results)

All Other

All Publications (53 results)

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M.Imai, I.Kobayashi, T.Ozaki, K.Furukawa: "Mechanism of Lexical Development"Proc.of the Machine Intelligence. 17. 32-35 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y.Kameya, T.Sato: "Efficient EM learning for parameterized logic programs"Proc.of CL2000. 269-294 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y.Kudo, M.Haraguchi: "An Appropriate Abstraction for Constructing a Compact Decision Tree"Proc.of DS2000,LNAI. 1967. 295-298 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y.Mukouchi, M.Sato: "Language learning with a neighbor system"Proc.of DS2000,LNAI. 1967. 183-196 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T.Shinohara, H.Arimura: "Inductive inference of unbounded unions of pattern languages from positive data"Theoretical Computer Science. 241-1,2. 191-209 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 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)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Imai, I. Kobayashi, T. Ozaki and K. Furukawa: "Mechanism of Lexical Development"Proc. of the Machine Intelligence. 17. 32-35 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Kameya and T. Sato: "Efficient EM learning for parameterized logic programs"Proc. of CL2000. 269-294 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Kudo and M. Haraguchi: "An Appropriate Abstraction for Constructing a Compact Decision Tree"Proc. of DS2000, LNAI-1967. 295-298 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Mukouchi and M. Sato: "Language learning with a neighbor system"Proc. of DS2000, LNAI-1967. 183-196 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 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)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A. Yamamoto: "New Conditions for the Existence of a Least Generalization under Relative Subsumption"Proc. of the 10th ILP, LNAI-1866. 253-264 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H.Sakamoto,H.Arimura,S.Arikawa: "Identification of Tree Translation Rules from Examples"Proc.of ICGI 2000. LNAI1891. 241-255 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 工藤嘉晃,原口誠: "適切な抽象化に基づくデータベースの一般化によるデータマイニング"人工知能学会誌. Vol.15 No.4. 638-648 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Imai,I.Kobayashi,T.Ozaki,K.Furukawa: "Mechanism of Lexical Development"Proc.of MI17. 32-35 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] K.Satoh: "Learning Taxonomic Relation by Case-based Reasoning"Proc.of ALT 2000. LNAI1968. 179-193 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Y.Mukouchi and M.Sato: "Language learning with a neighbor system"Proc.of DC 2000. LNAI1967. 183-196 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] N.Matsumura,Y.Ohsawa: "Combination Retrieval for Creating Knowledge from Sparse Document Collection"Proc.of DS2000. LNAI1967. (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] C.Sakama: "Inverse entailment in nonmonotonic logic programs"Proc.of ILP 2000. LNAI1866. 209-224 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 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)

    • Related Report
      2000 Annual Research Report
  • [Publications] Y.Kameya,T.Sato: "Efficient EM learning for parameterized logic programs"Proc.of CL2000. 269-294 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 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)

    • Related Report
      2000 Annual Research Report
  • [Publications] A.Yamamoto,B.Fronhofer: "Hypotheses Finding via Residue Hypotheses with the Resolution Principle"Proc.of ALT 2000. LNAI1968. 156-165 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 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)

    • Related Report
      1999 Annual Research Report
  • [Publications] R. Fujino, H. Arimura, S. Arikawa: "Discovering Unordered and Ordered Phrase Association Patterns or Text Mining"Proc. of PAKDD2000. LNAI 2000.

    • Related Report
      1999 Annual Research Report
  • [Publications] 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)

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

    • Related Report
      1999 Annual Research Report
  • [Publications] Y. KUDO, M. HARAGUCHI: "An Appropriate Abstraction for an Attribute-Oriented Induction"Proc. of DS '99. LNAI. 43-55 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 月本洋: "実践データマイニング"オーム社. (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 寺田幹治、向内康人、佐藤優子: "正例からのパターン上の決定木の帰納推論"電子情報通信学会論文誌 (印刷中).

    • Related Report
      1999 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] Y.Mukouchi,I.Yamaue and S.Sato: "Inferring a Rewriting System from Examples" Proc.DS'98,LNAI 1532,Springer-Verlag. 93-104 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] Sato,T.: "Modeling Scientific Theories as PRISM Programs" Proc.ECAI'98 Workshop on Machine Discovery. 37-45 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] N.Sugimoto: "Learnability of translations from positive examples" Proc.ALT'98,LNAI 1501,Springer-Verlag. 169-178 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] Y.Suzuki and H.Tanaka: "Order Parameter for a Symbolic Chemical System" Alife VI,MIT-press. 130-139 (1998)

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

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

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] 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)

    • Related Report
      1998 Annual Research Report
  • [Publications] A.Yamamoto.: "An Inference Method for the Complete Inverse of Relative Subsumption" New Generation Computing. 17. 99-117 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] A.Yamamoto: "Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program." New Generation Computing. 17. 119-127 (1999)

    • Related Report
      1998 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi