JPH0584538B2

JPH0584538B2 -

Info

Publication number: JPH0584538B2
Application number: JP60060678A
Authority: JP
Inventors: Hiromichi Fujisawa; Junichi Tono; Atsushi Hatakeyama
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1985-03-27
Filing date: 1985-03-27
Publication date: 1993-12-02
Also published as: DE3650736D1; EP0638870A1; EP0196064A3; DE3650417D1; EP0638870B1; DE3650417T2; EP0196064A2; DE3650736T2; EP0196064B1; JPS61220027A; US4868733A

Description

【発明の詳細な説明】〔発明の利用分野〕本発明は文書や図面、あるいは写真といつた情
報を一般ユーザが分りやすく記憶・検索・表示で
きるような文書フアイリングシステム及び情報記
憶検索システムに関する。

〔発明の背景〕

従来は大量な情報の記憶と検索を可能とするデ
ータベースの管理や検索の処理は専門家に委ねら
れており、エンドユーザはその専門家を介在して
情報の入手などを行つていた。しかし、近年光デ
イスク記憶装置などの小形の大容量記憶装置が実
現されるに及んで、エンドユーザが直接操作する
オフイスを対象とした文書フアイリング装置が実
現されている。また、ワードプロセツサの普及も
進んでおり、大量の文書が電子的な装置の中に格
納されることになつた。

しかしながら、従来の計算機技術ではこれらの
文書などの物件を、それぞれに付した固有名称
や、標題、著者名といつた書誌的事項を表形式で
表わして管理したり、または更にキーワードや分
類コードを付与して検索しやすくしているが、下
記のような問題点がある。

まず、計算機のフアイルシステムではほとんど
の場合、固有名称（20文字程度）でフアイルを管
理しているが、思い出しやすいように名称を付す
ことが難しく、更にその文字列から中身を想像し
ながら欲しいフアイルを探し出すことは、作成し
た本人でも極めて難しい。

書誌的事項は客観的事者であるため登録する場
合には難しさはないが、これを検索手段に用いる
状況は少ない。引用書類・参考文献として明確に
分つている場合などに限られる。

文書などを引出す多くの場合は、あいまいにし
か憶えていない標題や、その文書の内容が手掛り
となる。このために、キーワードや分類コードが
用いられるが、まず文書を登録するときにこれら
を付与することが難しい。すなわち、何をキーワ
ードとすれば後で適切に選び出せかるかは難しい
問題である。たとえば色々な角度から検索可能と
するための沢山のキーワードを付与すると、検索
時に不要なものが多く出て来てしまう。少なけれ
ば正しく選び出されるかどうか分らなくなる。従
来、文献データベースなどでは専門家がキーワー
ドや分類コードを抽出し、付与している。

更に、検索するときに、キーワードを想起する
ことも難しい。例えば、文献検索などの場合、キ
ーワードからなる検索式を作るに際して、総目録
から欲しいものと似ている文献を探し出し、それ
についているキーワードを捨い上げて、参考にす
るという手順を踏むことも稀ではないことからも
想定することの難しさが分る。

更にまた、分類による文書フアイリングも、分
類木（階層木）のあいまい性や、細分化していつ
た場合の分類木の交錯（一つの文書が多重に分類
される）が発生するという問題がある。また、分
類の規準は時間と共に変つて行き、数年経つと全
く役に立たなくなることが多いことも問題であ
る。

以上のように、従来技術による文書などのフア
イリング方式では、特にエンドユーザにとつて管
理と検索をやりやすくすることが極めて重要な課
題となつている。

これらの課題に対しては文献〔ジエ．エフ．ソ
ワ：“コンセプチユアルグラフズフオーア
デタベースインターフエース”アイビーエ
ムジエ．リサーチアンドデベロプメント、
ボル．20、1976ピピ336〜358（J.F.Sowa：
“Conceptual graphs for ａ Data Base
Interface、”IBM J.Research and
Development、Vol.20、1976、pp.336−357）〕
に、検索を自然言語で行う場合の検索条件の図式
化方法と形式的検索条件式の導出方法が提案され
ている。また、文献〔エフ．エヌ．トウ．エト
オル、“ラビツト：アンエンチリジエントデ
ータベースアシスタント”、プロシーデングス
オブナシヨナルエンフエレンスオブエ
エエアイ、1982、ピピ：314−318（F.N.Tou、et
al.“RABBIT：An Intelligent Database
Assistant、”Proceedings of National
Conference of AAAI、1982、pp.314−318）〕で
は、データベースの中身に関する知識を計算機か
ら提示することにより、検索条件式を作る支援を
行う方法が提案されている。これらの方法は、デ
ータベースの検索の支援にのみ注目したものであ
り、データの入力、更新といつた情報の格納に対
する支援は含まれていない。

エンドユーザによる文書のフアイリングにおい
ては、新しい文書の登録や、フアイル体系の保守
（分類の適切さの見直しなど）なども検索しやす
くするためには重要であり、上記の提案方法では
不十分である。

さらに、検索し際しても次のような問題が残つ
ている。すなわち、情報を格納した時点では明確
になつていなかつた新しい概念（見方）によつ
て、古い情報を見直したり、その見方で検索する
ための手段が与えられていない。例えば、数年後
に新しい角度から分類し直したり、人とは違つた
観点で分類することが求められており、情報記憶
装置の使い易さを規定する重要な要素である。

〔発明の目的〕

本発明の目的は、以上のような問題点を解決
し、エンドユーザがあいまいで、かつ断片的な情
報から欲しい文書などを容易に検索することを可
能にすると同時に、文書などの登録を容易にする
ことにある。

〔発明の概要〕

かかる目的を達成するため本発明は機械におけ
る情報の記憶方式を人間の記憶特性や意味の捉え
方に合致したものとすることにより、エンドユー
ザにとつて分りやすく、かつ使い易い文書フアイ
リングシステム及び情報記憶検索システムを提供
するものである。

具体的には、新しい情報の登録の容易化、検索
条件入力の容易化、あいまい、かつ意味的な検索
の実現、および物の見方の多様性に適応した検索
の実現を可能とするものである。

これらの実現のために次の新しい機能を与え
た。

(1) 登録支援機能新しい文書などを登録するには、書誌的事項
（著者名、表題、出典、など）を入力する他、
主題や文書の性格などを入力する必要がある。
また、高度な意味的な検索を可能とするために
は、それらの情報について更に詳しい情報を追
加する必要ががある。

例えば、主題がコンピユータであるとする
と、それはどのようなコンピユータか、どんな
特徴を持つているか、どこの会社が開発した
か、その会社はどこにあるか、その場所はどの
国に属するのか、といつた情報が必要となる。
これらの情報が記憶されていれば、「Ａという
国にある会社で開発したコンピユータで、Ｂな
る特徴をもつたコンピユータに関する文書」を
推論機能を用いることにより検索することが可
能となる。

本発明では、記憶装置内に「コンピユータ」
や「会社」といつた概念に関する知識を記憶さ
せておき、新しい情報を追加する際に、どんな
属性データを入れるべきかをユーザに対話的に
提示し、短時間で入力できるようにするととも
に、誤つた情報が入らないようにする。

更に、既に似た情報を登録してあるときに
は、新たにすべての属性データを入力すること
なく、似た物の属性と異なる点のみを入力する
ような機能を与えることにより、入力の容易化
を計る。例えば、「中山太郎」という人間が既
に登録されていて、その兄弟の「中山次郎」を
登録する場合を考える。この場合、似ている概
念として「中山太郎」を選択すると、システム
はその属性リストを表示する。例えば、（（父は中山元雄）（母は中山花子）（生年月日は1960年５月４日）（性別は男）（趣味は音楽） (1) と表示する。ユーザは、これらの内、異なるも
ののみ、例えば（生年月日は1963年６月７日）、
（趣味はスポーツ）と入れるのみでよい。

(2) 検索条件入力支援機能エンドユーザが検索を行う場合、多くはぼん
やりしたイメージしか持つておらず、すべてを
適格に自然言語などで表現することは難しい。

本発明方式では対話的に、最も重要な概念か
ら始めて、検索のための情報を逐次追加して行
く。その際に、登録支援機能と同様に、記憶装
置内にフアイリング対象世界の知識を蓄えてお
き、それに基づいてユーザに、入力可能な属性
名と、そこに入り得る概念（事物のクラス）を
提示する。

例えば、ユーザが欲しい物は「論文」である
とすると、まずユーザは「論文」と入力する。
記憶装置は「論文」から、それは著名、表題、
主題といつた属性があることを知り、端末上
に、それらの属性名称と概念の組、例えば（著
者、人名）、（表題、テキスト）、（主題、概念）
を呈示する。ユーザはそれらを見て、自分が情
報として持つているものを選択して、データを
入力する。例えば「主題」を選択して「コンピ
ユータ」を入力する。この過程は回帰的に繰返
すことができる。例えば、主題が「コンピユー
タ」であるとすると、システムは（開発者、組
織、会社）、（走る言語、コンピユータ言語）、
（OS、OS）などを呈示し、ユーザは例えば、
（走る言語、LISP）と入力し、条件を付加する
ことが出来る。

このような支援機能により、例えば「LISPが走るコンピユータに関する論文で、
Ａ社の社員が書いた論文」 (2) といつた検索条件を設定することができる。後
に詳述するように、同検索条件を本発明方式で
は形式的に以下のような表現式で表わす。

（TECHNICAL−PAPER （SUBJECT−IS （COMPUTER（RUNS LISP）））（AUTHOR−IS （EMPLOYEE（WORKS−AT Ａ−
COMPANY）））） (3) これは日本語でも表現でき、次のように書
く。

（論文（主題は（コンピユータ（走る言語はLisp）））（著者は（社員（所属はＡ社）））） (3) なお、上記の記法はLisp言語におけるＳ式
（symbolic expression）〔文献：ピー．エツ
チ．ウインストン“リスプ”アデイシヨン−ヴ
エスレイパブリツシングカンパニー1981、
ピー18（P.H.Winston、“LISP、”Addison−
Wesley Publishing CO.、1981、p.18）〕の書
方に準拠する。

(3) 意味的あいまい検索機能ユーザがある物件を検索したいと思つたとき
に、普通は断片的な情報で、かつあいまいなも
のしか持つていない。一方、記憶装置（データ
ベースなど）には極めて具体的な名称で記憶さ
れている。したがつて、これらのギヤツプを解
消することが求められている。

この場合、大きく分類して、あいまい性には
次の５種類がある。

(i) 名称の不完全性事物又は概念の名称の一部分しか憶えてい
ない。

(ii) 同義語同一の事物を異なる単語で憶えていること
が多い。例えば、「人工知能、人工頭脳、
AI」などは同一概念を指している。

(iii) 数の不完全性数値を厳密に憶えていることは稀である。

「1980年代、85年ごろ、83年から87年の
間、1960年以前」などはその例である。

(iv) 概念の抽象化（その１）事物や概念は、その上位の概念で憶えて、
その具体的なものは忘れることが多い。ここ
で、上位の概念とは、分類（クラスタリン
グ）によることが多い。「会社名は忘れたが、
その組織は大学や研究所ではなく、とにかく
会社であつた」、あるいは「あれは電機メー
カであつた」はその例である。

この場合、その電機メーカを、例えば
“ABC株式会社”とすると、（ABC株式会社 IS−Ａ電気メーカ）（電気メーカ IS−Ａ企業）という関係式が成り立つ。図式的には、概念
「ABC株式会社」と概念「電気メーカ」が
「IS−Ａ」というリングで結ばれることにな
る。ここで、リンク「IS−Ａ」は上記二つの
概念の間に定義される関係（relationship）
で包摂関係という。

一般にすべての概念はIS−Ａリンクによつ
て階層的に分類されると考えられる。その階
層木を概念木と呼ぶことにする。

(v) 概念の抽象化（その２）前項の抽象化は概念の集合論的抽象化であ
るが、人間は概念の部分関係における上位の
部分で憶えていることも多い。例えば、「Ａ
氏の所属はどの工場か忘れたが、とにかく
ABC株式会社であつた」、あるいは「あれは
何市か忘れたが埼玉県であつた」ということ
がある。

普通、事物を格納するデータベースには
「Ａ氏はXYZ工場の所属である」とか、
「ABC株式会社は所沢市にある」とか記憶さ
れており、従来の情報検索の技術では上記例
のあいまいな情報からでは検索することが出
来ない。

この場合、（ABC株式会社 HAS−PART−OF XYZ工場）（埼玉県 HAS−PART−OF 所沢市）という関係が重要な役割を果す。ここで注意
すべきことは、（所沢市 IS−Ａ埼玉県）ではなく（所沢市 IS−PART−OF 埼玉県）であり、概念的な包摂関係（上下関係）と明
確に区別して把握することである。関係「IS
−PART−OF」は関係「HAS−PART−
OF」の裏返しの関係である。

厳密には、方向性をもつた関係（IS−
PART−OFやHAS−PART−OF）は
relationと呼び、それらをまとめて方向性を
なくした関係（そのリンクとしての存在）を
relationshipと呼ぶことにする。上記例では
IS−PART−OFとHAS−PART−OFは
「部分全体関係」（Part−whole
relationship）と呼ばれている。

人間の記憶に関する特性には、上記５種類
のあいまい性の他に、概念間の関係の方が概
念自体よりも記憶に残りやすい、という特性
がある。たとえば、「ある記事の主題はオペ
レーテイングシステムであつたが、それは米
国の研究所で開発された」という断片情報か
らの検索では、「開発された」という事実が
重要であり、それは同オペレーテイングシス
テムと同研究所という二つの概念の間に定義
される「関係」である。具体的には、（UXオペレーテイングシステム IS−DEVELOPED−BY Ｂ研究所）という関係式で表わされ、IS−
DEVELOPED−BYはrelationである。意味
的なあいまい検索では、この「関係」が重要
である。

以上述べた人間の記憶上の特性の内、名称の不
完全性と数の不完全性については従来の情報検索
においても勘案されている。例えば、部分文字ス
トリングのマツチング機能や、数値範囲指定など
が知られている。

本発明の特徴とする意味的あいまい検索機能は
上記分類の内、特に抽象化概念（その１、および
その２）の扱いにおいて新規性がある。すなわ
ち、前記した検索条件入力支援機能を用いること
により、次のような意味的あいまい検索が可能で
ある。

検索条件：「埼玉県にある会社が開発したコンピ
ユータで、ある研究所が開発したオペレーテイ
ングシステムが走るものに関する記事」 ……(4) ここでは、条件文に現われている具体的な概念
は「埼玉県」のみであり、その他にキーワードに
なりそうな単語は抽象的な「コンピユータ」、「研
究所」、「オペレーテイングシステム」などであ
る。従来の情報検索方式、たとえばキーワード検
索では十分な検索情報を得ることが出来ない。

条件文(4)には埼玉県と会社、会社とコンピユー
タ、オペレーテイングシステムとコンピユータな
どのそれぞれの間の関係をも検索情報として扱つ
ている意味で「意味的な検索」であり、また会
社、コンピユータ、オペレーテイングシステムな
どは一般名称（抽象的概念）であるという意味で
「あいまいな検索」を実現していることになる。
従来の検索方式では、キーワード間の関係を記述
していないため、例えば「埼玉県にある研究所が
導入したコンピユータで、ある会社が開発したオ
ペレーテイングシステムが走るものに関する記
事」も同時に含まれてしまい、その意味で「意味
的でない検索方式」である。

〔発明の実施例〕

以下、本発明を実施例にもとづいて説明する。

第１図は本発明の一実施例である文書フアイリ
ングシステムの構成図である。装置全体の構成と
動作の概要を説明する。

まず、装置は制御装置（CPU）１００、主メ
モリ３００、磁気デイスク装置群４００、操作端
末２００（CRT２１０、キーボード２２０、マ
ウス２３０）からなるデータ処理部と、画像スキ
ヤナ７００、画像プリンタ７５０、光デイスク装
置４５０、画像バツフアメモリ３５０、高速画像
処理回路（IP）６００、および高精細画像表示
装置５００からなる画像情報処理部とから成る。
また、これらはバスアダプタ８０５を経由して接
続されている。

主な動作は、画像情報の文書などからの登録、
欲しい情報の検索表示・出力、およびフアイリン
グ対象となる分野に関する知識の入力・編集であ
る。文書画像の登録では、スキヤナ７００から文
書画像をメモリ３５０に読み込み、IP６００に
より圧縮符号化した上で光デイスク４５０に格納
する。そのとき、メモリ上の画像をCRT５００
上に表示し、正しく読み取られたか否かをチエツ
クするとともに、同文書の書誌的事項（表題、著
者、出典など）と分野知識における位置付けなど
を端末２５０から入力する。書誌的事項、該文書
画像の光デイスク上での物理アドレス（パツクア
ドレス、トラツクアドレス、セクタアドレス）お
よ画像の属性（大きさ、走査密度、符号化方式な
ど）の情報はフアイル４２０に格納する。また、
同文書の分野知識での位置付けなどの情報はフア
イル４３０に格納する。

検索・表示では、後述する検索のための対話に
より欲しい文書を端末２５０上で固定することに
より、画像表示用CRT５００に表示する。ハー
ドコピーが欲しい場合はプリンタ７５０から出力
する。固定された文書の所在情報（光デイスクの
物理アドレスなど）はフアイル４２０内から読み
出され、光デイスクの読出し制御コマンドとし
て、バスアダプタ８０５経由で光デイスク制御回
路４５５へ送られる。読出された画像データは一
担メモリ３５０に貯えられ、表示されるページの
画像がIP６００により逐次復号化される。

マウス２３０はCRT２１０およびCRT５００
双方に対して位置指定することが可能であり、画
像のCRT５００上での表示位置を該マウスで指
定できる。この機能を用いて、複数のページの文
書をCRT５００上の任意の位置に重ねて表示す
ることもできる。多数のページを同一画面に表示
するために、１ページ分の文書画像をIPで縮小
して表示することもできる。CRT上の画面の管
理はCPU１００で行う。

分野知識の入力・編集は、必要に応じて文書を
CRT５００に表示しながら、端末２００上で行
う。分野知識とは、登録する、または登録してあ
る文書に記述されている世界に関する概念および
概念間の関係として記述される事実の集合であ
る。更に、概念や関係を表現する自然言語に関す
る知識も含まれる。当然、上記世界には文書自身
も概念の一つとして含まれる。これらの知識はフ
アイル４３０に格納される。

以上述べた３つの主な機能はモードレスで、い
つでも任意に呼び出すことが出来る。例えば、分
野知識の追加編集を行つている際中に、必要な情
報を検索機能を用いてCRT５００上に呼び出し
たり、あるいは文書画像の登録を行つている際中
に、同文書内容に関する知識を追加したりするこ
とが出来る。

次に、分野知識データ表現形式の説明をする。
知識は事物を含めた概念と、それらの間の関係と
いう二つの種類の要素で表現する。第２図は概念
的に意味ネツトワーク（Semantic Network）
の形に表現した図式である。楕円で表わすノード
（節）は概念を表わし、中に書かれている単語は
同概念を表わす代表単語である。概念名称とい
う。楕円と楕円を結ぶリンク（実線または破線で
表わす矢印）は概念と概念の間の「関係」を表現
する。たとえば、スーパーコンピユータ１０１２
はコンピユータ１０１１の「一種である」という
ことが、IS−Ａというリンクによつて表わされて
いる。ここでUNIVERSAL１０１０は特別な概
念で、すべてを包摂するものとして定義する。従
つて、すべての概念はUNIVERSALを根（root）
とした概念木（concept tree）を構成し、分類階
層（taxonomic hierarchy）を表わしている。IS
−Ａは「関係」の一種ではあるが、概念の属性を
下位概念へ継承させる導筋になつており、その意
味で他の「関係」と分けて考える。したがつて、
第２図においても矢印を実線と破線に別けて記し
ている。

たとえば、「コンピユータはソウトウエアを走
らせる」という一般的な属性がある。同時にそれ
は裏返えせば「ソフトウエアはコンピユータ上で
走る」という属性である。ここでは、これらを
「一般関係」（generic relationship）と呼ぶこと
にする。形式的には（コンピユータ RUNS ソフトウエア）（ソフトウエア RUNS−ON コンピユー
タ） (5) と表わされる。これら一般関係は次のように下位
の概念に継承される。すなわち、「スーパーコン
ピユータはソフトウエアを走らせる」、「Ｘ−800
はソフトウエアを走らせる」、あるいは「オペレ
ーテイングシステムはコンピユータ上で走る」、
「UXはコンピユータ上で走る」と言うことがで
きる。これらの関係は一般関係(5)から導き出され
るものであり、知識ベースには直接記述しない。

第２図において、概念「Ｘ−800」と「UX」
を結ぶ関係１００５は、上記一般関係と異なり、
これら２つの概念間に定義される固有の関係であ
り、「具体関係」（instance relationまたは単に
relation）と言う。但し、具体関係１００５は一
般関係１００４の具体化したものである。

このようにして、ある記事「ART＃018」１０
１８の主題がスーパーコンピユータＸ−800であ
り、同スーパーコンピユータではオペレーテイン
グシステムUXが走るという事実が、第２図に示
す図式で表わされることになる。また、すべての
概念はIS−Ａリンクという縦糸で、また一般的関
係および具体関係という横糸で結ばれ、全体とし
て概念ネツトワークを構成している。

ここで注目すべきことは、概念に付随する属性
をその概念の側からのみ見るのではなく、属性に
現われる概念からの見方も対等に与えている点で
ある。これは、「属性」という見方を改めて、２
つの概念間に定義される「関係」という見方を採
ることによつて、しかもその関係は両側面から見
ることが出来るようにすることによつて成されて
いる。これにより、例えば記事ART＃018とその
主題Ｘ−800を登録すると、同時に「Ｘ−800は記
事ART＃018に載つている」ということが登録さ
れることになる。

以上の知識表現をより形式的に第３図のように
表現することができる。システムは、概念Ｃ、包
摂関係Ｓ、一般関係Ｒ、具体関係ｒという４種類
のデータの形式でこれらを記憶し、管理する。

Ｃ(i)はｉ番目の概念、Ｓ（ｋ、ｉ）Ｃ(k)がＣ(i)
の一種であることを、Ｒ(m)はｍ番目の一般関係、
またｒ（ｍ、ｋ、ｌ）はＲ(m)の具体化した関係、
すなわち具体関係であり、Ｃ(k)とＣ(l)との間に定
義されたものであることを表わす。

更に具体的には、これら４種のデータは表形式
で表わされ、実体関係モデル（Entity Relation
Model；ERモデル）の図式で表わすと第４図の
如く表現できる。ここで、概念Ｃと一般関係Ｒと
は実体として捉え、包摂関係Ｓと具体関係ｒをこ
れら実体を結ぶ関係として捉えている。一般関係
Ｒは具体関係ｒのクラスを定義するものであり、
ここでは実体として考える。これらの具体的な表
形式を第５図〜第８図に示す。表の内容は第２図
を表わす。

第５図は概念を表わす言葉を定義する表
（table）であり、基本的には概念固有番号Ｃ
＃と、それを表わす言葉（単語；又は表記）
CNAME、および同表記CNAMEが基本表記
（Primary）であるか二次的表記（Secondary）
であるかを表わすカラムとからなつている。例え
ば、概念＃58は「コンピユータ」であり、表記と
しては「計算機」も与えている。

第６図は包摂関係Ｓを表わし、概念固有番号Ｃ
＃と、該概念の上位の概念（Superclass）の固有
番号Ｓ＃のカラムから成つている。特殊な場合と
して「UNIVERSAL」の上位概念は
「UNIVERSAL」として定義されている。

第７図は一般関係Ｒを定義する表である。一般
関係固有信号RS＃、同関係の名称RSNAME、
同関係を左から右へ読んだときの読みLR、およ
び右から左へ読んだときの読みRLとからなる。
但し、ここで「左から右へ」とは、同関係が結ぶ
２つの概念を左右に並べる基本形に対してであ
り、その基本形は第８図で説明する具体関係ｒの
表で定義する。表Ｒでは、例えば16番の一般関係
として「SUBJECT」という関係があり、 IS−SUBJECT−OF 又は SUBJECT−IS という具体関係てして用いられることを表わして
いる。

ここで特記すべきことは、同じ読みの関係が区
別して異なるものとして定義されていることであ
る。例えば、第７図で２つのHAS−PART−OF
があるが、これらは関係PART−WHOLE1と
PART−WHOLE2という異なる関係に対するも
のである。この意味は、「部分全体関係」（part−
whole relationship）でも異なる概念に対するも
のは区別して扱うことにある。例えば、PART
−WHOLE1は「組織」に対する関係で（ABC株式会社 HAS−PART−OF XYZ工場 (6) という場合に適用し、PART−WHOLE2は「地
域」に適用し、（埼玉県HAS−PART−OF 所沢市） (7) という関係を表わすのに用いる。

第８図は概念間に定義される関係ｒを表わす表
である。同表には一般関係と具体関係の双方が登
録される。カラムＧ／Ｉはそれらを区別するため
のもので、Ｇは一般関係、Ｉは具体関係であるこ
とを示す。

表ｒにおいて、各レコードは関係固有番号Ｒ
＃関係の種類を示す一般関係固有番号RS＃、基
本形において左側に位置する概念の固有番号CL、
同じく右側に位置する概念の固有番号CRなる要
素をもつ。

たとえば、関係＃４は概念＃58（「コンピユー
タ」）と概念＃64（「ソフトウエア」）とに定義され
る一般関係（Ｇ／Ｉ＝Ｇ）であり、一般的関係
＃７で定義される意味をもつ。より具体的には、（コンピユータRUNSソフトウエア）（ソフトウエアRUNS−ON コンピユータ）
(8) という表面的には２つの関係を、表ｒにおいては
１つのレコードが表わしている。同様に、関係
＃724は一般関係＃７の具体化したものであり、
概念＃1512と＃1051とを結んでいる。すなわち、
表Ｃから分るように（Ｘ−800 RUNS UX）（UX RUNS−ON Ｘ−800） (9) という関係を表わす。

以上説明した４つのデータ（表Ｃ、Ｓ、Ｒ、
ｒ）が知識ベースとしてフアイル４３０に格納さ
れる。

次に、文書画像を定義する表Ｄについて第９図
で説明する。表Ｄは文書固有番号Ｄ＃、概念固有
番号Ｃ＃、文書サイズSIZE、圧縮符号化方式
CODE、画像走査密度DENS、光デイスク上の物
理アドレスPHYSA、および記録セクタ数LENG
なるカラムを持つている。第９図で示すレコード
は、文書＃98は、概念＃313（記事ART＃018；第
５図参照）に関するもので、A4サイズであり、
16本／mmの走査密度でスキヤンされ、MH符号で
圧縮されて、光デイスクの400207番地以降13セク
タに格納されていることを示す。

これから分るように、すべての概念に対して文
書画像を付加することが可能であり、これにより
必ずしも“文書”ではなくても、例えば「コンピ
ユータ」にその説明を画像で付随させることがで
きる。また同時に、一つの概念に複数の異なる文
書を付随させることも可能である。

表Ｄは第１図におけるフアイル４２０に格納
し、管理する。

以上、本発明実施例の装置構成と、データ表現
形式の説明を行つたので、以下にソフトウエア構
成と処理方式とを提示する。第１０図にソフトウ
エア構成図を示す。ここで、該ソフトウエアは制
御装置１００（第１図）が処理するものであり、
プログラムはフアイル４１０に格納されている。

第１０図に示す如く、ソフトウエアは、対話制
御モジユール２００１、探索・概念マツチングモ
ジユール２００２、検索式生成モジユール２００
３、概念ネツトワークエデイタ２００４、ネツト
ワーク跋渉モジユール２００５、表操作モジユー
ル２００６、画像表示モジユール２０１０とから
成つている。

基本部分である表操作モジユールの機能から説
明する。表操作モジユールの目的は、先に説明し
た表形式のデータを高次レベルで操作したり、検
索したりする機能を提供することである。以下に
主な関数を説明する。なお、プログラムはLISP
言語で書かれており、以下Ｓ式を用いる。なお、
理解しやすくするため、変数と関数は小文字で、
定数は基本的には大文字で表記することにする。

まず、新しく表を作成する関数としてcreate−
tableがある。例えば第７図の表Ｒは次のように
同関数を呼ぶことにより、その枠組が新たに定義
される。

（create−table′R ’（RS＃ RSNAME LR RL）） (10) ここで、第１引数は表名称、第２引数はカラム
名称のリスト（集合）である。また、記号′（引
用符号）は、次の記号は変数ではなく定数である
ことを意味する。

次に、表にレコードを追加するにはinsert関数
がある。

（insert′R ′（RS＃ RSNAME LR RL） ′（（７ RUN RUNS RUNS−ON）（15 DEVELOPMENT HAS−DEVELOPED IS−DEVELOPED−
BY）（16 SUBJECT IS−SUBJECT−OF SUBJECT−IS））） (11) とすることにより、第７図の表Ｒの３レコードが
追加されることになる。

レコードの更新はupdate関数を用いる。例え
ば（update′R ′RSNAME ″THEME ′（eq（ｖ RS＃）16）） (12) とすることにより、表ＲにおいてカラムRS＃の
値が16であるレコードのカラムRSNAMEの値
を′THEMEにすることができる。レコードの削
除は次式の如く行う。

（delete′R′（eq（ｖ RS＃）16）） (3) 第２引数は(12)式と同様条件項であり、up
dateおよびdeleteとも、任意の命題関数を書くこ
とができる。

レコードの選択（すなわち検索）はselect関数
を用いる。

（select′（LR RL ′Ｒ ′（Smatch′＊SUBJ（ｖ RSNAME））） (4) 例(4)式では、部分文字列＊SUBJと表Ｒのカラ
ムRSNAMEとが部分的に一致するレコードを選
択し、結果として同レコードのカラムLRとLRの
値のリストを返す。ここでsmatchは部分文字列
マツチングを行う命題関数である。

以上、表操作モジユールの主な関数を説明し
た。次に、ネツトワーク跋渉機能と、主な機能の
実現方法について説明する。

概念ネツトワークは第２図で説明した如く、概
念ノードと「関係」というリンクとからなつてい
る。システムは、ユーザの興味の中心である概念
をカレントノード（current node）として記憶
している。ユーザは、以下説明する機能を用いな
がら、ネツトワーク中を歩き回る（跋渉する）こ
とができる。ここで歩き回るということは、カレ
ントノードを移動することに等しい。

ネツトワーク跋渉機能の主なものを説明する。
カレンノードを移動させる手段の第１番目に概念
名称またはその部分文字列を入れる方法がある。
ここで、もし部分文字列にマツチングする概念が
複数あつた場合には、メニユー表を表示して、ユ
ーザがその中の一つを選択することができる。そ
の結果へカレントノードは移される。第１１図は
部分文字列＊DATABASEにマツチングする概
念が表示されて、該メニユー表の７番目を選択し
た例を示す。ここで＊記号は以降の文字列が部分
文字列であることを示す。上記機能は、（select′（Ｃ＃ CNAME） ′Ｃ ′（smatch str（ｖ CNAME））） (15) とすることにより概念を選択し、別途メニユー選
択用の関数（select−one ａ−list）を呼ぶこと
により実現される。ここで、strは端末から読み
込んだ文字列である。

第２番目の跋渉手段は、概念木（階層木）をメ
ニユー選択により順次辿つていく方法である。第
１２図は最上位概念において直接下位の概念をメ
ニユーとしてｌコマンドで表示したものである。
以降、第１３図に示すように、番号を入力するこ
とにより階層木を下つて行くことができる。第１
３図の例では、「６、１、１、２」と入力するこ
とにより「組識（Organization）」という概念に
辿り付いている。この地点で、先の部分文字列を
入力すれば、カレントノードの下に含まれる概念
集合の中からのみ、同部分文字列にマツチングす
る概念が選ばれることになる。例えば、第１１図
で現われた11個の概念の内、11番目の
「RELATIONAL−DATABASE−SYSTEM−
INC」は会社名であり、これのみが選択されるこ
とになる。すなわち、これだけが「組識」という
概念に包摂されている。

ここで、ある概念Ｃが包摂する概念は次のよう
に得られる。まず、（Select′（Ｃ＃）′S′（eq（ｖＳ＃）ｃ））(16
) により該概念に直接包摂される（概念木で直下に
位置する）概念が選び出される。従つて、同機能
を回帰的に繰返して呼ぶことにより、概念ｃによ
り包摂されるすべての概念を選びだすことができ
る。

次に第３番目の跋渉手段は、概念木をグラフイ
カルに表示しながら行う方法である。第１４図は
「空間（space）」という概念に始まる、その下位
２層までの概念木である。第１０図における
CRT２１０上に表示される同概念木の任意のノ
ードをマウス２３０で指示することにより、指示
された概念にカレントノードを移動したり、指示
された概念から始まる更に下位の概念木を表示し
たりすることができる。ここでマウスで指定した
CRT上の位置情報は第１０図に示す対話制御部
２００１が受取る。該制御部はグラフイツク表示
を司どるので、CRTの各位置に何を表示してい
るかを記憶しており、位置情報を入力することに
より、同地点の最近点にどの概念を表示している
かが分る。従つて、制御部２００１はカーソル位
置情報を入力して、概念名称をネツトワーク跋渉
部２００５へ返す。

グラフイカルな跋渉機能は、第１４図に示す概
念の包摂関係のみでなく、部分全体関係（part−
whole relation）によつても行える。第１５図は
概念「地球（earth）」の部分を階層的に、別な意
味での概念木として表示したものである。上記例
と全く同様に、部分全体関係に沿つて、歩き回る
ことができる。部分関係は次のように抽出するこ
とができる。まず、（select′（RS＃） ′Ｒ ′（eq（ｖ LR）′HAS−PART−OF）） (17) は第７図表Ｒより部分全体関係を表わす一般的関
係番号RS＃の集合を返す。第７図の例では
（2223）を返す。これを変数ｘに一時記憶させる。

いま、部分を見い出したい概念をｃとすると、
ｃが持つ「部分」となる概念は、次式で得られ
る。

（select′（CR） ′ｒ ′（and（eq（ｖ CL）ｃ）（member（ｖ RS＃）ｘ））） (18) ここでｒは小文字であるが第８図の表の名称で
ある。

同様に、HAS−PART−OFが第７図表Ｒのカ
ラムPLにある場合についても、(17)式と(18)式にお
けるLRとRLを交換して実行することにより、概
念ｃの部分概念が得られる。

第４番目の跋渉手段は、概念のフレーム表現を
介在した連鎖的跋渉である。第１６図の例で説明
する。人名の部分文字列＊sowaを入力し、唯一
に「J.F.SOWA」が見つかり、カレントノードが
同概念に移動する。フレーム表示のためのfrコマ
ンドにより同概念のフレームが表示される（オペ
ラント＊はカレントノードのフレームを表示する
ことを意味する）。同フレームから「J.F.SOWA」
は「男（MAN）」であり、PAPER＃0012と
BOOK＃0007の著者である、ということなどが
分る。ここで、例えば、PAPER＃0012は何んで
あるか知りたいというときは、コマンド「fr2」
を投入することにより、表示されているフレーム
の第２行目の概念のフレームが表示される。この
例では、PAPER＃0012は「論文（TECH−
PAPRE）」であり、著者が「J.F.SOWA」、ペー
ジは336から357までで、「IBM−RES＆DEV−76
−20」に載つているなどということが分る。第１
６図の例では、同様な手続きでJ.F.SOWA→
PAPER＃0012→IBM−RES＆DEV−76−20→
IBM−CORPとカレントノードを移動させてい
る。

フレームの表示は以上のように行う。いま、概
念ｃのフレームを表示することにすると、（select′（RS＃CR） ′ｒ ′（eq（ｖ CL）ｃ）） (19) は、関係の基本形においてｃが左にある「関係」
とそのときの右側の概念のペア（組）の集合が得
られる。同様に、（select′（RS＃CL） ′ｒ ′（eq（ｃ CR）ｃ）） (20) は、ｃが右にある「関係」とそのときの左側の概
念のペアの集合が得られる。これらの値（集合）
をそれぞれ、ｘ、ｙとすると、（select′（LR） ′Ｒ ′（eq（ｖ RS＃）x_1i））（21）（select′（RL） ′Ｒ ′（eq（ｖ RS＃）y_1i））（22）はそれぞれ具体関係の名称を結果として返えす。
但し、x_i、y_iは集合ｘ、ｙのｉ番目の要素で、更
にx_1iはx_iの第１要素、y_1iはy_iの第１要素である。
この具体関係の名称はフレーム（第１６図）の第
１カラムに対応する。すなわち、フレームの各行
をスロツトと言うときのスロツト名である。フレ
ームの第２カラムはスロツト値（slot value）で
あり、各ペアx_i、y_iの第２要素x_2i、y_2iである。従
つて、スロツト名とスロツト値のペアを作り、表
形式に表示すれば、第１６図の如くなる。ここで
内部的には概念は概念固有番号で扱つているの
で、表示する際には表Ｃ（第５図）から概念名称
に変換してから表示する。

上記例では行番号（スロツト番号）を指定して
次のフレームへ飛んでいるが、マウスによつて直
接、飛んで行きたい概念をCRT上で指示するこ
とが出来るし、またフレームは次々重ねて表示す
ることも出来る。

次に、第１０図における概念ネツトワークエデ
イタ２００４を説明する。

概念ネツトワークエデイタは知識ベースの保守
を行うものであり、新しい概念・関係の定義、追
加、更新、削除を行うためのものである。

第１７図は新しい概念の追加の対話例である。
まず、manとタイプすることによりカレントノー
ドを概念MAN「男」に移し、新しい人間「スー
パーマン」を登録する。命令crcにより「MR.
SUPERMAN」をMANの下位に、すなわち、（MR.SUPERMAN IS−Ａ MAN）（23）として登録できる。次に、命令crrにより、新規
に登録した概念MR.SUPERMANの属性を、具
体的な関係という形式で定義、登録する。

システムは、一般関係という形式で「人間は物
を新しく考え出すものである」とか、「学位とい
うものを持つ」とか、「何か職をもつ」とかいう
「知識」を持つており、それらの知識を手掛りに
入力すべき項目をプロンプトとして表示する。第
１７図に示すごとく、 MR.SUPERMAN HAS−TITLE−OF
｛ACADEMIC−TITEL｝：という形で、MR.SUPERMANの学位の入力を
捉す。｛｝で示す概念ACADEMIC−TITEL
は、入力されるべき属性（ここでは一つの概念）
のクラスを示している。先に説明した概念ネツト
ワーク跋渉機能はこの時点で有効であり、この時
点ではカレントノードは概念ACADEMIC−
TITLEに移されている。したがつて、入力すべ
き属性を見い出すために任意の跋渉機能を用いる
ことができる。第１７図の例では、直接、概念名
称「pnd」を入力しているが、同概念を探し出す
ために、命令ｌによりACADEMIC−TITLEの
下位の概念をメニユーとして表示（第１３図参
照）することも出来るし、概念木を表示（第１４
図参照）して欲しい概念を探し出してもよい。し
かし、探索および跋渉はこの場合は概念
ACADEMIC−TITLEの下位の概念の範囲に限
定する。跋渉機能により入力したい属性を表わす
概念にカレントノードを移動した後に、「ok」と
入力することにより、次の属性の入力に移る。

以上のようにシステムが表示するプロンプトに
従つて入力すべき属性だけを選択しながら新規に
定義・登録することができる。

本発明方式での特徴の一つは、先に説明したご
とく、属性を具体関係という形で捉えることによ
つて、双方の概念を同等に扱つていることであ
り、第１７図の例でいうと、上記定義により（RED IS−GIVEN−TO MR.
SUPERMAN）（AAAI HAS−MEMBER−OF MR.
SUPERMAN）（JAPAN HAS−PEOPLE−OF MR.
SUPERMAN）（HITACHI−LTD HAS−EMPLOYEE−
OF MR.SUPERMAN）などの事実が同時に定義されることになる。

概念の新規登録は、内部的には以下のように実
現できる。いま、最大のＣ＃（第５図参照）を
Cmaxとすると、まず、（insert′C ′（Ｃ＃ CNAME Ｐ／Ｓ）（list（add1 Cmax） ′MR.SUPERMAN ′Ｐ））（24）により表Ｃに概念MR.SUPERMANを登録する。
ここで、要数add1は＋１をする関数である。

（insert′S ′（Ｃ＃Ｓ＃）（list（addl Cmax）（get−Ｃ＃′MAN）））（25）により表Ｓに、（23）式の事実が登録できる。こ
こで関数get−Ｃ＃は概念名称から同概念の固有
番号を得るための関数である。

具体関係の登録は、名関係（属性）に対して次
のように行える。

（insert′r ′（Ｒ＃ RS＃ CL CR Ｇ／Ｉ）（list（add1 ｒ＃max） rs （get−Ｃ＃′MR.SUPERMAN）（get−Ｃ＃′PHD） ′Ｉ））（26）但し、ここでrsは一般関係「ACADEMIC−
TITLE」の固有番号、ｒ＃maxは表ｒにおける
その時点での最大Ｒ＃であるとする。

概念ネツトワークエデイタの別の機能は、既に
登録してある事実や概念の変更・修正である。具
体的には、概念名称の修正、概念木における位置
の修正（分類の修正）、具体関係の修正、一般的
関係の修正などが行える。

第１８図は概念木の修正例を示す。概念
RSYCHOLOGYの位置をSOCIAL−SCIENCE
からNATURAL−SCIENCEの元へ移動する例
である。

（update′S ′Ｓ＃ ′（get−Ｃ＃′NATURAL−SCIENCE） ′（eq（ｖＣ＃）（get−Ｃ＃′PSYCHOLOGY）））（27）を実行することで上記例の移動が行われる。

概念ネツトワークエデイタでは、ネツトワーク
跋渉機能を随時用いることが可能なことを述べた
が、同様にネツトワークエデイタ機能自体を再帰
的に用いることができる。例えば、新規概念の定
義登録中に、別の概念を新規登録しておくことが
必要となることが往々にしてあるからである。第
１７図の例で、「学会」（ACADEMIC−
ASSOCIATION）の中にもし入力すべき
「AAAI」が未登録であつたとすると、同時点で
命令crcを入力して新規に概念AAAIを登録する
ことができる。更に必要であれば命令crrにより
AAAIの属性をその時点で登録してもよい。

あるいは、新規に概念を登録中に誤つた「事
実」などの登録が見つかることもあり、この場合
も、修正・変更を即時に実行できる機能をもつて
いる。これらの再帰性により、効率よく新規な知
識を追加登録することが可能となる。

次に、第１０図における検索式生成部２００３
および探索・概念マツチング部２００２を説明す
る。これらの部分は、断片的なあいまい情報から
意味的な内容検索を可能とする主要な部分であ
る。まず、機能を説明するために処理の流れを検
索例により説明する。

「カリフオルニア州にある会社が開発したコン
ピユータで、UNIX^*が走るものに関する記事」
（28）を検索することを考える^*（UNIXは、UNIXシ
ステムラボラトリーズ社が開発し、ライセンス
しているものである。）。

第１９図の示すごとく、まず、カレントノード
を概念ARTICLE（記事）に移し、命令ｑを入力
することにより検索式生成を開始する。システム
は、上位概念から継承されるものをも含めて、概
念ARTICLEに定義されている一般関係を求め、
フレーム形式で第１９図のごとく表示する。「記
事は出版物の一部である」、「記事は何頁にある」、
「記事はある記事から参照されている」などの一
般的知識から作られるフレームが表示されてい
る。ユーザは、この場合は、番号によりスロツト
を指定して、同スロツトに対して現在表示されて
いるよりも具体的な情報を追加することができ
る。第１９図の例では、記事の主題がコンピユー
タであることが情報として手元にあるので、第５
番目のスロツトを選択する。システムは入力すべ
き項目の上位概念、この場合はUNIVERSALへ
カレントノードを移す。ユーザはこの時点で任意
のネツトワーク跋渉機能を用いることができる
（第１０図参照）。第１９図の例では直接
「Computer」と入力し、カレントノードを概念
COMPNUTERに移している。しかし、もし入
力すべき概念名称が思い浮ばなければ、部分文字
列を入力したり、メニユー表示をしたりすること
により、選び出すことが可能である。本例では、
コンピユータに関する情報が更に存在するので、
「Compater」の後に更に命令ｑを続けて入力し
ている。

第２０図は次の対話画面である。概念
COMPUTERに関する一般関係のフレーム表現
が表示されている。先と同様に、追加すべき条件
のスロツト、この場合４番、を選択する。入力す
べき項目のクラスは「ORGANIZATION.
WORKPLACE」であることが表示される。ここ
でもメニユー選択（第１３図参照）などを用いる
ことが出来るが、本例では単に「ある会社」とい
う意味で、直接「Company」と入力している。
「Company」に対しても更に追加すべき情報があ
るので、続けて「ｑ」を入力して検索式生成過程
を続ける。

第２１図は概念COMPANYに対する一般関係
のフレーム表示である。第７番目のスロツトを選
択し、同会社がカリフオルニア州にある、という
条件を入力している。この場合は部分文字列
「Cal」を入力して「California」を選び出してい
る。概念SPACE.PLACE.LOCATIONの下位概
念は第１４図に示した。

条件入力の終了は「ok」と入力することによ
りシステムに伝えられる。第２２図は、
COMPANYに対する条件入力を終了して、再度
COMPUTERに対する条件入力を行う場面であ
る。今回は、第13番目のスロツトを選択し、「同
コンピユータはオペレーテイングシステムUNIX
のもとで走る」という情報を入力する。

以上の過程をすべて終了すると、（28）式の検
索条件は次式の形式的表現に置換えられることに
なる。

（ARTICLE （SUBJECT−IS （COMPUTER （RUNS−UNDER UNIX）（IS−DEVELOPED−AT （COMPANY （IS−LOCATED−IN
CALIFORNIA））））））（29）検索式の自動的な生成は、上記のように一般的
な関係として記述された一般的知識によつて導か
れて行われる。この一般的知識の多くは、上位の
概念から継承されたものである。例えば、第２１
図において、（COMPANY IS−Ａ ORGANIZATION.
WORKPLACE）であるが、同フレームのほとんどのスロツト（一
般関係）は上位概念ORGANIZATION.
WORKPLACEに対して定義されたものである。
COMPANYに固有なものは、同図の例では
（PRODUCES MACHINERY.DEVICE）のみで
ある。このように、一般的知識としての一般関係
は文字通り、より一般的に（より上位の概念で）
表現されればされる程、強力なものとなる。すな
わち、沢山の下位の概念に適用可能となる。

概念ｃの一般関係は次のように求めることがで
きる。いま、概念ｃの上位概念の集合をｘとす
る。（表ＳでIS−ＡリンクをUNIVERSALに突き
当るまでたどればよい。）（Select′（RS＃CR） ′ｒ ′（and（member（ｖ CL）ｘ）（eq（ｖＧ／Ｉ）′Ｇ）））（30）は、概念ｃに継承される一般関係の内、概念ｃが
左側に定義されているものを抽出する。（30）式
において、CR→CL、CL→CRと置換えれば、概
念ｃが右側に定義されている一般関係が得られ
る。（30）式から分るように、得られるものはRS
＃とCL又はCRのペア（組）である。RS＃から、
表Ｒを参照することにより、フレームのスロツト
名称を得ることができる。いま、（30）式の答え
を、（（y₁₁、y₂₁）…（y_i1、y_2i）…）という形式で
あるとすると、（select′（LR） ′Ｒ ′（eq（ｖ RS＃）y_1i））（31）から、ｉ番目のｙに対応するスロツト名称を得る
ことができる。（30）式のCRとCLを代えたもの
に対しては、（31）式においてもLRとRLと置換
えればよい（第７図参照）。

（31）式の答えを（（z₁）…（z_i）…）と書く
と、ペア（z_iy_2iはスロツト名称と概念固有番号か
ら成つている。

（select′（CNAME） ′Ｃ ′（and（eq（ｖＣ＃）y_2i）（eq（ｖＰ／Ｓ）′Ｐ）））（32）は概念名称C_iを返えすので、結局、ペア（Z_iC_i）
はスロツト名称とスロツト値を構成することにな
る。リスト（（Z₁C₁）（Z₂C₂）…（Z_iC_i）…）を表
形式で表示することにより、第２１図の如く一般
関係のフレームを得ることができる。

さて、自動生成された検索条件式（例えば
（29）式）に対して、探索命令を入力すると、カ
レントノードの終端概念（部分的概念木の「葉」
（leaf）に当る概念）の集合を対象として、概念
マツチングが行われる。すなわち、終端概念（最
も具体的な概念）のそれぞれが、検索条件式で表
現される「抽象的概念」と比較され、概念的に包
含される終端概念が検索結果となる。

第２３図は、（29）式の検索条件３０００に対
して探索を行つた場合を示しており、条件の合致
した記事の概念フレーム表示３００１と、本分の
イメージ３０５１の表示が可能である。同図で示
すように得られた記号ARTICLE＃0014の概念フ
レームは、表面的には検索条件式（29）式と全く
一致していないことである。これは、正に従来の
データベース等の情報検索方式で起る事柄であ
る。すなわち、データベースには最も具体的な情
報が記憶されいるため、検索条件が抽象的である
と、全く一致しないことになる。しかしながら、
本発明方式では、分野に関する知識を用いて、概
念フレームの具体的内容と、検索条件の抽象的表
現のギヤツプを推論により埋めている。

次に、上記ギヤツプを埋めるための抽象的概念
と具体的な概念との推論を用いてマツチング方法
を説明する。ここでは、この過程を概念マツチン
グ（concept matching）と呼ぶ。第２４図に、
（29）式で表わされる抽象的概念と概念
ARTICLE＃0014との概念マツチングの過程を示
す。

探索過程では終端概念ARTICLE＃0001〜
ARTICLE＃0040のそれぞれが（29）式の比較さ
れるが、ここではマツチングが成功する
ARTICLE＃0014についてのみ説明する。

まず、（ARTICLE）と（ARTICLE＃0014）
が比較される。フレーム３００１から（ARTICLE＃0014 IS−Ａ NEWS.
ARTICLE）更に（NEWS.ARTICLE IS−Ａ ARTICLE）であることが分り、（ARTICLE＃0014 IS−Ａ ARTICLE）なる結論が得られる。従つて、条件式を一段深く
して、（ARTICLE（SUBJECT−IS COMPUTER））
（33）が成立かるか否かを次に調べる。フレーム３００
１から、まず、（ARTICLE＃0014）（SUBJECT−IS HP−9000））であることが分る。したがつて、（HP−9000 IS−Ａ COMPUTER）であるか否かを調べればよい。リンク３００３を
辿ると、（HP−9000 IS−Ａ
SUPERMINICOMPUTER）更にリンク３０３２を辿ると（SUPERMINICOMPUTER IS−Ａ
COMPUTER）であることが、それぞれフレーム３００２，３０
０４から分り、（33）式が成立する。したがつて、
次に、（ARTICLE （SUBJECT−IS （COMPUTER（RUNS−UNDER UNIX）（IS−DEVELOPED−AT COMPANY））））（34）の成立を調べる。（COMPUTER RUNS−
UNDER UNIX）についてはフレーム３００２
から成立することが直接分る。（COMPUTER
IS−DEVELOPED−AT COMPANY）につい
ては、フレーム３００２には（HP−9000 IS−DEVELOPED−AT HP.HEWLETT−PACKARD−CO）と書いてあるので、更に調べに行くことが必要で
ある。リンク３０３３を辿ると、フレーム３００
４に（HP.HEWLETT−PACKARD−CO IS−Ａ
COMPANY）と書いているので成立する。従つて（34）式も成
立する。

更に検索条件式を１段深くして（29）式と比較
する。フレーム３００４は（HP.HEWLETT−PACKARD−CO IS−LOCATED−IN PALO−ALTO）
（35）と書かれているので、（COMPANY IS−LOCATED−IN
CALIFORNIA）（36）であるか否かを調べる必要がある。リンク３０３
４を辿ると、フレーム３００５に（PALO−ALTO IS−PART−OF
CALIFORNIA）（37）と記録されているので、（35）式とあわせて、（HP.HEWLETT−PACKARD−CO IS−LOCATED−IN CALIFORNIA）であることが推論される。結局、抽象的概念
（29）は具体的概念ARTICLE＃0014を包摂する
ことが分つた。

以上、具体例を用いて、概念マツチングを説明
したが、この過程は再帰的に表現すると、概念の
包摂関係の成否を調べる過程と、各スロツトが一
致するか否かを調べる過程とが交互に再帰的に呼
ばれる過程となつている。また、説明からも分る
ように、後戻り形推論（backward−chaining
inference）となつている。従つて、探索時間は
検索対象となる具体的物件の数に、基本的には比
例することになる。

概念マツチングではマツチングが成功した時に
具体的な概念を値として返えす。この値を抽象的
概念の中に埋め込むことにより、何故ある具体的
概念がマツチングしたかが、後から分る。本発明
方式では、命令whyを入力すると検索された概念
のマツチング理由が表示・出力される。（29）式
の例では、（ARTICLE＃0014 （SUBJECT−IS （HP−9000 （RUNS−UNDER UNIX）（IS−DEVELOPED−AT （HP.HEWLETT−PACKARD−CO （IS−LOCATED−IN PALO−
ALTO））））））（38）が得られる。従つて、抽象的に検索時に述べたコ
ンピユータとはHP−9000で、ある会社とはHP.
HEWLETT−PACKARD−COであることが分
ることになる。

さて、本発明の検索方式では、概念ネツトワー
クで表現された知識を、通常ユーザが見慣れた表
形式に変換して表示し、同表の上で検索する手段
をも提供している。第２５図に具体例を示す。カ
レントノードを抽象概念NEWS.ARTICLEに移
した後、命令tabを入力すると、システムは同概
念の下位の終端概念の概念フレームを内部的に生
成する。次に、同フレームに現われるスロツト名
称を表にして提示する。第２５図の場合は、６種
類のスロツトがあつたことになる。ユーザは、ど
のスロツトをカラムとした表にするかを選択する
ことができる。同例では６番目と５番目のスロツ
ト、すなわち、TITLE−ISとSUBJECT−ISを
選択し、合計３つのカラムからなる表が表示され
る。ユーザは例えばタイトルの文章から欲しいも
のを探し出すことが出来る。選択した結果をカレ
ントノードとして、本文イメージを表示する命令
を入力すれば、イメージ用CRT５００に本文イ
メージが表示される。

本発明による検索方式は、必ずしも文書フアイ
リングのみではなく、広く一般のデータや事実の
情報にも適用できる。また概念マツチングは、２
つの概念の包摂関係を自動的に検定する方式を与
えており単に、情報検索のみならず、特許のクレ
ームの包摂関係の審査のような情報分析技術とし
ても応用することが出来る。あるいは、大量な具
体的概念を集めて、同概念マツチングを応用する
ことにより、概念的なクラスタ分析も可能とな
る。

本発明の一拡張として、知識ベースに時間の概
念を導入することができる。一般に、事実などは
「真」である時間を指定する必要があることが多
い。例えば、（MR.SUPERMAN IS−
MEMBER−OF AAAI）という事実は入会した
時刻から、退会したとすればその時刻まで「真」
である。このような時間の概念は、具体関係を保
持する表ｒを拡張することにより実現できる。

更に別な拡張は、各事実の出所を記録する機能
である。例えば、誰がそう言つたか、どこにそれ
が書いてあつたか、という情報の出典を、表ｒを
拡張することにより記録し、情報の管理をするこ
とができる。更に、信頼度を付記することも考え
られる。

本発明はシステムの実現方法に依存しない。た
とえば、処理を高速化するために特殊なハードウ
エアを導入してもよい。また、知識ベースが大き
くなつた場合に実現上の変形たとえば、概念や関
係を記憶する表をクラスタに分割して記憶する方
法などが考え得るが、これらは本発明方式に含ま
れる。更に、日本語で概念等を表記した場合に
は、日本語特有の仮名漢字変換機能などが要求さ
れるが、これらの拡張がなされたものも本発明に
含まれる。

〔発明の効果〕

以上説明したごとく、本発明によれば、フアイ
ルまたはデータベースの具体的な構築方法を知ら
ずとも、断片的な情報から欲しい文書などの情報
を容易に引出すことが可能になる。更に、容易に
引出すことができるように格納することも極めて
容易になる。

具体的には、フアイリングする対象に関する分
野知識を、概念ネツトワークで表現して知識ベー
ス化することにより、新しい知識の追加・編集や
検索条件の対話的入力が容易に行えるようにな
る。知識は、一般関係と具体関係という形で表現
されるが、情報の入力に当つてシステムは、一般
関係を用いてユーザが次に何を入力すべきか、更
にそれはどのクラスの概念であるべきかを推定し
て、端末上に表示する機能を持つ。本機能は基本
的な原理の上に組立てられているので、概念ネツ
トワークで表現される知識ベースを追加ないしは
変更するのみで、新しい世界や、より木目の細か
い世界への適応が可能である。

また、知識ベースの追加・変更などのために、
概念ネツトワークエデイタがあり、４種類以上の
ネツトワーク跋渉機能を持つ知識ベースの状態
を、概念木やメニユー表、あるいはフレーム、更
には関係データベース形の表形式で表示する機能
を与え、これらの表現の上で次々異なる概念へ跋
渉することが可能である。これらの豊富なデータ
ビユーが可能なことは、新しく考案した概念関係
モデルを採つたことにある。特に、概念フレーム
を表示しながら異なる概念へ飛んでいく機能は、
人間の思考形態とマツチしており、本機能のみで
もかなり高度な概念探索を実行することができ
る。

更に、本発明によれば、分野知識を用いた推論
を行うことにより、あいまいな断片情報から意味
的な内容検索が可能である。従来の技術では役に
立たないような抽象的な情報からでも、「意味的」
に内容を捉えることにより、精度高く検索でき
る。また、検索条件は任意の項目で、かつ任意の
深さまで指定することができ、人間が思い出すこ
との出来たレベルに合せて、検索式を作ることが
できる。

【図面の簡単な説明】

第１図は本発明方式の一実施例のシステム構成
図である。第２図は概念ネツトワークを説明する
図、第３図は形式的表現による概念ネツトワー
ク、第４図はER図式によつて概念関係モデルの
データ表現図である。第５〜８図は、概念関係モ
デルによる知識表現の具体例を示す図である。第
９図は画像データ管理用の具体例を示す図であ
る。第１０図はソフト的な機能ブロツク図であ
る。第１１図は部分文字列マツチングの説明する
図、第１２図はメニユーを表示する図、第１３図
はメニユー選択を用いたネツトワーク跋渉の説明
図、第１４図は概念木表示を示す図、第１５図は
概念の部分全体関係にもとづく階層木を表示する
図、第１６図は概念フレームによるネツトワーク
跋渉の説明図である。第１７図は新しい概念の定
義・登録方法の説明図、第１８図は概念ネツトワ
ークエデイタの説明図、第１９〜２２図は対話的
な検索式生成方式の説明のための図である。第２
３図は意味的な内容検索の説明図、第２４図は概
念マツチングの説明のための図である。第２５図
は表形式で概念ネツトワークの状態を表示する機
能の説明図である。１００……制御装置、２００……操作端末、３
００……主メモリ、４０……磁気デイスク装置
群、４５０……光デイスク装置、５００……高精
細画像表示装置、６００……高速画像処理回路、
７００……画像スキヤナ、７５０……画像プリン
タ、２００１……対話制御部、２００２……探
索・概念マツチング部、２００３……検索式生成
部、２００４……概念ネツトワークエデイタ、２
００５……ネツトワーク跋渉部、２００６……表
操作部、２０１０……画像表示部。

Claims

【特許請求の範囲】１文書画像を入力する手段と、入力された文書
画像を記憶する手段と、記憶された文書画像を出
力する手段を備えた文書フアイリングシステムで
あつて、文書に関する情報を入力する手段と、上記文書に関する情報を知識ベースとして記憶
する手段と、上記文書画像と上記知識ベースに記憶された上
記文書に関する情報とを対応付ける手段と、表示手段を含み、操作者と対話し指示を与える
手段と、操作者が入力した断片的またはあいまいな情報
に基づき上記知識ベースを用いて所望の文書に関
する情報を検索する手段と、検索された文書に関する情報を表示する表示手
段とを備え、上記知識ベースは、上記文書に関する情報とし
て、事物を表す複数の概念と、それらの概念間を
結び付ける関係によつて記述された知識を記憶
し、上記概念間は概念同士の包摂関係によつて階
層化され、かつ、概念間は一般的な関係にて当該
概念間を定義した一般関係、または固有の関係に
て当該概念間を定義した具体関係によつて記述さ
れることを特徴とする文書フアイリングシステ
ム。２特許請求の範囲第１項において、上記知識ベ
ースは、少なくとも概念固有番号と概念名称を記
憶する第１の記憶手段を備えたことを特徴とする
文書フアイリングシステム。３特許請求の範囲第２項において、上記知識ベ
ースは、少なくとも概念の包摂関係のリストを記
憶する第２の記憶手段を備えたことを特徴とする
文書フアイリングシステム。４特許請求の範囲第３項において、上記知識ベ
ースは、少なくとも一般関係のリストを記憶する
第３の記憶手段を備えたことを特徴とする文書フ
アイリングシステム。５特許請求の範囲第４項において、上記知識ベ
ースは、少なくとも具体関係のリストを記憶する
第４の記憶手段を備えたことを特徴とする文書フ
アイリングシステム。６特許請求の範囲第１項において、上記知識ベ
ースは、最上位の概念を根とした概念木を形成し
て分類階層を構成し、その他の残りの概念は、直
接的または間接的に上記最上位の概念に包摂され
ており、上記一般関係は、第１の概念と第２の概
念間のリンク、上記第１の概念と上記第２の概念
に包摂される下位概念間のリンク、または上記第
２の概念と上記第１の概念に包摂される下位概念
間のリンクを定義し、上記具体関係は、上記第１
の概念に包摂される下位概念と上記第２の概念に
包摂される下位概念間のリンクを定義することを
特徴とする文書フアイリングシステム。７特許請求の範囲第６項において、上記表示手
段を含み、操作者と対話し指示を与える手段は、
新しい概念を操作者が入力するとき、上記新しい
概念の上位概念に対応する一般関係に基づいて生
成される概念フレームを表示することを特徴とす
る文書フアイリングシステム。８情報を入力する手段と、上記情報を知識ベースとして記憶する手段と、上記知識ベースを管理する手段と、表示手段を含み、操作者と対話し指示を与える
手段と、操作者が入力した断片的またはあいまいな情報
に基づき上記知識ベースを用いて所望の情報を検
索する手段と、検索された情報を表示する表示手段とを備え、上記知識ベースは、事物を表す複数の概念と、
それらの概念間を結び付ける関係によつて記述さ
れた知識を記憶し、最上位の概念を根とした概念
木を形成して分類階層を構成し、その他の残りの
概念は、直接的または間接的に上記最上位の概念
に包摂される包摂関係によつて記述され、概念間
は一般的な関係にて当該概念間を定義した一般関
係、または固有の関係にて当該概念間を定義した
具体関係によつて記述され、上記一般関係は、第
１の概念と第２の概念間のリンク、上記第１の概
念と上記第２の概念に包摂される下位概念間のリ
ンク、または上記第２の概念と上記第１の概念に
包摂される下位概念間のリンクを定義し、上記具
体関係は、上記第１の概念に包摂される下位概念
と上記第２の概念に包摂される下位概念間のリン
クを定義することを特徴とする情報記憶検索シス
テム。