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

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

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

班の研究会は,6月(西尾班と合同)と11月に開いた.各分担者による研究成果は,以下に示す通りであるが,本年度も当初の計画通りの成果が得られた.(1)概念形成と知識獲得の論理.有川は,概念形成と知識獲得を発展させて,機械発見の論理の基礎を構築し,仮説空間自体の論駁可能性が基本であることを明らかにした.小野は,知識獲得の論理を従来の様相論理に基づいた知識の論理の観点ではなくて,累積的推論の観点から整理して,新しい体系の構築に踏み出した.(2)推論による概念形成と知識獲得.石塚は,仮説推論の高速化の研究を発展させ,知識ベース・コンパイルや数理計画法準拠の手法等を用いて,高速化メカニズムを明らかにした.原口は,類推理論を発展させ,新しくアナロジーを構造写像として定義し,構造写像にガイドされる形式で推論する新しい類推方式をモデル推論の枠組を用いて与え,その極限同定性を証明した.佐藤は,帰納推論の方式の精緻な特徴付けに成功し,帰納推論可能性の新しい有用な必要十分条件を与え帰納推論の研究を飛躍的に発展させた.(3)概念形成と知識獲得における計算量.丸岡は,学習過程と情報圧縮過程との関係を,単調性や保存性の条件との関連のもとで研究し,新しい学習アルゴリズムを与えた.横森は,言語の帰納学習を扱い,ある種のオートマトンのクラスの多項式時間MAT学習可能性を明らかにした.富樫は,再帰的並行プロセスの学習理論を展開し,帰納推論による合成アルゴリズムを与え,理論の妥当性を実証した.

The research meeting of the class will be held in June (Nishio class contract) and November. The research results of each contributor will be discussed. The following is a summary of the results of this year's original plan. (1) Concept formation The theory of knowledge acquisition. Arikawa は, concept formation and knowledge acquisition を発Developmentさせて, the basic structure of the theory of mechanism 発见Architecturally speaking, the basic concept of refuting the possibility of space self-discussing and refuting the possibility of space itself The theory of reasoning, the basis of knowledge, the point of knowledge, the point of accumulated inference, the whole point of inference Reasoning, construction of new systems, stepping out of the system. (2) Inference, concept formation and knowledge acquisition. Ishizuka , the research on high-speed development of inferences and inferences, the mathematical planning method and the accurate technique of knowledge Waiting for use, high-speed speeding up, Haraguchi, analogy theory, new developmentナロジーをstructural writing like としてDefinition し,structural writing like にガイドされるform でdedulationする新しいanalogy The method of をモデル inference is that the combination of いて and え,そのlimit is identical and the proof is した. Sato は,帰NA inference The method is exquisite, the special payment is successful, and the inference possibility is new and useful. The necessary conditions are very necessary and the reason is simple. Research on inference and development of leaps and bounds. (3) Concept formation and knowledge acquisition, calculation amount. Maruoka, Learning process, information compression process, relationship, single tonality, preservation condition, correlation, research, newしい学アルゴリズムを与えた. Yokomori は, 语の帰纳学をい, あるkind のオートマトンのクラスのPolynomial time MAT learning possibility を明らかにした.富樫は, Zai's parallel プロセスのThe learning theory is unfolded, the inference is made and the theory is synthesized, and the validity of the theory is proved.

项目成果

T.Moriyama: "Properties of languages classes with finite elasticity" Lecture Note on Artificial Intelligence. 187-196 (1993)

T.Moriyama：“具有有限弹性的语言类的属性”人工智能讲义。

近藤 朗子: "述語論理知識を扱う高速仮説推論システム" 人口知能学会誌. 8. 819-827 (1993)

Akiko Kondo：“处理谓词逻辑知识的高速假设推理系统”《人工智能学会杂志》，8. 819-827 (1993)。

K.P.Jantke: "Algorithmic Learning Theory" Springer-Verlag, 423 (1993)

K.P.Jantke：“算法学习理论”Springer-Verlag，423 (1993)

Eiji Takimoto: "Conservativeness and monotonicity for learning algorithms" Computational Learning Theory. 377-383 (1993)

Eiji Takimoto：“学习算法的保守性和单调性”计算学习理论。

Takashi Yokomori: "Learning Two-Tape Automata from Queries and Counterexamples" Proc.of 6th ACM Annual Conference on Computational Learning Theory. 228-235 (1993)

Takashi Yokomori：“从查询和反例中学习两带自动机”第六届 ACM 计算学习理论年会论文集。