Top > Search of Japanese Patents > GENERATION DEVICE, GENERATION METHOD, AND PROGRAM

GENERATION DEVICE, GENERATION METHOD, AND PROGRAM

Patent code P200016852
File No. 6094
Posted date May 11, 2020
Application number P2018-037413
Publication number P2019-153047A
Date of filing Mar 2, 2018
Date of publication of application Sep 12, 2019
Inventor
  • (In Japanese)西野 正彬
  • (In Japanese)山本 章博
  • (In Japanese)新藤 光
Applicant
  • (In Japanese)日本電信電話株式会社
  • (In Japanese)国立大学法人京都大学
Title GENERATION DEVICE, GENERATION METHOD, AND PROGRAM
Abstract PROBLEM TO BE SOLVED: To provide a generation device capable of obtaining all solutions of inductive logic programming, a generation method, and a program.
SOLUTION: A generation device for generating information indicating each hypothesis Σ representing a logic program serving as a solution of a problem of inductive logic programming comprises first generation means, second generation means, and third generation means. The first generation means constructs a first binary decision diagram representing a logic function f corresponding to a hypothesis Σ1 in which a basic atomic formula E contained in a set ε+ of a basic atomic formula indicating a training example of a positive example is likely to become a logical conclusion of a sum set of a background knowledge B and the hypothesis Σ1. The second generation means constructs a second binary decision diagram representing a logic function g corresponding to a hypothesis Σ2 of a negative example. The third generation means constructs a third binary decision diagram by subjecting each first binary decision diagram and each second binary decision diagram to Apply calculation.
Outline of related art and contending technology (In Japanese)

論理プログラムを用いた機械学習手法である帰納論理プログラミング(ILP:Inductive Logic Programming)が従来から知られている(非特許文献1)。帰納論理プログラミングでは、与えられた訓練データ(以降では、「訓練例」とも表す。)と整合性がとれるような論理プログラムを推定する技術である。このため、帰納論理プログラミングにより、論理プログラムを人手で設計しなくても、訓練例を与えるだけで、これらの訓練例と整合性がとれるような論理プログラムを獲得することができる。

Field of industrial application (In Japanese)

本発明は、生成装置、生成方法及びプログラムに関する。

Scope of claims (In Japanese)
【請求項1】
 
帰納論理プログラミングの問題の解となる論理プログラムを表す仮説Σの各々を示す情報を生成する生成装置であって、
背景知識Bと、正例の訓練例を示す基礎原子論理式の集合εと、前記仮説Σに含まれ得る縮小確定節の集合Pとが入力されると、前記集合εに含まれる各基礎原子論理式Eについて、該基礎原子論理式Eが前記背景知識Bと仮説Σ1との和集合の論理的帰結となるような仮説Σ1に対応する論理関数fを表す第1の二分決定図を構築する第1の生成手段と、
前記背景知識Bと、負例の訓練例を示す基礎原子論理式の集合εと、前記集合Pとが入力されると、前記集合εに含まれる各基礎原子論理式Eについて、該基礎原子論理式Eが前記背景知識Bと仮説Σ2との和集合の論理的帰結となるような仮説Σ2に対応する論理関数gを表す第2の二分決定図を構築する第2の生成手段と、
前記第1の二分決定図の各々と、前記第2の二分決定図の各々とをApply演算することで、第3の二分決定図を生成する第3の生成手段と、
を有し、
前記第1の生成手段及び第2の生成手段は、
前記基礎原子論理式Eを論理的帰結とする仮説の集合を表現する論理関数を[E]、前記集合Pに含まれる各縮小確定節A←B1,・・・,Bnのうち、代入θに対してE=Aθを満たす縮小確定節A←B1,・・・,Bnの添え字の集合をJEとして、
【数14】
 
(省略)
を再帰的にApply演算することで、前記第1の二分決定図及び前記第2の二分決定図をそれぞれ構築する、ことを特徴とする生成装置。

【請求項2】
 
前記第3の生成手段は、
前記第1の二分決定図の各々を表すM個の論理関数をf1,・・・fM、前記第2の二分決定図の各々を表すK個の論理関数をg1,・・・gKとして、
【数15】
 
(省略)
によって表される前記第3の二分決定図をApply演算により生成する、ことを特徴とする請求項1に記載の生成装置。

【請求項3】
 
帰納論理プログラミングの問題の解となる論理プログラムを表す仮説Σの各々を示す情報を生成するコンピュータが、
背景知識Bと、正例の訓練例を示す基礎原子論理式の集合εと、前記仮説Σに含まれ得る縮小確定節の集合Pとが入力されると、前記集合εに含まれる各基礎原子論理式Eについて、該基礎原子論理式Eが前記背景知識Bと仮説Σ1との和集合の論理的帰結となるような仮説Σ1に対応する論理関数fを表す第1の二分決定図を構築する第1の生成手順と、
前記背景知識Bと、負例の訓練例を示す基礎原子論理式の集合εと、前記集合Pとが入力されると、前記集合εに含まれる各基礎原子論理式Eについて、該基礎原子論理式Eが前記背景知識Bと仮説Σ2との和集合の論理的帰結となるような仮説Σ2に対応する論理関数gを表す第2の二分決定図を構築する第2の生成手順と、
前記第1の二分決定図の各々と、前記第2の二分決定図の各々とをApply演算することで、第3の二分決定図を生成する第3の生成手順と、
を実行し、
前記第1の生成手順及び第2の生成手順は、
前記基礎原子論理式Eを論理的帰結とする仮説の集合を表現する論理関数を[E]、前記集合Pに含まれる各縮小確定節A←B1,・・・,Bnのうち、代入θに対してE=Aθを満たす縮小確定節A←B1,・・・,Bnの添え字の集合をJEとして、
【数16】
 
(省略)
を再帰的にApply演算することで、前記第1の二分決定図及び前記第2の二分決定図をそれぞれ構築する、ことを特徴とする生成方法。

【請求項4】
 
コンピュータを、請求項1又は2の何れか一項に記載の生成装置における各手段として機能させるためのプログラム。
IPC(International Patent Classification)
Drawing

※Click image to enlarge.

JP2018037413thum.jpg
State of application right Published
Please contact us by e-mail or facsimile if you have any interests on this patent. Thanks.


PAGE TOP

close
close
close
close
close
close
close