JPS62229328A - 推論装置 - Google Patents
推論装置Info
- Publication number
- JPS62229328A JPS62229328A JP61072105A JP7210586A JPS62229328A JP S62229328 A JPS62229328 A JP S62229328A JP 61072105 A JP61072105 A JP 61072105A JP 7210586 A JP7210586 A JP 7210586A JP S62229328 A JPS62229328 A JP S62229328A
- Authority
- JP
- Japan
- Prior art keywords
- hypothesis
- true
- false
- conditions
- fact
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000000034 method Methods 0.000 claims abstract description 38
- 238000010586 diagram Methods 0.000 description 5
- GNFTZDOKVXKIBK-UHFFFAOYSA-N 3-(2-methoxyethoxy)benzohydrazide Chemical compound COCCOC1=CC=CC(C(=O)NN)=C1 GNFTZDOKVXKIBK-UHFFFAOYSA-N 0.000 description 1
- FGUUSXIOTUKUDN-IBGZPJMESA-N C1(=CC=CC=C1)N1C2=C(NC([C@H](C1)NC=1OC(=NN=1)C1=CC=CC=C1)=O)C=CC=C2 Chemical compound C1(=CC=CC=C1)N1C2=C(NC([C@H](C1)NC=1OC(=NN=1)C1=CC=CC=C1)=O)C=CC=C2 FGUUSXIOTUKUDN-IBGZPJMESA-N 0.000 description 1
- 102220492485 Selenoprotein V_D21A_mutation Human genes 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
［発明の目的］
（産業上の利用分野）
本発明は仮説が真であるか否か、或いは偽であるか否か
を効率良く判定することのできる推論装置に関する。
を効率良く判定することのできる推論装置に関する。
（従来の技術）
知識情報処理にあっては、種々の証明すべき事実を仮説
とし、この仮説が真であるか偽であるか否かを判定しな
がら上記事実を証明することが行われる。具体的には上
記仮説が成立する為の条件が満されるか否か、また上記
仮説が成立しない為の条件が満されるか否かを判定して
その推論処理が実行される。
とし、この仮説が真であるか偽であるか否かを判定しな
がら上記事実を証明することが行われる。具体的には上
記仮説が成立する為の条件が満されるか否か、また上記
仮説が成立しない為の条件が満されるか否かを判定して
その推論処理が実行される。
ところがこのような２８類の判定処理をそれぞれ別個に
実行するには、その処理を実行する判定装置または処理
プログラムを２系統準備することが必要となる。この為
、装置構成が複雑・大形化し、高価格なものとなること
が否めなかった。
実行するには、その処理を実行する判定装置または処理
プログラムを２系統準備することが必要となる。この為
、装置構成が複雑・大形化し、高価格なものとなること
が否めなかった。
（発明が解決しようとする問題点）
本発明はこのような事情を考慮してなされたもので、そ
の目的とするところは、成る仮説に対する判定処理を効
率良く行うことのできる小形で簡単な構成の推論装置を
提供することにある。
の目的とするところは、成る仮説に対する判定処理を効
率良く行うことのできる小形で簡単な構成の推論装置を
提供することにある。
［発明の目的］
（問題点を解決するための手段）
本発明は、仮説が真である為の十分条件から上記仮説が
真であるか否かを判定する判定処理と、前記仮説が真で
ある為の必要条件から上記仮説が偽であるか否かを判定
する判定処理とを同一の判定装置を用いて直列的に行う
ようにしたものである。
真であるか否かを判定する判定処理と、前記仮説が真で
ある為の必要条件から上記仮説が偽であるか否かを判定
する判定処理とを同一の判定装置を用いて直列的に行う
ようにしたものである。
つまり、例えば仮説が真である為の十分条件から上記仮
説が真であることが証明されないときに初めて、回じ判
定装置を用いて前記仮説が真である為の必要条件から上
記仮説が偽であることを証明するようにしたものである
。
説が真であることが証明されないときに初めて、回じ判
定装置を用いて前記仮説が真である為の必要条件から上
記仮説が偽であることを証明するようにしたものである
。
（作用）
かくして本発明によれば、成る証明すべき仮説が与えら
れたとき、その仮説が真であるか否か、或いは偽である
か否かの判定処理を行い、その判定処理によって前記仮
説が真（偽）であることが証明されないときに初めて、
同じ判定装置を用いて今度は上記仮説が偽（真）である
か否かが判定されることになる。
れたとき、その仮説が真であるか否か、或いは偽である
か否かの判定処理を行い、その判定処理によって前記仮
説が真（偽）であることが証明されないときに初めて、
同じ判定装置を用いて今度は上記仮説が偽（真）である
か否かが判定されることになる。
これ故、成る仮説に対する２系統の判定処理を同一の判
定装置を有効に用いて効率良く実行することが可能とな
る。
定装置を有効に用いて効率良く実行することが可能とな
る。
（実施例）
以下、図面を参照して本発明の一実施例につき説明する
。
。
第１図は実施例装置の概略構成図である、第２図はその
判定処理手続きの流れを示す図である。
判定処理手続きの流れを示す図である。
中央処理装置ｌは、証明すべき事実を仮説とし、この仮
説が真であるか偽であるかを判定処理する推論装置本体
をなすものである。知識ベース２は種々の仮説Ｐが真と
なる為の十分条件とその必要条件とを格納したものであ
り、前記中央処理装置ｌはこの知識ベース２を参照して
推論処理を実行する。
説が真であるか偽であるかを判定処理する推論装置本体
をなすものである。知識ベース２は種々の仮説Ｐが真と
なる為の十分条件とその必要条件とを格納したものであ
り、前記中央処理装置ｌはこの知識ベース２を参照して
推論処理を実行する。
また対話部３はインターフェース（１／Ｆ）４を介して
前記中央処理装置ｌに接続され、推論処理を実行する上
で必要な種々の事実の間合せ、およびその回答入力に供
される。
前記中央処理装置ｌに接続され、推論処理を実行する上
で必要な種々の事実の間合せ、およびその回答入力に供
される。
ここで前記知識ベース２に格納された仮説Ｐに対する十
分条件、および必要条件は、例えば次のように表わされ
る。
分条件、および必要条件は、例えば次のように表わされ
る。
即ち、仮説Ｐが真である為の十分条件は−Ｐ←（ＣＩＬ
Ａ Ｃ１２Δ・・・ ） ｖ （Ｃ２１ＡＣ２２Ａ−） ｖ （Ｃ＋ｎｌＡＣｍ２八・・・） で示される。但し、Ｃ１ｊはそれぞれ命題を示している
。
Ａ Ｃ１２Δ・・・ ） ｖ （Ｃ２１ＡＣ２２Ａ−） ｖ （Ｃ＋ｎｌＡＣｍ２八・・・） で示される。但し、Ｃ１ｊはそれぞれ命題を示している
。
また仮説Ｐが真である為の必要条件は
Ｐ＝ （ＤｌｌｖＤ１２ｖ・−）
Δ（Ｄ２１ｖＤ２２ｖ・＝ ）
△（Ｄｍｌｖ Ｄｍ２ｖ−）
で示される。但し、Ｄｌｊはそれぞれ命題を示している
。しかして本装置では、この条件式め対遇を〜Ｐ←（〜
Ｄ ＩＩＡ −Ｄ Ｉ２Ａ・・・ ）ｖ （〜Ｄ２１Ａ
−Ｄ２２／ｌ・・） ｖ （〜ＤｓｌＡ−Ｄ１１２Ａ−） ［但し、〜は論理否定を示す。］ として求め、これを前記仮説Ｐが偽である為の十分条件
として求めている。
。しかして本装置では、この条件式め対遇を〜Ｐ←（〜
Ｄ ＩＩＡ −Ｄ Ｉ２Ａ・・・ ）ｖ （〜Ｄ２１Ａ
−Ｄ２２／ｌ・・） ｖ （〜ＤｓｌＡ−Ｄ１１２Ａ−） ［但し、〜は論理否定を示す。］ として求め、これを前記仮説Ｐが偽である為の十分条件
として求めている。
しかして判定装置５は、前記中央処理装置１の制御を受
けて判定処理を実行するものであり、第２図に示すよう
に証明すべき仮説Ｐが立てられたとき（ステップａ）、
先ず前記仮説Ｐが真である為の十分条件を入力しくステ
ップｂ）、該仮説Ｐが真である・か否かの判定処理を実
行する（ステップＣ）。この、判定処理結果が前記中央
処理装置１に与えられ、前記仮説Ｐが真であるか否かが
判断される（ステップｄ）。そして仮説Ｐが真である為
の条件が成立している場合には前記仮説Ｐが真であると
の結論を求めている。
けて判定処理を実行するものであり、第２図に示すよう
に証明すべき仮説Ｐが立てられたとき（ステップａ）、
先ず前記仮説Ｐが真である為の十分条件を入力しくステ
ップｂ）、該仮説Ｐが真である・か否かの判定処理を実
行する（ステップＣ）。この、判定処理結果が前記中央
処理装置１に与えられ、前記仮説Ｐが真であるか否かが
判断される（ステップｄ）。そして仮説Ｐが真である為
の条件が成立している場合には前記仮説Ｐが真であると
の結論を求めている。
一方、前記仮説Ｐが真である為の条件が成立しない場合
には、該仮説Ｐが真であるとの結論が得られないことか
ら、第２の判定処理が起動される。
には、該仮説Ｐが真であるとの結論が得られないことか
ら、第２の判定処理が起動される。
この第２の判定処理は、前記判定装置５に、今度は前記
仮説Ｐが真である為の必要条件（仮説Ｐが偽である為の
十分条件）を与え（ステップｅ）、該仮説Ｐが偽である
か否かの判定処理を実行させることにより行われる（ス
テップｆ）。そしてこの第２の判定処理の結果から前記
仮説Ｐが偽であるか否かを判定しくステップｇ） 、偽
である為の条件が成立する場合には前記仮説Ｐは偽であ
るとの結論を求めている。また偽である為の条件が成立
しない場合には、前述した第１の判定処理によって仮説
Ｐが真であるとの結論が得られていないことから、前記
仮説Ｐは真であるとも偽であるとも云えない、つまりそ
の真偽は不明であるとの結論を得ている。
仮説Ｐが真である為の必要条件（仮説Ｐが偽である為の
十分条件）を与え（ステップｅ）、該仮説Ｐが偽である
か否かの判定処理を実行させることにより行われる（ス
テップｆ）。そしてこの第２の判定処理の結果から前記
仮説Ｐが偽であるか否かを判定しくステップｇ） 、偽
である為の条件が成立する場合には前記仮説Ｐは偽であ
るとの結論を求めている。また偽である為の条件が成立
しない場合には、前述した第１の判定処理によって仮説
Ｐが真であるとの結論が得られていないことから、前記
仮説Ｐは真であるとも偽であるとも云えない、つまりそ
の真偽は不明であるとの結論を得ている。
ここで上記判定装置５における仮説Ｐが真であるか偽で
あるかの判定処理（ステップｃ、ｆ）は、例えば第３図
に示す処理アルゴリズムに従って実行される。その条件
が満されるか否かをそれぞれ判定処理する（ステップｄ
、ｇ）。
あるかの判定処理（ステップｃ、ｆ）は、例えば第３図
に示す処理アルゴリズムに従って実行される。その条件
が満されるか否かをそれぞれ判定処理する（ステップｄ
、ｇ）。
即ち、判定装置５は、証明すべき仮説Ｐと、その証明す
べき条件（十分条件または必要条件）とが入力されるこ
とによって起動される。そして先ず、その制御パラメー
タｉ、ｊを初期化しくステップＡ、Ｂ）、その制御パラ
メータｉ、ｊで示される命ＺＣ１ｊ（Ｄｉｊ）が成立す
るか否かを順次判定する（ステップＣ）。
べき条件（十分条件または必要条件）とが入力されるこ
とによって起動される。そして先ず、その制御パラメー
タｉ、ｊを初期化しくステップＡ、Ｂ）、その制御パラ
メータｉ、ｊで示される命ＺＣ１ｊ（Ｄｉｊ）が成立す
るか否かを順次判定する（ステップＣ）。
この判定処理は前記制御パラメータｊをインクリメント
しながら（ステップＤ）、ｉ項目の命題の全てについて
条件が成立するか否かを繰返し行うことにより実行され
る（ステップＥ）。そしてｉ項目の命題の全てについて
条件が成立した場合、前記仮説Ｐが真（偽）であるとの
結論を得ている（ステップＦ）。
しながら（ステップＤ）、ｉ項目の命題の全てについて
条件が成立するか否かを繰返し行うことにより実行され
る（ステップＥ）。そしてｉ項目の命題の全てについて
条件が成立した場合、前記仮説Ｐが真（偽）であるとの
結論を得ている（ステップＦ）。
またｉ項目の命題の中で成立しないものが見出された場
合には、制御パラメータｉをインクリメントしくステッ
プＧ）、次の項目についてその条件が成立するか否かを
同様にして調べる。この処理を全ての項目について実行
しくステップＨ）、それでも前記仮説Ｐが真（偽）であ
ることが証明されない場合には、前記仮説Ｐが真（偽）
であるとは云えないとの結論を求めている （ステップ
ｌ）。
合には、制御パラメータｉをインクリメントしくステッ
プＧ）、次の項目についてその条件が成立するか否かを
同様にして調べる。この処理を全ての項目について実行
しくステップＨ）、それでも前記仮説Ｐが真（偽）であ
ることが証明されない場合には、前記仮説Ｐが真（偽）
であるとは云えないとの結論を求めている （ステップ
ｌ）。
このような判定処理にて、第１゜の判定処理時には前記
仮説Ｐが真であるか否かの判定結果を求め、第２の判定
処理時には前記仮説Ｐが偽であるか否かの判定結果を求
めている。
仮説Ｐが真であるか否かの判定結果を求め、第２の判定
処理時には前記仮説Ｐが偽であるか否かの判定結果を求
めている。
尚、中央制御装置ｌは、第１の判定処理にて仮説Ｐが真
であるとの結論が得られなかった場合に限り判定装置５
を再び起動して、前記仮説Ｐが偽であるか否かを前記仮
説Ｐが真であるための必要条件から判定処理させている
。
であるとの結論が得られなかった場合に限り判定装置５
を再び起動して、前記仮説Ｐが偽であるか否かを前記仮
説Ｐが真であるための必要条件から判定処理させている
。
そして第１および第２の判定処理にて、前記仮説Ｐが真
であるとは云えない、および偽であるとは云えないとの
結論が得られたとき、これを前記仮説Ｐの真偽が不明で
あるとの総合判定結果を求めている。
であるとは云えない、および偽であるとは云えないとの
結論が得られたとき、これを前記仮説Ｐの真偽が不明で
あるとの総合判定結果を求めている。
このように本装置にあっては、証明すべき事実に対して
仮説Ｐが立てられたとき、その仮説が真であるか或いは
偽であるかを、上記仮説Ｐが成立する為の十分条件およ
び必要条件に従って前記判定装置５を繰返し利用して判
定処理している。しかも判定装置５に仮説Ｐが成立する
為の十分条件を与えるか、或いは仮説Ｐが成立する為の
必要条件を与えるかの制御によって、その仮説が真であ
るか、或いは偽であるかを判定処理させている。
仮説Ｐが立てられたとき、その仮説が真であるか或いは
偽であるかを、上記仮説Ｐが成立する為の十分条件およ
び必要条件に従って前記判定装置５を繰返し利用して判
定処理している。しかも判定装置５に仮説Ｐが成立する
為の十分条件を与えるか、或いは仮説Ｐが成立する為の
必要条件を与えるかの制御によって、その仮説が真であ
るか、或いは偽であるかを判定処理させている。
従ってその判定処理のアルゴリズムが単純明快であり、
同一の判定装置５を有効に用いてその判定処理を効率良
く実行させることができる。
同一の判定装置５を有効に用いてその判定処理を効率良
く実行させることができる。
従って仮説Ｐの真偽を判定する処理を簡易に、同一の判
定装置を有効に用いて効率良く実行することが可能とな
る。しかも装置構成の簡易化を図り、その低コスト化を
図ることも可能となる。更には、装置構成が簡単である
から、その信頼性の向上を図ることも可能となる等の実
用上多大なる効果が奏せられる。
定装置を有効に用いて効率良く実行することが可能とな
る。しかも装置構成の簡易化を図り、その低コスト化を
図ることも可能となる。更には、装置構成が簡単である
から、その信頼性の向上を図ることも可能となる等の実
用上多大なる効果が奏せられる。
尚、本発明は上述した実施例に限定されるものではない
。例えば仮説Ｐの判定処理時に、その条件が成立するか
否かの情報を対話部３を介して入力しながら、その判定
処理を進めるようにしても良い。またその判定処理に必
要な情報の入力を上記対話部３を介して促すようにして
も良い。要するに本発明はその要旨を逸脱しない範囲で
種々変形して実施することができる。
。例えば仮説Ｐの判定処理時に、その条件が成立するか
否かの情報を対話部３を介して入力しながら、その判定
処理を進めるようにしても良い。またその判定処理に必
要な情報の入力を上記対話部３を介して促すようにして
も良い。要するに本発明はその要旨を逸脱しない範囲で
種々変形して実施することができる。
［発明の効果］
以上説明したように本発明によれば、仮説が真であるか
否かの判定処理と、上記仮説が偽であるか否かの判定処
理とを同一の判定装置を用いて有効に行うことができる
ので、装置構成の簡素化と低価格化、小形化を図ること
が可能となる等の実用上多大なる効果が奏せられる。
否かの判定処理と、上記仮説が偽であるか否かの判定処
理とを同一の判定装置を用いて有効に行うことができる
ので、装置構成の簡素化と低価格化、小形化を図ること
が可能となる等の実用上多大なる効果が奏せられる。
第１図は本発明の一実施例装置の概略構成図、第２図は
実施例装置の判定処理の流れを示す図、第３図は仮説の
成立条件を判定する処理アルゴリズムの例を示す図であ
る。 ■・・・中央処理装置、２・・・知識ベース、３・・・
対話部、４・・・インターフェース、５・・・判定装置
。 出願人代理人 弁理士 鈴江武彦 第１図 第２図 第３図
実施例装置の判定処理の流れを示す図、第３図は仮説の
成立条件を判定する処理アルゴリズムの例を示す図であ
る。 ■・・・中央処理装置、２・・・知識ベース、３・・・
対話部、４・・・インターフェース、５・・・判定装置
。 出願人代理人 弁理士 鈴江武彦 第１図 第２図 第３図
Claims (3)
- （１）仮説が真である為の十分条件からその仮説が真で
あるか否かを判定する第１の判定処理と、上記仮説が真
である為の必要条件から前記仮説が偽であるか否かを判
定する第２の判定処理とを、同一の判定装置を用いて直
列的に実行してなることを特徴とする推論装置。 - （２）第２の判定処理は、第１の判定処理によって仮説
が真であるとは云えないとの結論を得たときに同じ判定
装置を用いて起動されるものである特許請求の範囲第１
項記載の推論装置。 - （３）第１の判定処理は、第２の判定処理によって仮説
が偽であるとは云えないとの結論を得たときに同じ判定
装置を用いて起動されるものである特許請求の範囲第１
項記載の推論装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP61072105A JPS62229328A (ja) | 1986-03-29 | 1986-03-29 | 推論装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP61072105A JPS62229328A (ja) | 1986-03-29 | 1986-03-29 | 推論装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS62229328A true JPS62229328A (ja) | 1987-10-08 |
Family
ID=13479782
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP61072105A Pending JPS62229328A (ja) | 1986-03-29 | 1986-03-29 | 推論装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS62229328A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH02217476A (ja) * | 1989-12-13 | 1990-08-30 | Shunpei Yamazaki | 被膜形成方法 |
| JPH06188207A (ja) * | 1993-03-12 | 1994-07-08 | Semiconductor Energy Lab Co Ltd | 半導体被膜作製方法 |
-
1986
- 1986-03-29 JP JP61072105A patent/JPS62229328A/ja active Pending
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH02217476A (ja) * | 1989-12-13 | 1990-08-30 | Shunpei Yamazaki | 被膜形成方法 |
| JPH0424432B2 (ja) * | 1989-12-13 | 1992-04-27 | Handotai Energy Kenkyusho | |
| JPH06188207A (ja) * | 1993-03-12 | 1994-07-08 | Semiconductor Energy Lab Co Ltd | 半導体被膜作製方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN106790598A (zh) | 功能配置方法和系统 | |
| US6253112B1 (en) | Method of and apparatus for constructing a complex control system and the complex control system created thereby | |
| JPS62229328A (ja) | 推論装置 | |
| JPH06131312A (ja) | 並行処理方法およびシステム | |
| JPS62229329A (ja) | 推論装置 | |
| JPH07319703A (ja) | 多数のファジイ論理推論規則の並列処理法及びその回路構成 | |
| JPS617903A (ja) | シ−ケンス制御装置 | |
| JPH0816899B2 (ja) | パスワード入力及び処理方法 | |
| Connell | Verbal Programming of Robot Behavior | |
| JPH05313949A (ja) | システム総合試験装置 | |
| JP2002006884A (ja) | 個人認証装置及び個人認証装置の設計方法 | |
| JPH0991036A (ja) | プラント監視装置 | |
| JPH04127328A (ja) | 複数のモジュールからなるシステムの実行制御方法 | |
| Haslach | Isn't That Our Software? | |
| JPH01224842A (ja) | 知識ベースシステムの推論制御方式 | |
| Zelle et al. | Speeding-up logic programs by combining EBG and FOIL | |
| JPH04364527A (ja) | 演算装置 | |
| Liu | A unified framework for consistency check | |
| JPH08249164A (ja) | 入力チェック方式 | |
| JPS63216142A (ja) | 情報処理装置 | |
| JPS6318400A (ja) | 音声認識処理制御装置 | |
| JPS63292313A (ja) | パラメ−タ値の継承方法 | |
| JPH04130538A (ja) | 多重プロセスにおける高速推論装置 | |
| JPH01283637A (ja) | 利用者が定義可能な推論制御装置 | |
| JPH0287206A (ja) | データ処理システム |