概念形成・知識獲得過程の理論化

理论化概念形成和知识获取的过程

• 批准号: 03245104
• 负责人: 有川 節夫
• 金额: $ 18.11万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1991
• 资助国家: 日本
• 起止时间: 1991 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-03245104/
• 关键词: 概念形成; 知識獲得; 帰納推論; 類推; 仮説推論; 計算論的学習理論; 計算量理論

本年度は、9月と1月に研究会を行った。本研究の分担者の他に数人の参加を得て、高度でしかも活発な研究発表が行われた。以下に各分担者の本年度の研究成果についてまとめておく。(1)概念形成と知識獲得の論理。小野は、人間の知識獲得から推論のプロセスにおいては、時間的推移が本質的な役割を果たすことに着目して、新しい知識獲得の論理の形式化を試み、その可能性や問題点の検討を行った。有川は、EFSという枠組みが、計算論的学習理論の主要パラダイムの一つであるPAC学習に関しても極めて有効であることを確認した。すなわち、PAC学習可能なクラスは、それまで信じられていたよりも強力であることを証明し、これをアミノ酸配列からのモチィ-フの発見問題に応用し、その有用性を示した。(2)推論による概念形成と知識獲得。石塚は、知識のリフォメ-ションという観点から仮説推論と経験に基づく学習の問題を研究し、プライムインプリケイトによる効率的変換法等に関して基本的な成果を得た。原口は、民法における法規の類推適用の事例を分析し、類推適用の基本メカニズムを提案し、その理論化を試みた。篠原は、二つの木パタ-ン言語の和として表される言語の族が、言語の正の例から多項式時間極限同定可能であることを証明し、Plotkinによる一個の木パタ-ンに関する古典的な結果を自然に拡張して、帰納推論の理論に新しい基本的成果を加えた。(3)概念形成と知識獲得における計算量。丸岡は、情報圧縮過程と弱Occamアルゴリズムとの関係について研究し、学習アルゴリズムが弱Occamアルゴリズムになるための十分条件等の基本的な成果を得た。横森は、様々な言語族を対象にして、その多項式時間学習可能性について研究し、言語族の学習に関しては、Chomsky階層は、適当でないことを明かにした。富樫は、代数的プロセスの帰納推論について研究し、その強等価性に関する基本プロセスの帰納推論法を考案した。本年度は、本研究の初年度であったが、各班によって極めて高度で重要な成果が数多く得られ、当初の目的を十分に達成できた。

The seminar will be held in September and January this year. In this study, several contributors and others participated in the study, and there were several participants in this study. The following "contributors" this year's research results will be reviewed. The main contents are as follows: (1) the formation of concepts is reasonable. Onoku and human knowledge are highly recommended that they should pay attention to each other over time, and that new knowledge should be formalized, and that the possibility of problems should be improved. The theory of computer science, such as Sichuan, EFS, and computer science, is mainly used in the field of PAC and computer science. You may need to know if you want to know if you have a problem, or if you want to know how to use it. If you want to use PAC, you may need to know that you can use it. (2) to deduce and discuss the formation of the concept of knowledge. Stone, knowledge, knowledge, The original language, the civil law, the rules and regulations, the analysis of the examples, the basic principles, the proposals, and the rationalization of the rules and regulations are used. In the original, second language and language tables, the language language, language, (3) the concept is formed and the amount of calculation is calculated. There are some basic results, such as the weak Occam, the weak Occam, the weak pill, the ten-minute condition, and so on. Yokoshimoto, Yokoshimoto, Hokomori, Yokosuke, Yokomori, Yokomori, Yokosuke, Yokomori, Yokosuke, Yokomori, Yokomori, Yokosuke, Yokomori, Yokamoto, Yokamori, Yoko, Yokohama, Yokoshimi, Yokomori, Yokosuka, Yokomori, Rich people, algebraic students, teachers, teachers, students, students, At the beginning of this year and the beginning of this study, there were many important achievements in each class, and at the beginning of this study.

项目成果

横森 貴: "PolynominalーTime Learning of Very Simple Grammars from Positive Data" Proceeding of the 4th Annual Workshop on Computational Learning Theory. 213-227 (1991)

Takashi Yokomori：“从正面数据中学习非常简单语法的多项式时间”第四届计算学习理论年度研讨会论文集 213-227（1991）。

富樫 敦: "代数を実現する項書き換えシステムの帰納的推論" 人工知能学会誌. 6. 520-531 (1991)

Atsushi Togashi：“实现代数的术语重写系统的归纳推理”人工智能学会杂志 6. 520-531 (1991)。

丸岡 章: "Amplification of Bounded Depth Monotone ReadーOnce Boolean Formula" SIAM Jounal on Computing. 20. 41-55 (1991)

Akira Maruoka：“有界深度单调只读布尔公式的放大”SIAM 计算杂志。20. 41-55 (1991)

篠原 武: "Inductive inference of monotonic formal systems from positive data" New Generation Computing. 8. 371-384 (1991)

Takeshi Shinohara：“根据正数据进行单调形式系统的归纳推理”《新一代计算》8. 371-384 (1991)。

有川 節夫: "学習における計算論的アプロ-チ" 情報処理学会誌. 32. 217-225 (1991)

Setsuo Arikawa：“学习的计算方法”日本信息处理学会杂志 32. 217-225 (1991)。