权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

抽象化に基づく類推を用いた複数領域からの知識獲得

使用基于抽象的类比从多个领域获取知识

基本信息

批准号：
05213101
负责人：
桜井成一朗
金额：
$ 1.09万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1993
资助国家：
日本
起止时间：
1993 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-05213101/
关键词：
機械学習類推抽象化論理プログラム

项目摘要

今年度は,これまでに得られた成果を基にして,抽象化に基づく類推を用いた複数領域からの知識獲得の実現に向けて研究を進めてきた.知識は論理プログラムによって表現されると仮定し,定義が完結している論理プログラムを一つの領域とした.複数領域からの知識獲得を実現するために,複数の領域の一部分から対象領域の知識を類推する方法についてモデル化を行い,実験システムを計算機上に実現した.類推を実現するために,抽象化過程を二つの過程,プログラム変換と制約の汎化に分解した.プログラム変換は,プログラムの意味を変更することなく,プログラム中の制約を抽出する過程である.抽出した制約を汎化することによって,抽象化図式と呼ばれる抽象知識が構成される.抽象化図式が構成されれば,対象領域の制約の同定と制約の汎化によって,対象領域の知識が獲得される.対象領域の制約の同定は,仮説推論の手法を用いることになるが,プログラムの停止性が仮説推論の制御に必要となるので,線形被覆プログラムと呼ばれる停止性の証明されているクラスに対象を限定した.この限定によって,証明のベースとすべき事実集合が有限となるので,すべての可能な仮説を求めることができる.一つの仮説を選択し,最小汎化することによって,一般的な制約を求める.これらの制約はプログラム変換によって埋め込むため,得られる知識の中には中間仮説は現われない.この基本枠組に従い,領域全体を抽象化するのではなく,領域の一部から抽象化を行い,抽象化された知識の組合せを具体化することによって,複数領域からの知識獲得が実現される.以上の知識獲得モデルに基づいて,計算機上に実験システムを構築し,類推によってプログラムが学習されることを確かめた.

This year, we have achieved results based on abstractions, based on analogy, and applied to multiple fields, knowledge acquisition, and research. Knowledge is the logical domain of expression, definition and conclusion. A part of a plurality of domains is realized on a computer by analogy with knowledge in a corresponding domain. Analogy is the process of abstraction, transformation and generalization. The process of changing the meaning of the list, and extracting the constraints from the list. Abstract knowledge is constructed by abstracting abstract knowledge from abstract knowledge. Abstract forms are composed, constraints of the object domain are identical, constraints are generalized, knowledge of the object domain is acquired. The restriction of the object domain is the same as that of the object domain, and the method of inference is used in the case of linear coating. This is the limit, proof, set of finite events, the possibility, the solution, etc. The minimum generalization is the most important, and the general restriction is the most important. This is the first time that we've had a chance to change our mind, and we've had a chance to learn something. In this basic group, the domain as a whole is abstracted, and part of the domain is abstracted, and the combination of knowledge is embodied. The above knowledge is obtained from the basic knowledge, and the computer system is constructed, and the analogy is made between the system and the learning system.