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

Development of Data Mining System Using Binary Decision Diagrams for Knowledge Representation

Research Project

Project/Area Number 09558032
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section展開研究
Research Field Intelligent informatics
Research InstitutionThe University of Tokyo

Principal Investigator

MIYANO Satoru  The Institute of Medical Science, The University of Tokyo, Professor, 医科学研究所, 教授 (50128104)

Co-Investigator(Kenkyū-buntansha) SHINOHARA Ayumi  Department of Informatics, Kyushu University, Associate Professor, システム情報科学研究科, 助教授 (00226151)
MARUYAMA Osamu  The Institute of Medical Science, The University of Tokyo, Assistant, 医科学研究所, 助手 (20282519)
AKUTSU Tatsuya  The Institute of Medical Science, The University of Tokyo, Associate Professor, 医科学研究所, 助教授 (90261859)
SHIMOZONO Shinichi  Department of Artificial Intelligence, Kyushu Institute of Technology, 情報工学部, 助教授 (70243988)
SHOUDAI Takayoshi  Department of Informatics, Kyushu University, Associate Professor, システム情報科学研究科, 助教授 (50226304)
内田 智之  広島市立大学, 情報科学部, 助教授 (70264934)
Project Period (FY) 1997 – 1999
Project Status Completed (Fiscal Year 1999)
Budget Amount *help
¥12,800,000 (Direct Cost: ¥12,800,000)
Fiscal Year 1999: ¥2,600,000 (Direct Cost: ¥2,600,000)
Fiscal Year 1998: ¥3,700,000 (Direct Cost: ¥3,700,000)
Fiscal Year 1997: ¥6,500,000 (Direct Cost: ¥6,500,000)
Keywordsbinary decision diagram / learning / knowledge discovery / pattern matching algorithm / data mining / computational complexity / entropy / genome / データマインイング / ゲノム情報
Research Abstract

Discovery is one of the most basic activities in sciences and it has been recognized that knowledge discovery is very important in human intellectual activity. However, this process of knowledge discovery is being replaced or assisted by systems called data minining, systems.
In order to cope with this situation, this research ,vas started to develop a knowledge discovery system based on binary decision diagrams for knowledge representation. Our mathematical analyses proved that it is computationally hard to deal with binary decision diagrams directly for knowledge representation This insight directed us to develop a system which first deals with decision trees and then convert the decision trees to binary decision diagrams. As a result, we have developed a system called Hypothesis Creator which has (1) a parallelized hypothesis generator with the ability of dealing with several ten million attributes and (2) view design system for creating attributes We have also developed a system called Decision Diagram Editor for converting and crerating decision diagrams which encourages human intervention for hypothesis creation.

Report

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

    (37 results)

All Other

All Publications (37 results)

  • [Publications] O. Maruyama: "Designing Views in Hypothesis Creator: System for Assisting in Discovery"Proc. The Second International Conference on Discovery Science (Lecture Notes in Artificial Intelligence). 1721. 115-127 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] O. Maruyama: "Design aspects of discovery systems"IEICE Transaction on Information and Systems. E-83D. 61-70 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] S. Shimozono: "Efficient discovery of optimal word-association patterns in large text databases"New Generation Computing. 18. 49-61 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] S.Shimozono: "Alphabet indexing for approximating features of symbols"Theorectical Computer Science. 210. 245-260 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] T. Shoudai: "Inductive Inference of Regular Term Tree Languages and Its Application to Knowledge Discovery"Proceedings of the 9th European -Japanese Conference on Information Modelling and Knowledge Bases. 125-141 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] T. Miyahara: "Discovery New Knowledge from Graph Data Using Inductive Logic Programming"Proc. 9th Int. Workshop on Inductive Logic Programming IlP'99, (Lecture Notes in Artificial Intelligence). 1634. 222-233 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Hayashi, Y.: "Uniform Characterizations of Polynomial-query Learnabilities"LNAI. 1532. 84-92 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Matsumoto, S.: "Polynomial time inductive inference of regular term tree languages from positive data"LNAI. 1316. 212-227 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Shimozono, S.: "On the hardness of approximating the minimum consistent acyclic DFA and decision diagram"Information Processing Letters. 66. 165-170 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Arimura, H.: "An efficient tool for discovering simple combinatorial patterns from large text databases"LNAI. 1532. 393-394 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Maruyama, O.: "Toward Genomic Hypothesis Creator : View Designer for Discovery"LNAI. 1532. 105-116 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Maruyama, O.: "Designing Views in Hypothesis Creator : System for Assisting Discovery"LNAI. 1721. 115-127 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Shimozono, S.: "Efficient discovery of optimal word-association patterns in large text databases"New Generation Computing. 18. 49-61 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Shimozono, S.: "Alphabet indexing for approximating features of symbols"Theoretical Computer Science. 210. 245-260 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Shoudai, T.: "Inductive Inference of Regular Term Tree Languages and Its Application to Knowledge Discovery"Proceedings of the 9th European-Japanese Conference on Information Modeling and Knowledge Bases. 125-149 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Miyahara, T.: "Discovering New Knowledge from Graph Data Using Inductive Logic Programming"LNAI. 1634. 222-233 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Maruyama, O.: "Design aspects of discovery systems"IEICE Transactions on Information and Systems. E83-D. 61-70 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] O. Maruyama: "Designing Views in Hypothesis Creator : System for Assisting Discovery"Proc. the Second International Conference on Discovery Science (Lecture Notes in Artificial Intelligence). 1721. 115-127 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] O. Maruyama: "Design aspects of discovery systems"IEICE Transaction on Information and Sysrems. E-83D. 61-70 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] S. Shimozono: "Efficient discovery of optimal word-association patterns in large text databases"New Generation Computing. 18. 49-61 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] S. Shimozono: "Alphbet indexing for approxmating features of simbols"Theoretical Computer Science. 210. 245-260 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] T. Shoudai: "Inductive Inference of Regular Term Tree Languages and Its Application to Knowledge Discovery"Proceedings of the 9th European-Japanese Conference on Information Modelling and Knowledg Bases. 125-141 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] T. Miyahara: "Discovering New Knowledge from Graph Data Using Inductive Logic Programming"Proc. 9th Int. Workshop on Inductive Logic Programming ILP'99, (Lecture Notes in Artificial Intelligence). 1634. 222-233 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] O.Maruyama: "Toward genomic Hypothesis Creator: View Designer for Discovery" Proc.First International Conference on Discovery Science,Lecture Notes in Artificial Intelligence,Springer-Verlag. 1532. 105-116 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] H.Bannai: "Parallelized knowledge discovery system: an enhancement to BONSAI" Genome Informatics 1998.Universal Adademy Press,Inc.238-239 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Usuzaka: "A machine learning approach to reducing the work of experts in article selection from database: a case study for regulatory relations of S.cerevisiae genes in MEDLINE" Genome Informatics 1998.Universal Adademy Press,Inc.91-101 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Shimozono: "On the hardness of approximating the minimum consistent acyclic DFA and decision diagram" Inf.Process.Lett.66(4). 165-170 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Kida: "Multiple pattern matching in LZW compressed text" Proceedings DCC'98 Data Compression Conference,IEEE Comput.Soc.Press. 103-112 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Akutsu: "On the complexity of deriving score functions from examples for problems in molecular biology" Proc.ICALP'98 (Lecture Notes in computer Science). 1443. 832-843 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] H.Arimura: "Maximizing agreement with a classification by bounded or unbounded number of associated words" Proc.The 9th International Symposium on Algorithms and Computation (Lecture Notes in Computer Science 1533),Springer-Verlag. 39-48 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Shimozono: "Alphabet indexing for approximating features of symbols" Theoretical Computer Science. 210. 245-260 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 宮野悟,篠原歩: "コンピュータの推論による知識発見の支援" 蛋白質核酸酵素. 42. 3008-3013 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] O.Maruyama, H.Seki, T.Uchida, T.Shoudai, S.Miyano: "On the hardness of data mining for binary decision diagram rules" 応用数学合同研究集会報告集. 45-50 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] O.Maruyama, H.Seke, T.Uchida, T.Shoudai, S.Miyano: "Hypothesis creator for complete genome" Genome Informatics 1997,Universal Academy Press. 304-305 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Akutsu, H.Tashimo: "Linear Programming based approach to the derivation of a contact potential for protein threading" Proc.3rd Pacific Symposium on Biocomputing,World Scientific. 413-424 (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] S.Matsumoto, A.Shinohara: "Learning pattern languages using queries" Proc.3rd European Conf.Comput.Learning(LNAI1208). 185-197 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] M.Miyazaki, A.Shinohara, M.Takeda: "An improved pattern matching algorithm for strings in terms of straight-line programs" Proc.8th Ann.Symp.Combinatorial Pattern Matching(LNCS1264). 1-11 (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