節理論に基づく知識発見システムのための基盤理論の構成と定理証明系上での実現

基于子句理论的知识发现系统基础理论构建及定理证明系统的实现

• 批准号: 11130201
• 负责人: 山本 章博
• 金额: $ 1.79万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11130201/
• 关键词: 帰納論理プログラミング; 知識発見; 発見の論理; 最小汎化; 相対包摂; 関係データベース; 連結証明法; 証明補完

本研究は,節理論を知識表現言語とする従来の様々な知識発見手法の基盤となる統一的な理論的基盤を与え,その基盤に基づいて,レゾリューション証明系に親和性高い知識発見システムの構築技法を開発することを課題とした.1.知識発見手法の基盤となる統一的な理論基盤を与えるため,昨年度までに提案した底法・底節交叉汎化法を基軸に以下の研究を行った.(1)仮説推論と帰納推論の差を明確にするために,底法も仮説推論も融合証明における演繹完全性定理の派生であるととらえられる事実を用いて,底節が,一つの例を仮説推論の有限回の繰返して仮説を構成し,さらにそれを証明したい例の数だけ繰り返していることを示した.(2)底法が,融合証明における不完全な証明の補完手法であることを明確にした上で,節理論のもう一つの証明法である連結証明法に証明補完の概念を導入し,連結証明法が知識発見に有用であることを示した.(3)底節交叉汎化法の能力的限界を証明するために,最小相対包摂の理論を整備し,底節交叉汎化法によって最小相対包摂が計算できるための条件を与えた.(4)底法の特殊な場合である飽和法と計算論的学習手法を明確にした.2.上述の基盤に基づいて,知識発見システムの構築技法を開発するため,以下の研究を行った.(1)Plotkinが理論実証主義の主張に基づいて定式化した発見の論理を論理プログラミングの枠組みを用いて具体化することにより,底節交叉汎化法が発見の論理の論理プログラミング上における発見手法であることを示した.(2)Plotkinの発見の論理の枠組みに沿って、知識発見システムの構築方法論を展開し,データベースから得るデータの役割と発見システムが保持するデータの役割を明確にした.

は, this study section theory を words performance knowledge と す る 従 to の others 々 発 see gimmick の な knowledge base plate と な る unified な theory base plate を and え そ の base plate に base づ い て, レ ゾ リ ュ ー シ ョ ン certificate is に high affinity い knowledge 発 see シ ス テ ム の building techniques を open 発 す る こ と を subject と し た. 1. Knowledge 発 see gimmick の base plate と な る unified な theory base plate を and え る た め, yesterday's annual ま で に proposal し た bottom bottom section, cross generalization method を basic shaft under に の を line っ た. (1) 仮 said inference と 帰, poor reasoning の を clear に す る た め に, bottom method も 仮 said fusion reasoning も prove に お け る deduce completeness theorem の derived で あ る と と ら え ら れ る things be を with い て, が bottom section, a つ の example を 仮 said corollary の back の Qiao return し て 仮 said を constitute し さ ら に そ れ を prove し た い example number の だ け Qiao り return し て い る こ と を shown し た. (2) bottom が, fusion prove に お け る incomplete な prove の finish filling technique で あ る こ と を clear に し た で, section theory の も う a つ の で proof method あ る links prove method に fill out を import し の concept, link proof (see が knowledge 発 に useful で あ る こ と を shown し た. (3) the bottom section of the cross generalization method の ability limit を prove す る た め に, minimum phase package seaborne, preparing a し を の theory, bottom section cross generalization method に よ っ て minimum phase bag, seaborne が computing で き る た め を の conditions and え た. (4) bottom In special な situations, the learning approach of である saturation method と calculation theory を clearly define に た た.2. The の base plate に base づ い て, knowledge 発 see シ ス テ ム の building techniques を open 発 す る た め, the following line の research を っ た. (1) Plotkin が theory be card socialist の に base づ い て demean し た 発 see の logical を logical プ ロ グ ラ ミ ン グ の 枠 group み を with い て specific す る こ と に よ り, bottom section cross generalization method が 発 see の の theories On the logical プ ロ グ ラ ミ ン グ に お け る 発 see gimmick で あ る こ と を shown し た. (2) Plotkin の 発 see の logical の 枠 group み に along っ て, knowledge 発 see シ ス テ ム の し を, constructing methodology デ ー タ ベ ー ス か ら must る デ ー タ cut と の service 発 see シ ス テ ム が keep す る デ ー タ の "を clear cut に し た.

项目成果

Arimura, H. and Yamamoto, A: "Inductive Logic Programming : From Logic of Discovery to Machine Learning"IEICE Trans. Inf. and Syst.. E83-D(1). (2000)

Arimura, H. 和 Yamamoto, A：“归纳逻辑编程：从发现逻辑到机器学习”IEICE Trans。

伊藤 公人,山本 章博: "底節の最小汎化に基づく仮説の発見手法"人工知能学会誌. 14(4). 709-716 (1999)

Kimito Ito，Akihiro Yamamoto：“基于基本子句最小概括的假设发现方法”日本人工智能学会杂志 14(4) 709-716 (1999)。

伊藤 公人,山本 章博: "スキーマと質問を用いた述語発見による論理プログラムの構成的学習アルゴリズム"人工知能学会誌. 14(4). 679-688 (1999)

Kimito Ito，Akihiro Yamamoto：“通过使用模式和问题发现谓词的逻辑程序的构造性学习算法”，日本人工智能学会杂志 14(4) (1999)。

伊藤 公人,山本 章博: "相対包摂のもとでの最小汎化が存在するための条件"人工知能学会人工知能基礎論研究会資料. SIG-FAI-9901. 53-56 (1999)

Kimito Ito，Akihiro Yamamoto：“相对包含下存在最小泛化的条件”人工智能基础研究小组的材料，SIG-FAI-9901 (1999)。

Fronhoefer, B. and Yamamoto, A.: "Relevant Hypotheses as a Generalization of the Bottom Method"人工知能学会人工知能基礎論知識ベース合同研究会資料. SIG-FAI/KBS-9902. 89-96 (1999)

Fronhoefer, B. 和 Yamamoto, A.：“相关假设作为底部方法的推广”，人工智能知识库基础联合研究小组的材料，日本人工智能学会 SIG-FAI/KBS-9902。 -96 (1999)