JPH0243631A - 推論方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 産業上の利用分野 本発明は、人工知能、エキスパートシステム等の情報処
理分野で利用される推論方式に関するものである。

従来の技術 最近、推論方式は情報処理分野で盛んに利用されるよう
Ｋなってきた。

以下、図面を参照しながら、従来の推論方式について説
明する。

第６図から第９図のフローチャートに示す流れが従来の
後向き推論である。以下、例を揚げながら従来の推論方
式を説明する。

第５図に示すルールとデータがあるとする。ここで、？
記号から始まるものは変数であり、全てのものと対応付
けすることが出来る。

この状態で、 ＣＣＣ（？　　１？　　２） という質問をしたとする。

先ず、第６図に示すようにパンクトラックが掛かつてい
ないことを示すためにＢＴＫＯを代入する（Ｓｌ）。

次に、第７図に示すフローチャート全体のように、質問
のチエツクを行う（Ｓ２）。

第７図における質問のチエツクでは最初に、第８図会体
に示すように、データのチエツクを行う（Ｓｌ）。この
場合、ＢＴは０なので（Ｓｌ）、質問に対応するデータ
が第５図中にあるかどうかのチエツクを行うが（Ｓ２）
　、ｃｃｃ（？　　１　？−２）に対応するデータはな
いので失敗する（Ｓ３、第７図の３２）。

そこで、次に第９図会体に示すルールのチエツクを行う
（第７図の３３）。

ＢＴが０なので（第９図８１）、全てのルールを先頭か
ら調べる（Ｓ２）。この場合は、第５図のルール１とル
ール２の帰結部が質問と対応する。

最初にルール１から調べる。

ルール１の前提部の？Ｘを？−１に？２を？−２に置き
換えた Ａ、ＡＡ（？　　１　？Ｙ） と ＤＤＤ　Ｃ’？’ｌ　？　　２） を質問列に格納する（第９図３５）。そして、質問列の
先頭のＡＡＡ（’／　　’ｉ”１’）を質問として、第
７図に示す質問のチエツクを行う。最初に、データのチ
エツクでは、この場合もＢＴはＯなので、質問に対応す
るデータがあるかを調べる（第８図ＳＬ、Ｓ２）。

この場合、対応するデータは、第５図のデータ１〜デー
タ３の３個があるので、それらのデータを格納しておい
て、先頭の ＡＡＡ（ａｌｂｌ） を返す（Ｓ４）。質問のチエツクもそれを返す。

次に、 ＡＡＡ（ａｌｂｌ） を返されたルールのチエツクは、質問列の次に格納され
ている。

ｄｄｄ　（？ｙ？Ｚ　） をチエツクするが、ここでは既に？ｙはｂｌに対応付け
られているので、 ｄｄｄ（ｂｌ　？　２） をチエツクする。

質問のチエツクでは、データのチエツクを行うが対応す
るデータが無いので、次のルールのチエツクを行う。こ
の場合は帰結部が対応するルールもないので失敗する。

そこで、ルールのチエツクでは、ＤＤＤ（ｂｌ？−２）
が質問列の最初の質問ではないのでＢＴに１を代入して
、１つ前の質問 ＡＡＡ（？　　１　　？ｙ） をチエツクする。

データのチエツクでは、今回はＢＴが１なので、格納し
ておいたデータから、次のデータＡＡＡ　（ａ２　ｂ２
　） を返す。

ＭＡ（ａ２ｂ２）を返されたルールのチエツクでは、Ｂ
Ｔに０を代入した後に？Ｙをｂ２に置き換えた質問列の
２番目の質問 ｄｄｄ（ｂ２　？　　２’ｊ をチエツクする。しかし、今回も第７図の質問のチエツ
クは失敗する。

そこで、再度、ＢＴに１を代入して質問列の最初の質問
、 ＡＡＡ　（？　　１　？）’） をチエツクする。

データのチエツクは、最後の ん鋳（ａ３　ｂ３） を返す。そして、ルールのチエツクは、ｄｄｄ（ｂ３　
？　　２） をチエツクする。しかし、今回も、質問のチエツクは失
敗して、再度 ＡＡＡ　（？　　Ｉ　ＴＶ） をチエツクする。

データのチエツクでは、格納されているデータが無いの
で失敗し、ルールのチエツクを行うが、帰結部が対応す
るルールもないので質問のチエツクは失敗する。

ルールのチエツクは、ＡＡＡ　（７１？’！＞が質問列
の最初の質問でこれが失敗したので次のルール２を調べ
る。

今度の前提部は、？Ｘを？−１に、？ｙを？−２に置き
換えて、 ん精（？　１７：Ｙ） と ＢＢＢ　（？Ｙ　？−２＞ となる。

まず、ＡＡＡ（？　　１　？）’）をチエツクすると、
データのチエツクではルール１の時と同様に第５図のデ
ータ１からデータ３の３つのデータが対応する。そして
、それらを格納して先頭のデータ１を返す。

データが返されたルールのチエツクは、質問列の第２の
質問の？ｙをｂｌに置き換えたＢＢＢ（ｂｌ　？　２） をチエツクする。

これに対応するデータは、第５図のデータ４があるので
それを返す。

結局、質問 ＣＣＣ（？　１７２ン に対する答えは、 ＣＣＣ（ａｌｃｌ） となる。

また、別の答えが欲しいときは、最終結果にバックトラ
ックを掛けてＢＴＫＩを代入した後、再度、 ＢＢＢ　（ｂｌ　？−２） をチエツクする。

そうすると、データのチエツクではこの質問に対応する
データは格納していないので失敗する。

また、帰結部がこれに対応するルールもないので質問の
チエツクも失敗する。

そうすると、ルールのチエツクではＢＴに１を代入して
質問列の最初の質問、 ＡＡＡ　（？−１？ｙ） をチエツクするだめの質問のチエツクを呼ぶ。

データのチエツクは、格納している次のデータ、第５図
のデータ２を返す。

データ２を返されたルールのチエツクはＢＢＢ（ｂ２？
〜２） をチエツクする。これに対応するデータは、第５図のデ
ータ５であるのでそれを返す。

結局、質問 ｃｃｃ　（？　　１　？−２） に対する第２の答えは、 ＣＣＣ（ａ２ｃ２） となる。

発明が解決しようとする課題 しかし、従来の推論方式では、データをチエツクした時
、質問に対応するデータが複数あると、バックトラック
が掛かる度にデータを１つ１つ返すのでバンクトラック
の回数が増えるという課題があった。

また、複数の答えが欲しいとき一回毎にバックトラック
を掛けなければならないという課題があった。

本発明は、以上のような課題を解決するもので、バック
トラックの回数を減らし、−回の質問で複数の答えを返
すことの出来る推論方式を提供することを目的とする。

課題を解決するだめの手段 本発明は、データを複数有し、前記データと対応付は可
能な前提部と前記前提部が前記データと対応付けられた
とき成立、或は実行される帰結部からなるルールを複数
有し、前記ルールの前提部と前記データを対応付けなが
ら推論を行う推論方式において、前記ルールの前提部と
対応付られた前記データの一部或は全部を集合として扱
うことによって、上記目的を達成する。

作用 本発明は、上記構成により質問に対応するデータを一つ
一つではなく、集合としてまとめて返すようにして、バ
ックトラックの回数を減らし、問い合せに対して一度に
複数の答を返すものである。

実施例 以下、本発明の一実施例について図面を参照しながら説
明する。

第１図から第４図は本発明の一実施例における推論方式
の流れ図である。以下、例をあげながら本発明の一実施
例を説明する。

第５図に示すルールとデータがあるとする。

この状態で、以下の質問をしたとする。

ＣＣＣ（？　　１　？　２） 第１図に示すように、先ず、バックトラックが掛かって
いないことを示すためにＢＴに０を代入して（Ｓｌ）、
質問のチエツクを行うサブルーチンを呼び出す（Ｓ２）
。そして、その結果を返す。

質問のチエツクのサブルーチンは第２図に示すようにＢ
ＴがＯの時はデータのチエツクを行い（Ｓｌ、第３図）
、それが成功；７たときはその結果を返し、失敗したと
きはルールのチエツクを行う（Ｓ２）。ＢＴが１の時は
、データのチエツクは行わないのでルールのチエツクを
行う（Ｓ２）。

この場合、データのチエツクは失敗して、ルールのチエ
ツクを行う。

ルールのチエツクでは第４図に示すようにＢＴが０の時
は（Ｓｌ）、全てのルールを（Ｓ２）、そうでないとき
は、−度調べたルールを除いて帰結部が質問に対応する
ルールがあるかを調べる（Ｓ３）。この場合、第５図の
ルール１とルール２０２つあるが、始めに、第５図のル
ール１の方を調べる。

ルール１には、前提部が２つあるので、それらの？Ｘを
？−１に、？Ｚを？−２に置き換えたものを質問列に格
納する。即ち、 ＡＡＡ　（’ｉ’　　１　？ｙ　） と ＤＤＤ　（？Ｙ　？−２） を格納する。

そして、先頭の ＡＡＡ（’ｉｌ　　１　　？ｙ） を質問として質問のチエツクをサブルーチンを呼びチエ
ツクする。

この質問に対応するデータは、第５図のデータ１からデ
ータ３の３つあるので、その３つを集合として返す。

データを返されたルールのチエツクのサブルーチンは、
次の質問 ＤＤＤ　（？Ｙ　？　　２） をチエツクするだめのチエツクのサブルーチンをもう一
度呼ぶ。但し、？Ｙは先の質問のチエツクでは、ａｌ、
ａ２．ａ３に対応付けられているものとする。

データのチエツクでは対応するデータが無いのでルール
のチエツクを行うが、帰結部が対応するルールもないの
で、質問のチエツクは失敗する。

ＤＤＤ　（？Ｙ　？−２）は最初の質問でないので１つ
前の質問である、 ＡＡＡ　（？　　１　？ｙ） に戻り、ＢＴに１を代入して再度質問のチエＪりを行う
。

今回は、ＢＴが１なので質問のチエツクではデータのチ
′ニックを行わないのでルールのチエツクを行うが、対
応するルールが無いので失敗する。

結局、質問列の最初の質問 ＡＡＡ　（？　　１　？Ｙ＞ が失敗したので、次のルールである、第５図のルール２
を調べる。

ルール２にも、前提部が２つあるので、それらの？Ｘを
？−１に、？Ｚを？−２に置き換えたものを質問列に格
納する。即ち、 ＡＡＡ（？　　１　？Ｖ） と ＢＢＢ　＜　？ｙ　　？−２） を格納する。

そして、先頭の ＡＡＡ　（’ｉ’　　１　？ｙ） を質問として質問のチエツクのサブルーチンを呼びチエ
ツクする。

この質問に対応するデータは、第５図のデータ１からデ
ータ３の３つあるので、その３つを集合として返す。

データを返されたルールのチエツクのサブルーチンは、
次の質問 ＢＢＢ　（？Ｙ　？　　２） をチエツクするため質問のチエツクのサブルーチンをも
う一度呼ぶ。ここで、？ｙは、ａｌ、　　ａ２゜ａ３に
対応付けられている。

今回は、対応するデータが第５図のデータ４からデータ
６の３つちり、それらを返す。

結局、質問 ＣＣＣ（？　１　？　　２） に対する答えは、 ＣＣＣ（ａｌｃｌ） ＣＣＣ（ａ２ｃ２） ＣＣＣ（ａ３ｃ３） の３つとなる。

発明の効果 以上のように本発明は、データを集合として扱い、質問
に対して一度に複数のデータを集合として返すことによ
りバックトラックの回数を減らすことが出来るし、また
問い合わせに対して一度に複数の答えを返すことが出来
るという長所を有する。

【図面の簡単な説明】

第４図、第２図、第３図及び第４図は、それぞれ本発明
の一実施例に係る推論方式を説明するだめの７０−チャ
ート、第５図は、ルール及びデータを示す図、第６図、
第７図、第８図及び第９図は、それぞれ従来の推論方式
のフローチャートである。 代理人の氏名　弁理士　粟　野　重　孝ほか１名図 アー５１ ＡＡＡ（ａｌｂ。 テ゛−Ｉｙｚ Ａ　ＡＡ　（ｏｚ飯） デー力 ＡＡＡ（ａｌｂ３） プーツ４ ＢＢＢ（ｂ＋　ｃ＋） デー論（ｂｚ、ｃ２） ブータロ ６８Ｂ（胸Ｃ３） ルール１ 札謔７と諷璧′γ”′） ルール２

Claims (1)

【特許請求の範囲】
1. データを複数有し、前記データと対応付け可能な前提部
   と、前記前提部が前記データと対応ずけられたとき成立
   、或は実行される帰結部からなるルールを複数有し、前
   記ルールの前提部と前記データを対応付けながら推論を
   行う際、前記ルールの前提部と対応付られた前記データ
   の一部或は全部を集合として扱うことを特徴とする推論
   方式。