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

Foundations of Knowledge Discovery from Science and Business Information

Research Project

Project/Area Number 10143106
Research Category

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

Allocation TypeSingle-year Grants
Research InstitutionKyushu University

Principal Investigator

ARIKAWA Setsuo  Graduate School of Information Science and Electrical Engineering, Professor, 大学院・システム情報科学研究院, 教授 (40037221)

Co-Investigator(Kenkyū-buntansha) MARUOKA Akira  Tohoku University, Graduate School of Information Science, Professor, 大学院・情報科学研究科, 教授 (50005427)
SATO Taisuke  Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Professor, 大学院・情報理工学研究科, 教授 (90272690)
SATO Masahiko  Kyoto University, Graduate School of Informatics, Professor, 大学院・情報学研究科, 教授 (20027387)
KANADA Yaumasa  University of Tokyo, Information Technology Center, Professor, 情報基盤センター, 教授 (90115551)
MIYANO Satoru  University of Tokyo, Institute of Medical Science, Professor, 医科学研究所, 教授 (50128104)
Project Period (FY) 1998 – 2000
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥66,400,000 (Direct Cost: ¥66,400,000)
Fiscal Year 2001: ¥3,000,000 (Direct Cost: ¥3,000,000)
Fiscal Year 2000: ¥15,300,000 (Direct Cost: ¥15,300,000)
Fiscal Year 1999: ¥19,100,000 (Direct Cost: ¥19,100,000)
Fiscal Year 1998: ¥29,000,000 (Direct Cost: ¥29,000,000)
Keywordsdiscovery science / knowledge science / data mining / database / logic of scientific discovery / abduction / machine learning / network agent / 知識発見
Research Abstract

The aim was to plan, adjust, and evaluate the whole project as the steering group of Foundations of Grant-in-Aid for Scientific Research on Priority Areas (A) (1) "Knowledge Discovery from Science and Business Information (Discovery Science)" , and investigate important subjects crossing the several project groups. The followings are the research activities during the three years from 1998 to 2000.
(1) Organizing three meetings for planning, adjustment, and evaluation of the project every year.
(2) Organizing and sponsoring international conferences on Discovery Science by inviting leading scientists in the world. At the same time, getting reviews on the project from the guests invited to the conference.
(3) Having some tutorials on the Discovery Science for scientists working in the science fields that deal with huge amount of data.
(4) Sending members of the project abroad for presentations of their results and getting reviews on them.
(5) Having an open workshop in March where all the members of the project are requested to present their work of the year.
(6) Publishing annual newsletters and maintaining the web pages of the project to announce the research activities.
(7) Publishing annual progress reports that include summaries of members' work.
(8) Investigating important subjects crossing the several project groups. "Discovery science as knowledge discovery" , "Knowledge discovery from linguistic data" , and "Knowledge discovery from image data" (Ohsuga, Tsujii, and Toriwaki).

Report

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

    (55 results)

All Other

All Publications (55 results)

  • [Publications] E.Hirowatari, S.Arikawa: "A comparison of identification criteria for inductive inference of recursive real-valued functions"Lecture Notes in Artificial Intelligence. 1501. 262-275 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Arikawa et al.: "A fast algorithm for discovering optimal string patterns in large text datab ases"Lecture Notes in Artificial Intelligence. 1501. 247-261 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Arikawa et al.: "Developments in computational learning and discovery theory within the framework of elementary formal systems"Machine Intelligence. 15. 227-247 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Arikawa et al.: "On the inductive inference of recursive real-valued functions"Theoretical Computer Science. 219-1-2. 3-17 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T.Sato et al.: "A Graphical Method for Parameter Learning of Symbolic-Statisical Models"Lecture Notes in Artificial Intelligence. 1721. 264-276 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Miyano et al.: "Polynomial-time learning of elementary formal systems"New Generation Computing. 18. 217-242 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Arikawa et al.: "Efficient Learning of Semi-structured Data from Queries"Lecture Notes in Artificial Intelligence. 2225. 315-331 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M.Sato et al.: "Explicit Environments"Fundamenta Informaticae. 45. 79-115 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T.Sato: "Parameterized Logic Programs where Computing Meets Learning"Proc.of FLOP2001,Lecture Notes in Computer Science. 2024. 40-60 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] A.Maruoka et al.: "Predicting nearly as well as the best pruning of a decision tree through dynamic programming scheme"Theoretical Computer Science. 261. 179-209 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Miyano et al.: "VML: a view modeling language for computational knowledge discovery"Lecture Notes in Artificial Intelligence. 2226. 30-44 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T.Katagiri, Y.Kanada: "An Efficient Implementation of Parallel Eigenvalue Computation for Massively Paralle Computing"Paralle Computing. 21. 1831-1845 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H.Motoda, S.Arikawa: "Discovery Science, New Generation Computing Vol.18, No.1"Springer-Verlag. 86 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Arikawa, A.Shinohara: "Progress in Discovery Science, Lecture Notes in Artificial Intelligence 2281"Springer-Verlag. 684 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] E. Hirowatari and S. Arikawa: "A comparison of identification criteria for inductive inference of recursive real-valued functions"Lecture Notes in Artificial Intelligence. 1501. 262-275 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H. Arimura, A. Wataki, R. Fujino and S. Arikawa: "A fast algorithm for discovering optimal string patterns in large text databases"Lecture Notes in Artificial Intelligence. 1501. 247-261 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Arikawa, M. Sato, A. Shinohara and T. Shinohara: "Developments in computational learning and discovery theory within the framework of elementary formal systems"Machine Intelligence. 15. 227-247 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] K. Apsits, S. Arikawa, R. Freivalds, E. Hirowatari and C. Smith: "On the inductive inference of recursive real-valued functions"Theoretical Computer Science. Vol.219, No.1-2. 3-17 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Y. Kameta, N. Ueda and T. Sato: "A Graphical Method for Parameter Learning of Symbolic-Statisical Models"Lecture Notes in Artificial Intelligence. 1721. 264-276 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S. Miyano, A. Shinohara, T. Shinohara: "Polynomial-time learning of elementary formal systems"New Generation Computing. 18. 217-242 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H. Arimura, H. Sakamoto and S. Arikawa: "Efficient Learning of Semi-structured Data from Queries"Lecture Notes in Artificial Intelligence. 2225. 315-331 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Sato, T. Sakurai and R. Burstall: "Explicit Environments"Fundamenta Informaticae. Vol.45. 79-115 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Sato: "Parameterized Logic Programs where Computing Meets Learning"Proc. of FLOP 2001, Lecture Notesin Computer Science. 2024. 40-60 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] E. Takimoto, A. Maruoka and V. Vovk: "Predicting nearly as well as the best pruning of a decision tree through dynamic programming scheme"Theoretical Computer Science. 261. 179-109 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] H. Bannai, Y. Tamada, O. Maruyama, S. Miyano: "VML : a view modeling language for computational knowledge discovery"Lecture Notes in Artificial Intelligence. 2226. 30-44 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] T. Katagiri and Y. Kanada: "An Efficient Implementation of Parallel Eigenvalue Computation for Massively Paralle Computing"Paralle Computing. Vol.21. 1831-1845 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Arikawa et al.: "Efficient Learning of Semi-structured Data from Queries"Lecture Notes in Artificial Intelligence. 2225. 315-331 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] M.Sato et al.: "Explicit Environments"Fundamenta Informaticae. 45. 79-115 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] T.Sato: "Parameterized Logic Programs where Computing Meets Learning"Proc. of FLOP2001, Lecture Notes in Computer Science. 2024. 40-60 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] A.Maruoka et al.: "Predicting nearly as well as the best pruning of a decision tree through dynamic programming scheme"Theoretical Computer Science. 261. 179-209 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] S.Miyano et al.: "VML : a view modeling language for computational knowledge discovery"Lecture Notes in Artificial Intelligence. 2226. 30-44 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] T.Katagiri, Y.Kanada: "An Efficient Implementation of Parallel Eigenvalue Computation for Massively Paralle Computing"Paralle Computing. 21. 1831-1845 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] S.Arikawa, A.shinohara: "Progress in Discovery Science, Lecture Notes in Artificial Intelligence 2281"Springer-Verlag. 684 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 有川節夫 et al.: "発見科学の構想と展開"人口知能学会誌. 15-4. 595-607 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Sato et al.: "A Simply Typed Context Calculus with First-Class Environments"Proc.Fifth International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science . (to appear). (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 佐藤泰介 et al.: "論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて"情報処理学会論文誌. 41-11. 3023-3036 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Y.Sakai,A.Maruoka: "Learning monotone log-term DNF formulas under the uniform distribution"Theory Comput Systems. 33. 17-33 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] S.Miyano et al.: "Polynomial-time learning of elementary formal systems"New Generation Computing. 18. 217-242 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Y.Kanada et al.: "Performance of Automatically Tuned Parallel GMRES (m) Method on Distributed Memory Machines"Proc.of VecPar 2000. 251-264 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] S.Arikawa and S.Morishita: "Discovery Science, Lecture Notes in Artificial Intelligence 1967"Springer-Verlag. 332 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] H.Motoda,S.Arikawa: "Discovery Science, New Generation Computing Vol.18, No.1"Springer-Verlag. 86 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] S. Arikawa et al.: "Developments in computational learning and discovery theory within the framework of elementary formal systems"Machine Intellegence. 15. 227-247 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] S. Arikawa et al.: "On the inductive inference of recursive real-valued functions"Theoretical Computer Science. 219-1-2. 3-17 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] M. Sato et al.: "Explicit Environments"Lecture Notes in Computer Science. 1581. 340-354 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] T. Sato et al.: "A Graphical Method for Parameter Learning of Symbolic-Statistical Models"Lecture Notes in Artifical Intelligence. 1721. 264-276 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] A. Maruoka et al.: "Proper Learning Algorithm for Functions of k Terms under Smooth Distributions"Information and Computation. 152. 188-204 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] O. Maruyama, S. Miyano: "Desigh Aspects of Discovery Systems"IEICE Transations on Information and Systems. E83-D-1. 61-70 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] S. Arikawa and K. Furukawa: "Discovery Science, Lecture Notes in Artificial Intelligence 1721"Springer-Verlag. 374 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] E.Hirowatari.S.Arikawa: "A comparison of identification criteria for inductive inference of recursive real-valued functions" Lecture Notes in artificial Intelligence. 1501. 262-275 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Arikawa et al.: "A fast algorientific for discovering optimal string patterns in large text databases" Lecture Notes in artificial Intelligence. 1501. 247-261 (1998)

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

    • Related Report
      1998 Annual Research Report
  • [Publications] A.Maruoka.E.Takimoto: "Structred Weight-Based Prediction Algorithms" Proc.9th International Workshop on Algorithmic Learning Theory. 127-142 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Miyano et al.: "Identification of Gene Regulatory Networks by Strategic Gene Disruptions and Gene Overexpressions" Proc.9th ACM-SIAM Symposium on Discrete Algorithms. 695-702 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 金田康正: "一般化した二重指数分割に基づく数値表現法" 情報処理学会論文誌. 39-3. 511-518 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Arikawa and H.Motoda: "Discovery Seince Lecture Notes in Artificial Intelligence 1532" Springer-Verlag, 456 (1998)

    • 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