JPS62226225A - 関係認定装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 １、産業上の利用分野ｊ 本発明は関係認定装置に関し、特に相互の上位下位間１
系が推移的に関係が規定され且つそれぞれの記号の直接
の上位記号が高々一つである記号の集合が有って、前記
集合の２つの部分集合Ａ、　Ｂが与えられたとき、該部
分集合Ａ、Ｂに含まれる記号間の−Ｅ位下位関係を認定
することによって部分集合Ａ、Ｂ間の関係を認定する関
係認定装置に関する。

［従来の技術〕 自然３語処理、情報検索などの分野では、ｉ念やキーワ
ードといった記号の上位下位関係を記述し、たシソーラ
スを用いて概念やキーワード間の上位下（ｉ、関係を認
識する必要がある。更に、大量データに対し高度な処理
を行なうためには、このようなシソーラスの検索の高速
化が要求される。

従来、シソーラス上で上位下位関係を認識するためには
、ソフトウェアによる方法が採られていた。ソフトウェ
アによる方法は次の２つがある。

第１の方法は、データとして最初に与えられた直接の１
−位下位関係表を用いて一段階ずつ上位下位関係の推論
を進めていくもので、上位下位関係が全体としてツリー
構造ではなくネ・７１〜ワーク格造にな−）でいる場合
や、データが頻繁に変化する場合にこの方法は適してい
る。

第２の方法は、Ｆｔ　＋ＪＪに４えらえた直接の上位下
位関係表に基づいてあらかじめ計算した上位下位関係表
にあるすべての記号の組み合わせの一覧をデータとして
用いるもので、データの変動が少ない場合に適している
。

更に、自然言語処理において、表層の単語は１つの語で
一般に複数の概念を表わしているため、２つの単語のシ
ソーラス関係を調べる場合には、一般に概念記号のセッ
ト間で上位下位関係にある概念の対の存在を調べる必要
がある。

従来は、概念記号のすべての組み合わせに対して総当た
り的に上位下位関係を認定することにより２つの単語間
の関係の認定を行なっていたが、この方法では２つの単
語に上位下位間係がない場合には、２概念間の上位下位
関係の検査回数が常にそれぞれの単語が持つ概念の数の
積になり処理効率が悪い。

〔発明が解決しようとする問題点〕

上述した従来の第１の方法では、推論を何段階も繰り返
して行なうので、処理速度が遅いという問題点があり、
また第２の方法では、最悪の場合、記号の数の２乗に比
例して検索の速度が遅くなる。つまり従来の方法では処
理効率が悪いという問題点がある。

自然言語処理で用いられる概念の上位下位関係の体系は
、全体としてツリー構造で表わし得る場合が多い。この
ようなツリー構造に処理対象を限定した場合に、従来の
方法と比較して、より高速な検索手段を与えることが可
能である。

本発明の目的は、記号間の推移的関係が定義され且つそ
の関係を図示したときツリー構造で表わされる記号の集
合に含まれる各記号を符号化することにより、記号間の
推移的関係を高速に認定することを可能にし、更に、記
号のリスト間の関係を認定する際に、それぞれの記号リ
スト内で隣接する記号間の一致の度合いをあらかじめ計
算しておくことにより、直接、記号間の上位下位関係を
調べる回数を減少させることを可能にする関係認定装置
を提供することにある。

〔問題点を解決するための手段〕

本発明による相互の上位下位関係が推移的に規定され、
且つそれぞれの記号の直接の上位記号が高々一つである
記号の集合に含まれる一対の記号の集合が有って、該集
合の２つの部分集合の関係を認定する関係認定装置は、
前記集合内で直接に関係を持つ記号対を記述した直接関
係表と、前記直接関係表を入力として各記号に固有のコ
ードを法える符号化手段と、前記符号化手段により得ら
れたコードと記号の対応関係を表わす記号コード対応表
と、前記部分集合を入力として該部分集合に含まれる各
記号のコードをキーにしてソートして得られた記号リス
トを出力する順序付は手段と、前記リスト内で隣接する
記号の一致ビット数を演算する一致ビット数演算手段と
、一致ビット数を格納しておく一致ビット数記憶手段と
、前記２つの部分集合に含まれる記号をそれぞれ１つず
つ選択する記号選択手段と、選択された一対の記号のそ
れぞれのビット数と一致ビッ１〜数とを入力として関係
の認定結果を出力する関係直接認定手段と、関係が認定
された記号対を格納する関係認定結果記憶手段と、前記
記号選択手段によってｊ讐択された一対の記号間の一致
ビット数と次に選択される記号と同一部分集合内の現在
選択されている記号との間の一致ビッｌ−数とから次の
組み合わせの関係を判定する関係間接認定手段とを含ん
で構成される。

〔作用〕

相互の上位下位関係が推移的に規定され且つそれぞれの
記号の直接の上位記号が高々一つであるような記号の集
合において、該集合に含まれるそれぞれの記号と、該記
号と直接に上位下位関係金持つ記号のリストを記述した
表が与えられたとき、その表に基づいて次のような手順
で各記号を符号化する。最上位記号Ａ］にコード°゛１
”を与える。王位記号Ａｉのコードがａであるとき、上
位記号Ａｉと直接上位下位関係にある下位記号をＢ　１
．Ｂ２．−−−、Ｂｎとすると、下位記号ＢｉＬ１≦ｉ
≦ｎ〕にはａの後にｉ　−１１ｍの°′１“を連結し、
さらに′Ｏ゛°を連結した°゛１“と”　ｏ　”のビ・
ソト列をコードとして与える。

以上の手順で符号化された記号の集合において、一対の
記号ＡとＢがあって、記号Ａか記号Ｂの」−位記号であ
ることは、記号Ａのコードのヒラ１〜数り、　Ａと記号
Ｂのコードのピッｌ−数Ｌ　Ｂがｔ−Ａ≦ＬＢを満たし
、且つコード中のＬＡ番番目力ピッＩ・列が一致するこ
とと同値である。本発明における関係直接認定手段では
、前述の原理に基づいて一対の記号の」−位下位関係か
認定される。

また、それぞれの記号リス）・内で各記号に対応するコ
ードの昇順にソートされた２つの記号リストか与えられ
たとき、各記号リスＩ−内で隣接する２つの記号コード
を比較して、先頭から一致するピッ１へ数をあらかじめ
調べておくことにより、次のような手順で２つの記号が
上位下位関係にないことを直接２つの記号のコードを比
較することなく決定することができる。

２つの記号リスＩ−／Ａ、ｌＢがあってム一（ａｔ　。

ａ２．−、ａｍ　）、ｌＢ＝　（ｂ、、ｂ２、−ｂ。）
とする。記号リスｌ−／Ａ、ＩＢはそれぞれ各記号のコ
ードの昇ＪｌＩｎにソー１〜されているものとする。記
号ｘ、ｙのコードの一致ビット数をｃｄ　（ｘ。

ｙ）、記号Ｘのコードのビット数をｄ（ｘ）とする。ａ
ｌ−１とａｉｃ１＜ｉ≦夏η〕の一致ビット数はｃｄ　
（ａｉ−１、ａｌ　）であり、ｂ　Ｊ−１とす。

［１＜ｊ≦ｎ〕の一致ビット数はｃｄ（ｂｔ−ｔ。

ｂ、、）である。ａｌがす、の下位記号であること、す
なわちす、がａｌの上位記号であることを１ｓ−ｓｕｐ
−ｏｆ　（ｂ４　、ａｌ　　＞と記述する。

ｃｄ　（ａｇ　、　ｂ」）＝ｄ　（ａｉ　）＝ｉｓ−ｓ
ｕｐ−ｏｒ　（ｂ、＋　、　ａｌ　＞ ａｌと１〕、の一致ビット数ｃｄ　（ａｔ　、ｂｊ）が
既知であるとするとａｌとｂ　Ｊ＋１の一致ビット数は
、Ｃ＋：ｌ　（ａｔ　、　ｈｊ）≠ｃｄ　（ｂｉ　、　
ｂｊ＋＋　）のときｍ１ｎ（ｃｄ（ａｉ、ｂＪ）、ｃｄ
（１：）Ｊ　、　ｂ、１＋１　）　）である。

ｃｄ　（ａｉ　、ｂｊ）＜ｄ　（ａｉ　）且つｃｄに４
１　、　ｂｊ）　≠ｃ　ｄ　（ｂ３　、　ｂＪ＋ｘ　）
ならばｃｄ＜ａｉ　　　、　　　ｌ）、ＩＢ　　　）：
＝ｍｉｎ　　　（ｃｄ　　　（ａｉ　　　、　　　ｂｔ
　　　）、　ｃ　ｄ　（＋）、ｌ　、　ｂ、１＋＋　）
　　＜ｄ　（ｃｉｌ　）であるがら１ｓ−３ＩＪｐ−ｏ
ｆ　（ｂｊ＋＋　、ａｉ　）ではない。

すなわちａ　Ｉがす、の下位記号でなく、且つａｌとｂ
Ｊの一致ビット数がａｌと次の比較対象であるｂ　Ｊ＋
１との一致ビット数と異なるならばａ。

はｂ　Ｊ＋＋の下位記号でない。

また、ｂ、、ｂ２．・・・、ｂ、、がコードの昇順にソ
ートされているとすると、ａｌとす、、ｂ２゜・・・、
ｂｏとの間の一致ビット数は ｃｄ　（ａ、−ｂｌ　）≦・・・≦ｃｄ　（ａｔ　、ｂ
」）≧・・・≧ｃｄ　（ａｔ　、ｂｎ　）（１≦ｊ≦ｎ
〕従って、ｃｄ　（ａｉ　、ｂｋ）＞　ｃｄ　（ｂｋ。

ｂｋ＋１）となった時点でｂ　Ｉｌ＋１からｂｎについ
ては個々にａｌとの関係を調べることなく、ａｉがｂｋ
”！＋・・・、（〕。のいずれの下位記号ではないこと
が分かる。

本発明における関係間接認定手段では、前述の原理に基
づいて、一つ前の関係認定結果である一致ビッＩ・数と
記号リスト内隣接記号間一致ビット数とから上位下位関
係を直接調べることなく、一対の記号が」三位下位関係
にないことを認定している。

次に、第１図は本発明の関係認定装置の−実施例を示す
ブロック図、第２図は第１図における直接関係表の一例
を示す図、第３図は第２図の直接関係表の一例に基づい
て第１図における符号化手段により作成される記号コー
ド対応表を示す図、第４図、第５図はそれぞれ第１図に
おける記号リス１−記憶手段、一致ビット数記憶手段に
蓄えられるデータの一例を示す図である。

以下、第３図の記号コード対応表に示される記号集合を
例にとって関係認定の手順について説明する。

対応するコードの昇順にソートされた記号リストをム＝
　（Ｅ、）１．Ｊ　）、＋Ｂ＝　（Ｆ、ａ、Ｉ（）とす
る。記号リストＡ、旧のｉ番目の要素をそれぞれａｔ、
ｂ＋とする。各要素のコードは第４図に示すように、ａ
ｌ　＝Ｅ＝　（１００１０）、ａｚ　＝ト１＝　　　（
１０１１０）　　　、　　　ａｓ　　　＝、Ｊ＝　　　
（１１００）　　　。

ｂ、＝Ｆ＝　（１００１１０）、ｂ２＝Ｇ＝　（１０］
、　Ｏ）　、ｂ　３　＝　Ｋ　＝　（１１０１０）であ
る。

記号リスｌ−／Ａ、ＩＢのそれぞれで隣接する記号のコ
ードの左端からの一致ビッ１〜数を前もって算出する。

要素ａｌとａ１＋１の一致ビット数をｄ　ａ　ｔ。

Ｉや１とすると、第５図に示すようにｄ　ａ　１２　”
　Ｃｄ（ａｌ　、ａｌ）＝２．ｄａ２３＝ｃｄ　（ａｌ
　、ａ、）”１．ｄｂ１２＝ｃｄ　（ｂｌ　、ｂｚ　）
＝２．ｄｂ２ｇ＝ｃｄ　（ｂｚ　、ｂｓ）＝１となる。

、二コテ一致ピッＩ・数の算出は４回行なわれている。

まず、要素ａ１が記号リストＩＢの要素のいずれかの下
位記号であるかどうかを調べる。ａ、とす、の一致ビッ
ト数をＣ，とじ、各時点での調査対象の記号間の一致ビ
ッＩ・数をＣとする。ｃ１＝ｅ＝ｃｄ　（ａｔ　、ｂｘ
　）＝４である。ａｌのビット数ｄ　（ａｔ　＞は５で
ある９ｃ≠ｄ　（ａｌ）より−１ｓｕｂ　（ａｔ　、ｂ
＋　）　、すなわちａ、はす、の下位記号ではない。次
に、ｅ）ｄｂｌ□より］Ｓ　ｌ−１１）　（ａｔ　、　
））２　）　、且つ１ｓｕｂ　（ａｔ　、ｂｓ　＞であ
る。

次にａｌについて調べる。ｃ１≠ｄａ１□よりｃ２　＝
ｃ＝ｃｄ　（ａｌ　、　ｂｌ　）　＝ｍｉ　ｎ　（ｄａ
１２゜ｃ＋）＝２で１ｓｕｂ　（ａｌ　、ｂｌ　）であ
る。

次にｃ　＝　ｄ　ｂ　１２なのでａｌとｂｚの一致ビッ
ト数を調べる必要がある。ｃ＝ｃｄ　（ａｌ　、ｂｚ　
）＝３である。ａｌのビ・ソト数ｄ　（ａｌ　）は５で
ある。ｃｏｄ　（ａｚ　）より１ｓｕｂ　（ａｌ　、ｂ
ｚ　）。

次に、ｃ　−＃　ｄ　２３よりコｓｕｂ　（ａｚ　、ｂ
ｓ　）。

最後にａｓについて調べる。ｃ２≠ｄａ２３よりｃ−、
＝ｃ＝ｃｄ　（ａｓ　、ｂ＋　）＝ｍｉｎ　（ｄ’ａ２
３゜Ｃ２）＝１でコｓｕｂ　（ａｓ　、ｂｌ　）である
。次に、ｃ（ｄｂ１２よりｃ＝ｃｄ　　（ａｓ　　、　
　ｂｚ　　）　＝ｍｉｎ　（ｄｂｌｚ、ｃ）＝１でコｓ
ｕｂ　（ａｓ、ｂｚ）である。

次に、ｃ：＝ｄｂ２３なのでａｓとｂｓの一致ビッＬ−
を調べる必要がある。ｃ＝ｃｄ　（ａｓ　、ｂｓ）＝３
゜ａｓのビット数ｄ　（ａｓ　）は４である。Ｃ≠ｄ　
（ａｔ　）　よ’）Ｉｓｕｂ　（ａｓ　、ｂｓ＞である
。

以上のようにして記号リストへの要素のいずれも記号リ
スト旧の要素の下位記号でないことが確認される。この
手順中で一致ビット数の算出は３回行なわれている。隣
接記号のコードの一致ビット数の算出回数４回と合わせ
て計７回の演算が必要になる。

これを従来の方法で行なうと、（／Ａの要素数）×（Ｉ
Ｂの要素数）２９回の演算が必要になる。

一般に記号リスト／Ａ　、　ＩＢの要素数をそれぞれｍ
、ｎとすると、従来の方法ではＯ（ｍｎ＞回の演算が必
要であるが５本発明によれば隣接記号間の一致ビ・ソト
数の算出に（ｍ−１＞　＋（ｎ−１＞＝（ｍ十ｎ−２＞
回、その後の手順で最良の場合１回、最悪の場合（ｍＸ
ｎ）回の演算が必要である。つまり、最良の場合０　（
ｍ＋ｎ）　、最悪の場合０（ｒｎｎ）、平均してｏ（Ｆ
Ｔ下！！ｏｇＦＴ下〉の演算で済み、ソート演算の計算
量０（ｍｅｏｇｍ＞、Ｏ（ｎｅｏｇｎ）と合わせてもオ
ーダは変わちない。

以上説明したように、本発明によれば処理の高速化が可
能になる。

〔実施例〕

次に、本発明について第１図を参照して詳細に説明する
。

直接関係表１は、ある記号と、その記号と直接上位下位
関係にある記号のリストを示した表である。上位下位関
係が全体としてツリー構造になるなめには、各記号は高
々１個の直接上位記号を持つ必要がある。また、直接上
位記号を持たない記号がただ１つ存在する必要がある。

この記号を最上位記号と呼ぶ。

符号化手段２は、前記直接関係表１の内容をデータ線１
２を介して読み込み、前述の作用の項で示した手順に従
って各記号の符号化を行ない、記号コード対応表３を作
成する。ここで第３図を用いて符号化の動作の説明を行
なう。まず第１に最上位記号Ａにコード゛１゛′を与え
る。次に記号Ａの直接の下位記号Ｂにはコード“１０′
′を、記号Ｃにはコード’１１０’”を、記号りにはコ
ード”　１１１０″を与える。また、この時各コードの
ビット数を記録しておく。以下同様にしてすべての記号
に対してコードとビット数を与える。

１１１ｆｔ序付は手段４は、データ線０４を介して読み
込まれた記号リストＡ、旧に含まれる記号のコードをデ
ータ線３４を介して記号コード対応表３から得た上で、
各記号リスト毎にコードの昇順に記号をソー１−　Ｌ、
ソートされた記号と対応コードのリス１−をデータ線４
５を介して記号リスＩ−記憶手段５に送出する。記号リ
スト／Ａ＝　（Ｅ、Ｈ，、Ｊ　）、＋Ｂ＝　（Ｆ、Ｇ、
Ｋ）が入力されたとき、記号リスト記憶手段５には第４
図に示すデータが蓄えられる。

一致ビット数記憶手段７はまず記号リスト記憶手段らか
らデータ線５７を介して記号リストを読み込む。その後
、各記号リストで隣接する記号のコード対を順番にデー
タ線７６を介して一致ビット数演算手段６に送り、デー
タ線６７を介して演算された結果である一致ビット数を
受は取る。各記号リストですべての隣接記号対について
この動作を行ない、その結果得られた一致ビット数を蓄
えておく。

一致ビット数演算手段６は、データ線７６を介して一対
のコードを受は取りそれらのコードが左端から何ピッ１
−目まで一致しているかを調べてそのビ・１１へ数をデ
ータ線６７を介して送出する。関係直接認定手段９に対
しても同様に、データ線９６を介してコード対を受は取
り、データ線６９を介して一致ビット数を送出する。

記号選択手段８では、データ線５８を介して２′）の記
号リスト／Ａ＝　（ａｌ　、ａ２　、・・・、ａｍ）。

ｌＢ＝　（ｂ、、ｂ２．−、ｂ、）を受は取り、データ
線８１０を介して関係間接認定手段１０にへの１要素と
ＩＢの１要素をペアにして送る。最初は（ａＩ　、ｂｊ
　）を送り、以後データ線８１０あるいはデータ線９８
を介して送られる信号に従って（ａＩ、ｂｚ）、（ａｌ
、ｂ３）、−・・、（ａｔ。

ｂｎ　）　　（ａ２．１７’＋　＞、　＋＋＋、　　（
ａｍ　、ｂｎ　）の順序で記号対を送出する。（ａ、、
ｂ、）を送出した後、更に送出を要求された場合にはデ
ータ線８１１を介して関係認定結果記憶手段１１に処理
終了信号を送り、処理結果をデータ線１１０を介して送
出させる。

関係間接認定手段１０は、データ線８１０を介して受は
取った記号対（ａＩ、ｂ、＋）に対して次にょうな９！
Ｌ埋を行う。

（ｉ）　　（ａｔ　、　ｂｊ　）のときデータ線１０９
を介して（ａｔ　、ｂｊ　＞を関係直接認定手段９に送
る。

（ｉｉ）（ａｔ　、　ｂｊ）［ｉ＃１）のときｃｄ　（
ａＩ−＋　、ｂｊ　＞の値と一致ビ・ソト数記憶手段７
から得たｃ　ｄ　（ａｉ−１、ａｌ　）の値を比較して
５等しければ（ａｔ　、ｂｊ　）をデータ線１０９を介
して関係直接認定手段９に送出する。また、等しくなけ
れば、ｃｄ　（ａＩ−＋　、ｂｊ　）とｃｄ　（ａｔ−
＋　、　ａｔ　）のうち小さい方をａｌとす。

の一致ビット数０１として記憶しておく。

（ｉｉｉ＞　　（ａｔ　、　ｔｚ　）　　［ｊ≠１〕の
ときｃｄ　（ａＩ　、ｂＪ−＋　）の値と、一致ビット
故記憶手段７かち得たｃｄ　（ｂｒ−ｘ　、　ｂ、＋　
）の値を比較して、等しければ（ａＩ、ｔ）、）を関係
直接認定手段９に送出する。また、ｃｄ　（ａＩ　、ｂ
Ｊｇ　）＜ｃｃｌ　（ｂ、＋−＋　、ｂｊ）ならばデー
タ線８１０を介して次の記号対の送出を要求する信号を
記号選Ｕく手段８に送る６更に、Ｃｄ　（ａＩ　、　ｔ
）、＋−＋　）　＞ｃｄ　（ｂ、＋−＋　、ｂ、＋　）
ならば記号対（３，１＋１　、　））１）の送出を要求
する信号を記号選択手段８に送る。

関係直接認定手段≦）は、データ線１０９を介して受は
収った記号対（ａＩ、ｂ、＋）に対して次のような処理
を行なう。

データ線９６を介して一致ビッＩ・数演算手段６にａｌ
、ｂｊのコード対を送出し、データ線６つを介して一致
ヒット数ｃｄ　（ａＩ　、ｂＪ）を得る。ａ、のピッ１
〜数ｄ（ａＩ）とｃｄ　（ａ、。

１）、〉を比較し、等しければａＩをデータ線９１１を
介して関係認定結果記憶手段１】に送出する。等しくな
ければデータ線９８を介して記号選択手段８に次のコー
ド対の送出を要求する信号を送る。

関係認定結果記憶手段１１は、データ線９１１を介して
受は取−）な記号を蓄える。これらの記号は、記号リス
１へ１ｒ（−（ｂ、、・・・、ｂｎ）のいずれかの下位
記号であることを認定された記号である。記号選択手段
８からデータ線８１１を介して処理終了信号を受は取る
とデータ線１１０を介して記号リスト／Ａの要素をうち
、記号リス）ＩＢの要素との上位下位関係を認定された
記号が出力される。

〔発明の効果〕

以上述べたように本発明は、記号間の推移的関係が定義
され且つその関係を図示したときツリー構造で表わされ
る記号の集合に含まれる各記号をあらかじめ符号化して
蓄積しておくことにより、記号間の関係を高速に認定す
ることが可能になり、更に、複数の記号を要素とする２
つのリスト間で各構成要素間の関係をまとめて算出する
場合には、あらかじめ各リスト内の隣接要素間の一致ビ
ッ１〜数を調べておくことにより、処理の高速化が可能
になり、処理効率が向−ヒする効果がある７

【図面の簡単な説明】

第１図は本発明の関係認定装置の一実施例を示すブロッ
ク図、第２図は第１図における直接関係表の一例を示す
図、第３図は第２図の直接関係表の一例に基づいて第１
図における符号化手段により作成される記号コード対応
表を示す図、第４図。 第５図はそれぞれ第１図における記号リスト記憶手段、
一致ビッｌ〜数記憶手段に蓄えられるデータの一例を示
す図である。 １・・・直接関係表、２・・・符号化手段、３・・・記
号コード対応表、４・・・順序付は手段、５・・・記号
リス１へ記憶手段、６・・・一致ビット数演算手段、７
・・・一致ビッ１〜数記憶手段、８・・・記憶選択手段
、９・・・関係直接認定手段、１０・・・関係間接認定
手段、１１・・・関係認定結果記憶手段。 多　１ｍ 第　３　図 ＆ｔ＝Ｅ （ｆｆ％７＝ｌ−／ ａ３＝Ｊ 員＝ｆ ｂ、＝ｅ ｂ３＝に 糸 ｄａ１２　＝　　Ｃｄ ｄａ＝ｃｔ１ ｄｌｙｔ２＝　Ｃｏ／ ｄｂ２３　　＝　　ｃｄ 図 ＝　　（プ０ｏＩＯ） ＝　　Ｃｆ０ｆｆＱ”） ＝Ｃ／Ｉθθ） ＝（／θρ１１０） ＝　　（ｆＯｊＯ） ＝　　（／／θ１０） 、！；　　肥 （ａｙ　ｒ　ａｚ　’）＝　２ （ａｚ、ａ３）＝７ （ｂｌ、ｂｌ）＝２ （ｂｚｚｂ３）＝　　／

Claims (1)

【特許請求の範囲】
1. 相互の上位下位関係が推移的に規定され、且つそれぞれ
   の記号の直接の上位記号が高々一つである記号の集合に
   含まれる一対の記号の集合が有って、該集合の２つの部
   分集合の関係を認定する関係認定装置であって、前記集
   合内で直接に関係を持つ記号対を記述した直接関係表と
   、前記直接関係表を入力として各記号に固有のコードを
   与える符号化手段と、前記符号化手段により得られたコ
   ードと記号の対応関係を表わす記号コード対応表と、前
   記部分集合を入力として該部分集合に含まれる各記号の
   コードをキーにしてソートして得らてた記号リストを出
   力する順序付け手段と、前記リスト内で隣接する記号の
   一致ビット数を演算する一致ビット数演算手段と、一致
   ビット数を格納しておく一致ビット数記憶手段と、前記
   ２つの部分集合に含まれる記号をそれぞれ１つずつ選択
   する記号選択手段と、選択された一対の記号のそれぞれ
   のビット数と一致ビット数とを入力として関係の認定結
   果を出力する関係直接認定手段と、関係が認定された記
   号対を格納する関係認定結果記憶手段と、前記記号選択
   手段によって選択された一対の記号間の一致ビット数と
   次に選択される記号と同一部分集合内の現在選択されて
   いる記号との間の一致ビット数とから次の組み合わせの
   関係を判定する関係間接認定手段とを含んで構成される
   ことを特徴とする関係認定装置。