論理プログラミングの拡張による汎用学習システムのための基礎理論とその実現

扩展逻辑编程的通用学习系统的基础理论及其实现

• 批准号: 10780213
• 负责人: 山本 章博
• 金额: $ 1.28万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 1999
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10780213/
• 关键词: 帰納論理プログラミング; 帰納関数プログラミング; 帰納推論; 機械学習; 論理プログラミング; 複雑化; 逆融合法; 底汎化法; 帰納等式プログラミング

本研究は,仮説の正しさや一般性などが論理的に定義され,信頼度が高く利用者が理解しやすい学習システム構成の方法論を,論理プログラム処理系をできるだけ自然に拡張して構成することを目標としている。本年度は以下の研究を行った。1.学習システムを構成するために論理プログラミング処理系に組み込むべき基本的機構を研究するため、昨年度に論理プログラミング中の述語を等式に制限した記述体系を利用することを考案した。そのアイデアを基盤に、帰納関数プログラミングの枠組みを定式化した上で、複雑化という基本演算を定式化した。複雑化は,帰納論理プログラミングにおける反復V演算を等式に導入したものであり,反復V演算はスキップ演算によって実現されるが,複雑化の定式化ではスキップ演算を陽に用いる必要がない。この性質から,複雑化によって反復V演算やスキップ演算の意味を明瞭にすることができ,また仮説の探索空間も減少させることができた。2.昨年度の研究の帰結から,反復V演算はPlotkinの発見の論理を実現する手法であることが明らかになった。Plotkinの発見の論理では,因果関係が論理で表現できないということが問題となっていた。等式を関数と見なせば,関数は因果関係の表現そのものであるから,複雑化によって,Plotkinの発見の論理実現における問題点の解消を行ったことになる。3.スキップ演算子はその定義から,新たな概念(述語)の生成に用いることはできない。新述語の生成は学習には不可欠であるにもかかわらず,帰納論理プログラミング研究の初期段階以後注目されなくなってしまった。複雑化の導入により明確になったスキップ演算の意味を用いて,差分に基づく再帰スキームを用いて新たな述語を生成する方法の定式化に成功した。

In this study, we are concerned about the definition of the general theory, and the high degree of users' understanding of the knowledge and methods of science. The following studies will be conducted this year. 1. The department of science is organized to study the basic mechanism of the system. Last year, the system used to describe the equation and limit the records of the system. To set the basic calculus and copy the basic calculus, we need to set the basic calculus and copy the basic calculus. Copy the equation into the equation of the inverse V calculus, reverse the V calculus, realize the error, and use the necessary calculus. In this case, it means that you can understand how much you want to do, and how to explore the space. two。 Yesterday, in the course of the study, the V-calculus was analyzed and the Plotkin was analyzed. Plotkin is sorry to hear the reason, and the causal cause and effect is the cause and effect of the problem. The equation is in terms of the number of data, the number of causal factors, the number of data, the copy of the data, the copy of the data, and the Plotkin of the equation. The problem is resolved. 3. The operator will define the definition of the new concept, and the new concept will be generated using the operator. In the new report, we should not owe the students a lot of money, and we should pay attention to the initial stage of the study. It is clear that the copy input method clearly means that the calculus is used, and the differential basis is used to describe the new generation method of "success".

项目成果

Yamamoto A.: "Logical Aspects of Several Bottom-up Fittings" Lecture Notes in Artificial Intelligence. 1501. 158-168 (1998)

Yamamoto A.：“几种自下而上配件的逻辑方面”人工智能讲义。

石野 明,山本 章博: "等式プログラミングにおける複雑化を用いた帰納推論"人工知能学会誌. 14(3). 512-519 (1999)

Akira Ishino、Akihiro Yamamoto：“在方程编程中使用复杂性的归纳推理”，日本人工智能学会杂志 14(3) (1999)。