1995 Fiscal Year Annual Research Report

学習アルゴリズムによる機械発見

Research Project

Project/Area Number	06452405
Research Institution	Kyushu University
Principal Investigator	有川節夫九州大学, 理学部, 教授 (40037221)
Co-Investigator(Kenkyū-buntansha)	廣渡栄寿九州大学, 理学部, 助手 (60274429) 山本章博北海道大学, 工学部, 助教授 (30230535) 篠原歩九州大学, 理学部, 助教授 (00226151) THOMAS Zeug 九州大学, 理学部, 助教授 (60264016) 宮野悟九州大学, 理学部, 教授 (50128104)
Keywords	機械学習 / 機械発見 / 帰納推論 / PAC学習 / 反駁学習 / 大規模データベース / 数値データからの学習
Research Abstract	本研究は,学習アルゴリズムと機械発見について,論理と方式から手間と効率化,作業環境に至るまでを体系的に追求し,科学発見の機械化のための基礎を確立することを目的として,本年度は以下の成果を得た. (1)機械発見の計算可能論理については,初年度の研究成果をPAC学習に適用して新しいPAC学習の理論を提案し展開した.また,アブダクションと類推について,学習に要する手間の視点からの理論を展開した. (2)機械発見のための知識表現体系については,主にアブダクションと類推を対象にして,そうした推論に要する計算時間について研究し,述語論理の有用な部分クラスを得た.また,数値データからの機械学習・発見のための基礎となる.「計算可能実数」の理論を構築し,実数値を扱える計算理論の研究をスタートさせた. (3)PAC学習による機械発見に関しては,決定木の学習に関する効率的なアルゴリズムを開発した. (4)大規模データベースからの機械発見については,タンパク質データ等を対象にした並列機械発見システムを開発した.また,実際の大規模な実験・観測データのほとんどが数値データであることに鑑み,数値データを直接扱える計算論的学習理論の研究に着手し,基礎となる計算理論について重要な成果を得た.さらに,区間解析の一種の逆問題および定性推論における定性値の学習という形での,数値データからの学習方式について研究し,常微分方程式の学習(同定)に関して重要な成果を得た.

Research Products

(8 results)

All Other

All Publications (8 results)

[Publications] Y. Mukouchi: "Towards a mathematical theory of machine discovery from facts" Theoretical Computer Science. 137-1. 53-84 (1995)
[Publications] A. Shinohara: "Complexity of computing Vapnik-Chervonenkis dimension and some generalized dimensions" Theoretical Computer Science. 137-1. 129-144 (1995)
[Publications] T. Shoudai: "BONSAI Garden: Parallel Knowledge Discovery System for Amino Acid Sequences" Proc. 3rd. Int. Conf. on Intelligent Systems for Molecular Biology. 359-366 (1995)
[Publications] T. Zeugmann: "Characterizations of Monotonic and Dual Monotonic Language Learning" Information & Computation. 120-2. 155-173 (1995)
[Publications] S. Lange: "Trading Monotonicity Demands versus Mind Changes" Proc. EuroColt'95, LNAI. 904. 125-139 (1995)
[Publications] E. Tateishi: "A greedy strategy for finding motifs from positive and negative examples" Proc. 1st Pasific Symposium on Biocomputing. 599-613 (1996)
[Publications] K. P. Jantke: "Algolithmic Learning Theory" Springer-Verlag, Germany, 319 (1995)
[Publications] S. Arikawa: "Theoretical Computer Science(Vol. 137,No. 1)" Elsevier, The Netherlands, 176 (1995)

1995 Fiscal Year Annual Research Report

学習アルゴリズムによる機械発見

Principal Investigator

有川 節夫 九州大学, 理学部, 教授 (40037221)

Research Products

[Publications] Y. Mukouchi: "Towards a mathematical theory of machine discovery from facts" Theoretical Computer Science. 137-1. 53-84 (1995)

[Publications] A. Shinohara: "Complexity of computing Vapnik-Chervonenkis dimension and some generalized dimensions" Theoretical Computer Science. 137-1. 129-144 (1995)

[Publications] T. Shoudai: "BONSAI Garden: Parallel Knowledge Discovery System for Amino Acid Sequences" Proc. 3rd. Int. Conf. on Intelligent Systems for Molecular Biology. 359-366 (1995)

[Publications] T. Zeugmann: "Characterizations of Monotonic and Dual Monotonic Language Learning" Information & Computation. 120-2. 155-173 (1995)

[Publications] S. Lange: "Trading Monotonicity Demands versus Mind Changes" Proc. EuroColt'95, LNAI. 904. 125-139 (1995)

[Publications] E. Tateishi: "A greedy strategy for finding motifs from positive and negative examples" Proc. 1st Pasific Symposium on Biocomputing. 599-613 (1996)

[Publications] K. P. Jantke: "Algolithmic Learning Theory" Springer-Verlag, Germany, 319 (1995)

[Publications] S. Arikawa: "Theoretical Computer Science(Vol. 137,No. 1)" Elsevier, The Netherlands, 176 (1995)

有川節夫九州大学, 理学部, 教授 (40037221)