論理式による実数の近似表現を用いた数値データからの機械学習手法

使用逻辑公式近似表示实数的数值数据的机器学习方法

• 批准号: 19650029
• 负责人: 山本 章博
• 金额: $ 2.11万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Exploratory Research
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2009
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19650029/
• 关键词: 機械学習; 計算論的学習; 実数計算; 数理論理学; 閉集合; フラクタルアトラクタ

大量データに潜む有用な知識を効率的に発見する手法(知識発見手法)の重要性が増す今日において,離散データと連続データが混在したデータからの知識発見手法の基盤を構築することが本研究の目標である.実数値データの計算論的な性質と機械学習の関係について解明することにより,実数値データからの知識発見と離散データからの知識発見と統一的な形で与えるこを目標としてきた.昨年度の成果として,実数を,近似値と誤差が測定の繰返しによって精度が増すデータと捉え,機械学習の対象を「関数」よりも一般的な「図形(数学的には閉集合)」に設定することとした.さらに,近似値と誤差を有理数を端点とする閉区間で表現し,さらにそれを論理項で表することにより,図形の近似表現を論理式で表現すした上で,学習対象とその近似表現の間の距離を導入し,学習のアルゴリズムと評価に用いるという基本的な成果を得た.この成果を発展させ,計算論的学習理論でしばしば行われるような,学習可能性の階層分析を行って論文としてまとめた上で,国際会議および国内会議での発表を行った.さらに,この理論を少し変形させると,統計学における仮説検定の代替手法として機能することに気づき,萌芽的な理論をまとめた.一方で,図形に制限しない一般的な対象め族に位相を導入して,計算論的学習の手法を位相の面から分析する研究を進展させ,Σ0α許容表現という表現クラスが,計算可能性解析学と密接に関係することを明らかにし,論文としてまとめて国際会議および国内会議での発表を行った.本研究は,京都大学・人間・環境学研究科 立木 秀樹准教授,北九州大学・基盤教育センター・廣渡 栄寿教授を連携研究者として,京都大学・情報学研究科・博士後期課程Matthew de Brecht君,杉山麿人君を研究協力者として遂行した.

There are a large number of potential cognitive techniques that are useful in terms of the rate of knowledge. They are of great importance. Today, they are scattered, and they are mixed with each other. In the field of computer science, science, technology, science and technology. Last year, the results of the year were very good, and the accuracy of the measurement was similar to that of the mathematical model. mechanical mechanics is like the shape (mathematical collection of mathematics) of mechanical mechanics. It is similar to the rational data representation of the end point, the end point, the area, the table, the table, and the shape of the table, the table. The results of the exhibition, the theory of calculation and theory, the theory of calculation, the theory of calculation and theory, the possibility of analysis, the analysis of the possibility, the analysis of the literature, the presentation of the literature, the international conference, the domestic conference, the table and the table. There are a lot of problems in the theory of science and technology, and the statistics show that the theory of theory can be used in place of manipulation. On the one hand, the shape is limited to the general phase of the image family, and the phase analysis of the calculation theory is in progress. The Σ 0 α capacitance table shows that there is a significant difference in the performance of the computer. The possibility analysis method is used to analyze the data in the international conference and the domestic conference. In this study, Dr. Riki Hideki, associate professor, Graduate School of Human Environment, Kyoto University, Professor Hideyoshi, Professor of basic Education, Kitakyushu University, co-led with the researcher, Mr. Matthew de Brecht, Ph.D. in the Graduate School of emotional Studies, Kyoto University, and Mr. Sugiyama, who worked as a collaborator in the study.