JPH04505518A - エキスパートシステム装置および方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 【発明の名称） エキスパートシステム装置および方法 ｒ関連出願の参照１ 本出願は、１９８７年３月２４日出願（７）Ｕ、Ｓ、Ｓ、Ｎ、０３０，２５Ｏｆ ７）　一部継続出願であり、またこのＵ、Ｓ、Ｓ、Ｎ、０３０，２５０は現在放 棄されている１９８５年８月１６日出願のＵ、Ｓ、Ｓ、Ｎ、７６６、’８６０の 継続出願である。本出願の追加開示は、好適な実施例の説明の第１２節から始ま る。 【本発明の背景】 １、発明の分野 本発明はディジタルコンピュータによって実現されるエキスパートシステムに係 わり、また更に特定的には、エキスパートシステムの知識ベースおよび推論エン ジンコンポーネントと、エキスパートシステムを作成するための装置と、定義的 知識ベースを作成するための装置および方法とに係わる。 ２、従来の技術の説明：図］および図ＩＡ近年、エキスパートシステムは商業的 に利用可能になってきた。エキスパートシステムは、ある所定の分野の専門家と 同じ仕方でその分野における専門知識情報を応用するシステムである。更に、エ キスパートシステムは、ある程度自分自身を説明できるということにおいて人間 の専門家に似ている。その複雑さによっては、エキスパートシステムは、なぜ所 定の結論に到達したのかを説明でき、なぜ所定の一片の情報を欲するのかを説明 でき、またユーザが所定の一片の情報の値を変更してそれがその結果にどのよう に影響を与えるかを見られるようにできる。大規模コンピュータシステムを構成 するとか、細菌感染を診断するとか、石油掘削のドリル先端がなぜつまってしま ったかを診断して修理を示唆するとか、といった仕事を遂行するエキスパートシ ステムが構築されてきた。 従来技術のエキスパートシステムは一般にルールベースのものであった。すな、 これらは、そのエキスパートシステムのユーザによって与えられた事実に関する 専門家の専門知識についてその専門家に質問することによって得られたルールを 適用して機能するものであった。これらのルールは一般にもしＡならば、Ｂであ る という形式をしている。 このようなルールでは、ＡはＢに関する条件部と呼ばれ、Ｂは結論部と呼ばれる 。Ａが真であるとき、結論は真であると推論される。例えば、医用診断システム の１つのルールに、゛もし患者が発熱していて漬水を出しているならば、患者は インフルエンザにか１つている可能性がある”というのがあるであろう。このル ールに従えば、もし症状が発熱と漬水であれば、一つの可能な推論はインフルエ ンザである。 図１は、従来技術のルールベースのエキスパートシステム１０１のブロック図で ある。システム１０１は３つのコンポーネント、すなわちコマンドプロセッサ（ ＣＰ）１０３と、ルール推論エンジン（ＲＩＥ）１０５と、ルール記憶部（Ｒ５ ）とを持っている。Ｒ５１０７はこのシステムがエキスパートである領域に関す るルール１０９を含んでいる。ＲＩＥ１０５は、ユーザから問題データを受け取 り、Ｒ３１０７内のルールをそのデータに適用し、そしてその問題データへのル ールの適用結果をユーザに与える。ＣＰ１０３は、推論エンジンコマンド（工Ｅ Ｃ）によってＲＩＥ１０５を制御する。ＣＰ１０３はユーザによって与えられる コマンド入力からコマンドを生成する。上記のインフルエンザの例を続ければ、 医学的診断エキスパートを使う人はＣＰにパなんという病気か？”というコマン ドを入力するであろう。するとＣＰ１０３は推論エンジンコマンドをＲＩＥ１０ ５に与え、ＲＩＥ１０５は病気に関するそのルールが症状を要求していると判断 するであろう。それからＲＩＥは多分゛どんな症状か？”と尋ねることによって 問題データを要求するであろう。するとユーザは症状を入力することができ、そ れからＲＩＥ１０５は症状が条件部となっているルール１０９を見つけてそのル ールの結論を結果データとして返すことかできるであろう。例えば入力された症 状が°゛発熱漬水”であれば、エキスパートシステム１０１は前記のルール１０ ９からその病気はインフルエンザであるかもしれないと結論することができよう 。 もちろん他の多くの病気がこういう症状を持っており、したがってその条件部の 一部としてこれらの症状を持つ２つ以上のルール１０９が存在するであろう。そ の精巧さによって、エキスパートシステム１０１は、その条件部の一部としての 症状を持つすべてのルール１０９の結論を結論として返すか、あるいはユーザに 更に症状を質問して適用されるルールの数を狭めるためにその新しい症状を使う こともできるであろう。いずれの場合にも、エキスパートシステム１０１はユー ザの要求に応じて、その結論に到達するためにどんなルール１０９を使用したか を示すことができる。 最初の従来技術のエキスパートシステム１０１は特別注文製であって、専門家と ナレッジエンジニアとコンポーネントシステム設計者との間の長期間の密接な協 同作業を必要とした。専門家は自分の専門知識を提供し：ナレッジエンジニアは その専門知識をルール１０９に集約し、またそのルール１０９をＲ５１０７に格 納するために使われるＲＩＥ１０５と表現とを設計した。最後にコンポーネント システム設計者は、ナレッジエンジニアの設計を実現するプログラムを書いた。 特別注文製のエキスパートシステム１０１にとって必要とされる専門家の時間の 大量な入力がエキスパートシステムを非常に高価なものにし、そのためエキスパ ートシステムのメーカーはエキスパートシステムを作成するための、エキスパー トシステムシェルと呼ばれる特別のツールを開発するようになった。図ＩＡは、 ルールベースのエキスパートシステムを作るためのエキスパートシステムシェル １１０のブロック図である。この図から分かるように、このエキスパートシステ ムシェルは図１のルールベースエキスパートのコンポーネントと追加のコンポー ネントであるルールプロセッサ（ＲＰ）１１１とを持っている。ルールプロセッ サ１１１は、現在構築中のエキスパートシステムに固有なＲ３１０７に格納する ためのルール１０９を生成するために使用される。ＲＩＥ１０５は、エキスパー トシステムが構築されるときに構築中のそのシステムをテストするためにエキス パートシステムシェル１１０で使われる。開発中のエキスパートシステムに関す るルール１０９のすべてが書き上げられ、システムが完全にテストされたときに 、この新しいエキスパートシステムのユーザは新エキスパートシステムのＲＩＥ Ｉ０５とＲ５１０７とに対するアクセス権が与えられる。 エキスパートシステムシェル１１０の有用性は、かなりの程度まで、ＲＰＩＩｌ の巧みさに依存する。あるいくつかのシステムでは、ＲＰＩＩＩは特別な形式で 入力されたルール１０９を必要とする。こうしてこれらのシステムは一般にナレ ッジエンジニアを必要とし、専門家自身では使うことができない。他のシステム では、ＲＰＩＩＩは専門家によって提供される例からそのルールを構成し、した がってナレッジエンジニアを必要としない。 ルールベースのエキスパートシステム１０１は着実により強力に、より使い易く 、より高価でなくなりつｔあるが、それらのルールへの依存性はある一定の本質 的な不利益を持っている。第１に、大抵の専門家は１セツトのルールによって自 分たちの専門知識の領域を考えているわけではない。専門家が考えないから、実 例からルールを構成するナレッジエンジニアあるいはシステムが専門家とエキス パートシステムシェル１１０との間を仲介しなくてはならない。第１のケースで はエキスパートシステムの開発はそうでない場合より一層高価なものとなり、ま た第２のケースではエキスパートシステムシェル１１０の複雑さはそうでない場 合により一層大きくなり、そして専門家はなおシェル１１０によって生成された ルールをチェックしなくてはならないからルールから完全には隔離されない。 第２に、Ｒ５１０７は互いに独立に生成されたルール１０９の集まりであるから ルール１０９の集まりが完全であるとかあるいは矛盾したルールを含まないとか いう保証はない。もし１セツトのルール１０９が不完全であれば、エキスパート システム１０１は結果に到達しないか、間違った結果に到達する可能性があり、 またもしルール１０９のその集合が矛盾したルール１０９を含んでいれば、再び エキスパートシステム１０１は結果に到達しないか、そのルールよりもむしろ矛 盾を解消するためのＲＩＥ１０５の内部アルゴリズムに依存する結果に到達する 可能性がある。 ルール１０９の不完全なセントで、あるいは矛盾するルール１０９で動作する能 力は、ルールベースのシステム１０１の能力の一部であって、専門家が自分の専 門知識の領域をいくつかの明確な原理に集約できない状況で必要になる。しかし ながらエキスパートシステムは専門家が自分の専門知識を明確な原理に集約でき る多くの状況で採用されており、そしてこれらの状況ではルール１０９の不完全 なセットと矛盾するルール１０９とを取り扱う能力は誤りの検出を一層困難にし 、また間違えた場合にシステム１０１の振舞いをルールよりもむしろＲＩＥの内 部アルゴリズムに依存させることになる。 第３に、ルールベースのエキスパートシステム１０１は修正が困難である。ルー ルベースのエキスパートシステムの振舞いはそのルールの全体性に依存しており 、またシステムにバクがあるからとかあるいは専門家が所定のケースをどのよう に処理するかについて自分の考えを変えたからとかいう理由でシステムの振舞い を変更しようとした場合、どのルールを変えなくてはならないかを決定するのが 困難であることがしばしばある。 第４に、ルールベースのエキスパートシステム１０１の能力と複雑さはエキスハ ートシステムが役に立つ多くの場合には必要ない。一般的に言って、その能力と 複雑さは専門家が自分の専門知識を十分に定義できない場合に必要となる。しか しながら、素人は専門家の手引きを必要とするが専門家は自分の専門知識を完全 にまた容易に定義できる場合が多い。こういう場合には、有用なエキスパートシ ステムとエキスパートシステムシェルは、ルールベースのエキスパートシステム とエキスパートシステムシェルとに固有の複雑さを持つ必要はない。 こういう場合の１つは税金用紙のような複雑な用紙によって示されるものである 。大抵の場合、用紙に記入するためにほとんど判断は必要ないが、それにもかか わらずこの用紙は多くの人々が税金用紙作成人の助けを必要とするほど複雑であ る。スプレッドシートは、税金用紙の記入に関係するデータを取り扱うことと、 １つの値の変更が他の値にどのように影響するかをユーザが見ることができるよ うにすることとを機械的により容易にしたが、エキスパートシステムで可能とな るユーザのための道理に基いたガイダンスの類は提供しなかった。したがって必 要とされるもの、およびここに述べる本発明によって提供されるものは、ルール ベースシステムの十分な能力を必要としない状況でルールベースのエキスパート システムよりも実質的に単純ではあるが、道理に基いた専門家の助言を提供する 、ルールベースシステムやエキスパートシステムの典型的なシェルよりも使い易 いエキスパートシステムシェルである。 （本発明の要約］ 本発明はディジタルデータ処理システムに係わり、更に特定的には、ディジタル データ処理システムで使用されるエキスパートシステムとエキスパートシステム シェルとに係わる。本発明のエキスパートシステムはルールの代わりに定義を使 用する。専門家は、対応する１セツトの階層的程度を持った１セツトの項（ｔｅ ｒｍ）として自分の専門知識領域を定義する。ある項に関する定義は階層のより 下位レベルで定義される項と、項の値に依存しない項に独立の値とを含む。′専 門家がこの階層内のある項に関して到達するであろう決定は、その項の値として 表現される。定義された項は、本発明のエキスパートシステムの知識ベースを構 成する。推論エンジンは所定の項の値をその定義から計算することによってその 項に関して専門家ならどんな決定を行ったであろうかを決定する。もし定義が他 の項を含むならば、これらの項の値はそれらの定義から計算される。 本発明のその他の観点では、ある所定の項の定義はその所定の項の値が得られる ときに実行すべき操作を指示することができる。１つのこうし１う操作はそのエ キスパートシステムによって制御される表示装置上にイメージを含む情報を表示 することである。もう一つのこういう操作はもう一つのシステムが操作されるよ うにすることである。もう一つの手続きを呼び出すことである。更に、テーブル 演算子は基本テーブルおよび基本テーブルの列として項を定義することを可能に する。更に、間合せ演算子は基本テーブルから間合せテーブルの定義を可能にし 、についての演算の結果として項が定義されることを可能にする。最後に、非テ ーブル項が表現できる値は゛″不明値を含む。演算子は演算を実行するときにこ ういう値の存在を考慮に入れており、またこういう値を検出するために他の演算 子が追加されている。 このように本発明の一つの目的は改善されたエキスパートシステムとエキスパー トシステムシェルを提供することである。 本発明のもう一つの目的は定義的知識ベースと、結論に到達するためにその定義 的知識ベースを使用する推論エンジンとを有するエキスパートシステムを提供す ることである。 本発明の更なる目的は特にアプリケーション開発に適合したエキスパートシステ ムを提供することである。 本発明の追加の目的は改善された演算子を有するエキスパートシステムを提供す ることである。 本発明のなお更なる目的は、ある演算に関するオペランドのあるいくつかが゛′ 不明”　（ｄｏｎ’　ｔ　ｋｎｏｗ）値を持つときに演算子が演算できるシステ ムを提供することである。 本発明のその他の目的と利点とは、以下に記す、第１のプロトタイプ実施例と第 ２のプロトタイプ実施例におけるいくつかの改良点とについての詳細な説明を参 照し、また図面を参照した後、本技術に通常の熟練度を有する人々によって理解 されるであろう。 【図面の簡単な説明１ 図１は従来技術のエキスパートシステムの概念的ブロック図である。 図ＩＡは従来技術のエキスパートシステムシェルの概念的ブロック図である。 図２は本発明のエキスパートシステムシェルとエキスハートシステムの概念的ブ ロック図である。 図３は本発明で使われる定義の階層の概念図である。 図４は項ＦＲＡＵＤ　（詐欺）を定義するために使われる項と説明の図表である 。 図５はＬＩＳＰ環境の図表である。 図６は本発明の第１のプロトタイプ実施例の概要である。 図７は第１のプロトタイプ実施例のＴＤＥＦ６１７の図表である。 図８は第１のプロトタイプ実施例の関数ＤＥＦＩＮＥの詳細な図表である。 図９は第２のプロトタイプ実施例におけるいくつかの改善の図表である。 図の参照を容易にするために、好適な実施例の説明に使われる参照番号は３桁の 数字を持っている。最下位の２桁は図面内の参照番号であり、最上位の桁は図面 番号である。例えば、参照番号９０１は図９に示されている。項目を指す。 （好適な実施例の説明］ 好適な実施例の下記の説明はまず、本発明のエキスパートシステムとエキスパー トシステムシェルとの概念的な概要を示し、それから本発明の第１のプロトタイ プ実現の詳細な説明を述べる。また第２のプロトタイプ実現においてなされたい くつかの改良を論議する。部分的に継続してこの開示に追加される資料は第１２ 節から始まる。 １、本発明のエキスパートシステムシェルとエキスパートシステムの概念的概要 。 図２ 図２は本発明のエキスパートシステムシェル２０１とエキスパートシステム２０ ２の概念的ブロック図である。エキスパートシステムシェル２０１は、４つのコ ンポーネントすなわちコマンドプロセッサ（ＣＰ）２０３と定義プロセッサ（Ｄ Ｐ）２０７と項記憶部（ＴＳ）２１５と項推論エンジン（ＴＩＥ）２１９とを持 っている。エキスパートシステムシェル２０１を使って作成されるエキスパート システム２０２はＤＰ２０７を除くこれらのコンポーネントのすべてを持つ。 以下、更に詳しく説明するように、ＣＰ２Ｏ３はシェル２０１とシステム２０２ のユーザからコマンドを受け取ってこれらのコマンドをその他のコンポーネント に与え、ＤＰ２０７は定義を処理し、ＴＳ２１５は定義された項とそれらの定義 とを記憶し、ＴＩＥ２１９はＴＳ２１５からのある項の定義を使ってその項を評 価してそれについて他の演算を行う。 ＣＰ２Ｏ３は、シェル２０１とエキスパートシステム２０２のユーザからのコマ ンドを定義プロセッサコマンド（ＤＰＣ）２０４と推論エンジンコマンド（工Ｅ Ｃ）２１７とに変換する。プロトタイプでは、ＤＰＣ２０４はシェル２０１の定 義を調べ、セットの定義をセーブし、また１セツトの定義を復元することを可能 にする。ｌＥＣ２１７はシェル２０１のユーザまたはシェル２０１によって作成 されたエキスパートシステム２０２のユーザが項の現在値を決定することと、エ キスパートシステム２０２がどのようにしてその値に到達したかを見つけ出すこ とと、エキスパートシステム２０２をしである項に別の値を想定させてそれが他 の項にどのように影響するかを調べることと、それらの項のどれが一つまたはす べての項の値をリセットすることと、そしである項の現在値の決定のためにはそ の定義の範囲外から与えるべきある値が必要となるときにはエキスパートシステ ム２０２になぜその値が必要であるのかを尋ねることとを可能にする。 定義プロセッサ２０７はＴＥＲＭ２０６を定義する。あるＴＥＲＭ２０６が完全 に定義されたとき、ＴＳ２１５はＴＥＲＭ２０６に対応する定義された項（ＤＴ ＥＲＭ）２１１とＤＴＥＲＭ２１１に関する定義（ＤＥＦ）２１３とを含む。 ＴＥＲＭ２０６は、ＤＰＣ２０４で受け取られるか、あるいはＴＥＲＭ２０６に 応じてエキスパートシステムシェル２０１のユーザからＤＰ２０７が要求した記 述（ＤＥＳＣ）２０５から受け取られることができる。ＤＰ２０７は初めに、Ｔ ＥＲＭ２０６に対応するＤＴＥＲＭ２１１が既に存在しているかどうか、すなわ ちＴＥＲＭ２０６が既に定義されているかどうかを決定する。もし定義されてい れば、ＤＰ２０７はＴＥＲＭ２０６に対応するＤＴＥＲＭ２１１をＴＳ２１５か ら検索し、ＤＰ２０７が現在作成中の定義の中で使えるようにそれを準備する。 もし定義されていなければ、ＤＰ２０７はシェル２０１のユーザに記述要求（Ｄ ＥＳＣＲＥＱ）を出力する。ユーザはＴＥＲＭ２０６の記述（ＤＥＳＣ）２０５ をＤＰ２０７に与える。するとＤＰ２０７はＤＥＳＣ２０５の中の情報を使って ＴＥＲＭ２０６に関するＤＥＦ２１３を作成する。以下、更に詳しく述べるよう に、ＤＥＳＣ２０５は、ユーザが他のＴＥＲＭ２０６と定数値と、そして与えら れようとしている定義に関するある値はエキスパートシステム２０２の外から取 得すべきであるということとを指定できるようにする定義言語で書かれている。 更にこの定義は、ＴＥＲＭ２０６と定数と、定義内の外部値とによって表現され る値について実行できる演算を指定する。もしＤＥＳＣ２０５がＴＥＲＭ２０６ を含むならば、ＤＰ２０７はいま述べた仕方でこれらのＴＥＲＭ２０６を処理す る。もしＴＥＲＭ２０６に対応するＤＴＥＲＭ２１１が存在すれば、ＤＴＥＲＭ ２１１は作成中のＤＥＦ２１３の中で使われる。もし存在しなければ、ＤＰ２０ ７はＴＥＲＭ２０６を定義するＤＥＳＣ２０５を要求して、いま述べたようにそ れを処理する。ＤＰ２０７の反復演算は図２で、少くとも１つのＴＥＲＭ２０６ を含むＵＤＥＳＣ２１０がどのようにしてＤＰ２０７により再び処理されるかを 示す矢印２０８によって示される。元のＤＥＳＣ２０５と、元のＤＥＳＣ２０Ｓ 内でＴＥＲＭ２０６を定義するために必要とされるＴＥＲＭ２０６に関して作成 された任意のＤＥＳＣ２０５丙−ａＴＥＲＭ２０６のすべてとが定義されるまで 、すなわちＴＳ２１５内に対応するＤＴＥＲＭ２１１とＤＥＦ２１３とを持つま で、この仕方で処理が続けられる。 ＤＰ２０７の演算の結果得られるＤＴＥＲＭ２１１とＤＥＦ２１３は、ＴＳ２１ ５の中に置かれる。ＤＴＥＲＭ２１１は名前によってＴＳ２１５の中でその位置 を見付けることができる。ＤＴＥＲＭ２１１に対応するＤＥＦ２１３はＤＴＥＲ Ｍ２１１に結びつけられており、したがって一端ＤＴＥＲＭ２１１が探がし当て られるとＤＥＦ２１３は使用可能となる。ＤＥＦ２１３が導き出されるＤＥＳＣ ２０５の修正版はＤＥＦ２１３に含まれる。 ＤＰＣ２０４によって指定された残りの演算はＴＰ２０７とＴＳ２１５の中で次 のように実行される。すなわちＴＥＲＭ２０６が定義解除されるときにはＤＰ２ ０７は対応するＤＴＥＲＭ２１１とＤＥＦ２１３をＴＳ２１５から除去し、また ＴＥＲＭ２０６が再定義されるときにはＤＰ２０７はＴＥＲＭ２０６に対応する ＤＥＦ２１３を除去してＴＥＲＭ２０６に関する新しいＤＥＳＣ２０５を要求す る。それからそのＤＥＳＣ２０５はいま述べた仕方で処理される。ＤＰＣがＴＥ ＲＭ２０６の定義を表示するように要求すると、ＤＰ２０７はＴＥＲＭ２０６に 対応するＤＴＥＲＭ２１１に関するＤＥＦの中に組み込まれたＤＥＳＣ２０５を 表示する。最後に、後で使用するためにセーブ操作が所定のＴＳ２１５の内容を ファイルにセーブし、復元装置がファイルの内容をＴＳ２１５に復元する。 項推論エンジン（ＴＩＥ）２１９はＴＳ２１５内のＤＴＥＲＭ２１１とＤＥＦ２ １３とを用いて演算を実行する。−次演算はｗｈａｔ演算であって、これはエキ スパートシステム２０２またはシェル２０１のユーザによって与えられるＤＴＥ ＲＭ２１１の定義と外部値とからＤＴＥＲＭ２１１の値を決定する。ＴＩＥ２１ ９はその演算を指定するｌＥＣ２１７とＣＰ２Ｏ３からのＴＥＲＭ２０６とに応 答してｗｈａｔ演算を実行する。ＴＩＥ２１９はＴＥＲＭ２０６に対応するＤＴ ＥＲＭ２１１を使ってＴＳ２１５内でＤＴＥＲＭ２１１のＤＥＦ２１３の位置を 捜し当てる。それからＴＩＥ２１９は、定義の中で指定されたＤＴＥＲＭ２１１ と定数と外部値とを使ってＤＥＦ２１３内で指定された演算を実行し、その結果 値ＴＲＥＳ２２７をシステム２０２またはシェル２０１のユーザに返す。 ＤＥＦ２１３内の定数は、ＤＴＥＲＭ２１１の値を計算するときに即座に使用で きるようになっており、外部値の場合は、ＤＴＥＲＭ２１１はその外部値がどの ようにして取得されるべきかについての記述を含む。ＴＩＥ２１９はその記述を 使って外部値（ＥＸＶＡＬ）２２５の情報源に対して外部値要求（ＥＸＶＡＬＲ ＥＱ）を行い、その情報源からＥＸＶＡＬ２２５を受け取る。最も単純なケース では、情報源はシステム２０２またはシェル２０１のユーザが使っている端こと によって得られる。更に複雑なケースでは、情報源はファイルあるいはデータベ ースのこともある。 評価中のＤＴＥＲＭ２１１に関するＤＥＦ２１３の中にもう一つのＤＴＥＲＭ２ １１が存在する場合にはＴＩＥ２１９はそのもう一つのＤＴＥＲＭ２１１のＤＥ Ｆ２１３を取得し、そしてそのＤＥＦ２１３内のいずれのＤＴＥＲＭ２１１でも 評価するように評価しながら、またその値がｗｈａｔ演算でめられているＤＴＥ ＲＭ２１１が依存しているすべてのＤＴＥＲＭ２１１が評価し終わるまで評価を 続けながら、このＤＴＥＲＭ２１１の値をそのＤＥＦ２１３から計算する。 各ＤＥＦ２１３の中で指定されている定数と外部値とＤＴＥＲＭ２１１とは、い ま述べて仕方で処理される。すべてのＤＥＦ２１３が評価されたとき、その値が められているＤＴＥＲＭ２１１の値が計算され、ＴＲＥＳ２２７として返される 。 好適な実施例では、所定のＤＥＦ２１３の評価中に得られたＥＸＶＡＬ２２５は そのＤＥＦ２１３の定義の一部になる。こうしてもしＤＴＥＲＭ２１１についＡ Ｌ　ＲＥＱを生成しないで単に記憶されたＥＸＶＡＬ２２５を使ってＤＴＥＲＭ ２１１の値を再計算する。好適な実施例は記憶されているＥＸＶＡＬ２２５を修 正するために２つのｌＥＣ２１７を持っている。第１＋７）ｒｅｓｔｅは単に、 ｒｅｓｅｔコマンド内で指定されたＤＴＥＲＭ２１１に関するＤＥＦ２１３から 、記憶されているＥＸＶＡＬ２２５のすべてを除去する。こうして、ｗｈａｔが 再び実行されると、前に説明下ように新しいＥＸＶＡＬ２２５が得られる。第２ のａ　ｓ　ｓ　ｕｍｅは、ａｓｓｕｍｅニア７ンド内で指定されたＴＥＲＭ２０ ６に関するＤＥＦ２１３に新しいＥＸＶＡＬ２２５が与えられるようにする。こ のケースで再びｗｈａｔが実行されると、実行中のｗｈａｔ演算に関するＤＴＥ ＲＭ２１１の値を導き出すためにこの指定されたＥＸＶＡＬ２２５が使われる。 なぜＴＩＥ２１９が所定のＥＸＶＡＬ２２５をめているかをシェル２０１または システム２０２のユーザが知りたい場合は、ｗｈｙ演算のためのコマンドでＸ　 ＲＥＱに応答することができる。そのコマンドに応答してＴＩＥ２１９は、ＥＸ ＶＡＬ２２５が要求されたとき、値が計算されつ）あるＤＴＥＲＭ２１１に関す るＤＥＦ２１３からＤＥＳＣ２０５を出力し、そしてユーザはその所定のＥＸＶ ＡＬ２２５がなぜ重要であるかをＤＥＳＣ２０５から決定することができる。 更ニュー　サバ、ソノ評価がＥＸＶＡＬ　ＲＥＱを生成したＤＴＥＲＭ２１１＋ ７）値を得るためにその値が必要とされるＤＴＥＲλ４２１１のどれかがなぜ必 要とされるかを尋ねるためにｗｈｙを用いることができ、そしてＴＩＥ２１９は これらのＤＴＥＲＭ２１１に関するＤＥＳＣ２０５を与える。 ３、定義の階層：図３ いかなる項を定義する場合にもＤＰ２０７は、ＤＥＦ２１３の階層を生成する。 それ自身定義中の項に関するＤＥＦ２１３が項を含まない場合、階層は唯一つの レベルを持つ。もし項に関するＤＥＦ２１３がもう一つの項を含むならば、その 項は第１の項が定義できる前に定義しなくてはなら　Ｃまたこの第１の項は２つ のレベルを持った階層における最上位項である。もし第２レベルのＤＥＦ２１３ のどれかがもう一つの項を含む場合には、その項を定義しなくてはならず、また この階層は３レベルを持つ。こうして階層は、他の項が依存する項に関するＤＥ Ｆ２１３のいずれもが更なる項を含まなくなるまで深くなり続けるが、その代わ り定数または外部値についての演算によってのみ定義される。上記の論議から明 らかなように、ＤＥＦ２１３は常に、ＤＥＦ２１３が定義するＤＴＥＲＭ２１１ を定義するために必要なりＥＦ２１３の階層における最上位ＤＥＦ２１３である が、同時に、ある他のＤＴＥＲＭ２１１を定義するために必要なりＥＦ２１３の 階層においては、より低いレベルにある可能性もある。 図３はＤＥＦ２１３の一つのこういう階層の概念的説明図である。階層３０５は ＤＴＥＲＭ３０１のセットに属するＤＴＥＲＭ２１１　（Ａ）〜２１１（Ｅ）に 対応するＤＥＦ２１３　（Ａ）〜２１３（Ｅ）を含んでいる。階層３０５におけ る最上位の定義はＤＴＥＲＭ２１１　（Ａ）に対応するＤＥＦ２１３　（Ａ）で ある。 ＤＥＦ２１３　（Ａ）における記号○Ｐ　（Ｂ、Ｃ）は、ＤＴＥＲＭ２１１　（ Ａ）の値がＤＴＥＲＭ２１１　（Ｂ）および（Ｃ）の値について演算を実行する ことによって得られることをＤＥＦ２１３（Ａ）が指定するということを示す。 同様にＤＥＦ２１３ＢはＤＴＥＲＭ２１１　（Ｂ）の値がＤＴＥＲＭ２１１　（ Ｄ）および。 （Ｅ）の値について演算を実行することによって得られるということを指定する 。 したがってＤＥＦ２１３　（Ａ）に関する階層３０５は３つのレベル、すなわち ＤＥＦ２１３（Ａ）のみを含む、レベル１３０７と、ＤＥＦ２１３　（Ｂ）およ びＤＥＦ２１３　（Ｃ）を含むレベル２３０９と、ＤＥＦ２１３　（Ｄ）および ＤＥＦ２１３（Ｅ）を含むレベル３３１１とを持っている。ＤＥＦ２１３　（Ｃ ）、２１３（Ｄ）、および２１３（Ｅ）は他のＤＴＥＲＭ２１１を用いてＤＴＥ ＲＭ２１１ＣＳＤ、およびＥを定義することはなく、また下位のレベルを上に上 げることもできない。こういうＤＥＦ２１３は端末定義３１２と名付けられる。 階層３０５を構成するに際してＤＰ２０７はＤＴＥＲＭ２１１　（Ａ）に対応す るＴＥＲＭ、２０６　（Ａ）から始める。ＤＰ２０７はＴＥＲＭ２０６　（Ａ） を、より上位のレベルにあるＤＥＦ２１３が構成されつ）あるＤＥＳＣ２０５か ら、あるいはｄｅｆｉｎｅ（定義）またはｒｅｄｅｆｉｎｅ　（再定義）ＤＰＣ ２０４かも受け取る。それからＤＰ２０７はＤＥＳＣ２０５にＤＴＥＲＭ２１１ 　（Ａ）を要求する。ＤＥＳＣ２０５は２つのＴＥＲＭ２０６ＢおよびＣについ ての演算によってＤＴＥＲＭ２１１　（Ａ）を定義する。もしＤＥＦ２１３　（ Ｂ）とＤＥＦ２１３（Ｃ）とが既に存在しているならば、ＤＰ２０７はＤＥＦ２ １３　（Ａ）を作ることができ、それより進む必要はない。もしＤＥＦ２１３　 （Ｂ）かＤＥＦ２１３　（Ｃ）かいずれかが存在しないならば、ＤＰ２０７はＤ ＥＦ２１３Ａを作成できるようになる前にこれらのＤＥＦ２１３を生成しなくて はならない。こうしてＤＰ２０７はＤＥＳＣ２０５にＴＥＲＭ２０６　（Ｂ）と ＴＥＲＭ２０６　（Ｃ）とを請求する。ＴＥＲＭ２０６　（Ｃ）ｆ７）場合には ＤＥＳＣ２０５＋１ＥＸｖＡＬ　（Ｃ）２２５によってのみＴＥＲＭ２０６　（ Ｃ）を定義し、そしてＤＥＦ２１３　（Ｃ）は直ちに構成できる。ＴＥＲＭ２０ ６　（Ｂ）の場合にはＤＥＳＣ２０５は２個の追加のＴＥＲＭ２０６ＤおよびＥ によってＴＥＲＭ２０６　（Ｂ）を定義する。したがってＤＰ２０７は別のレベ ルに降りて、それらのＴＥＲＭ２０６に関するＤＥＦ２１３を生成しなくてはな らない。再びＤＰ２０７はＤＥＳＣ２０６にそれらの項を要求する。両方の場合 ともＴＥＲＭ２０６はＥＸＶＡＬ２２５によって定義され、その結果、両方のＤ ＥＦ２１３が構成できる。これでＴＥＲＭ２０６Ａの定義に関連したすべてのＴ ＥＲＭ２０６に関するＤＥＦ２１’３は構成されて、ＴＥＲＭ２０６　（Ｂ）〜 （Ｅ）に対応するＤＴＥＲＭ２１１　（Ｂ）〜（Ｅ）は存在することになり、Ｄ ＥＦ２１３　（Ａ）は構成することができて、これでＴＥＲＭ２０６（Ａ＞は対 応するＤＴＥＲＭ２１１　（Ａ）を持つことになった階層３０５は階層３０５に おける最上位のＤＥＦ２１３から始めて繰り返し構成され、また対応するＤＴＥ ＲＭ２１１を持たないＴＥＲＭ２０６のみが定義されるから、ＤＴＥＲＭ２１１ は２個のＤＥＦ２１３を持つことができず、また階層３０５内のＤＥＦ２１３は 階層３０５内で自分より上位にあるＤＥＦ２１３を参照することができない。し たがって階層３０５内のＤＥＦ２１３は必然的に、階層３０５内のＤＥＦ２１３ （Ａ＞に関して、あるいはＤＥＦ２１３　（Ａ）を組み込んでいる任意の階層内 の最上位のＤＥＦ２１３に関して完全かつ無矛盾になる。 ４、記述２０５のための記述言語 前に示したように、ＤＰ２０７は記述（ＤＥＳＣ）２０５からＤＥＦ２１３を作 成する。プロトタイプではＤＥＳＣ２０５はある記述言語を用いて作成される。 この記述言語は、項についての演算とｃａｓｅ文と、外部値を取得するための演 算とを指定する、予め定義された用語を含む。 これらの演算には、論理演算、算術演算およびテキスト連結がある。ｃａｓｅ文 は、次の形式の論理式値ベアのリストである。 （ｂｏｏｌｅａｍ　ｅｘｐ　１）ｖａｌｕｅ　１．、（ｂｏｏｌｅａｎ　ｅｘｐ 　ｎ）ｖａｌｕｅ　ｎ （ＯＴＨＥＲＷＩＳＥ）ｏｔｈｅｒｗｉ　５ｅ−ｖａ　１ｕｅｃａｓｅ文を含む ＤＥＦ２１３が評価されると、論理式１〜ｎはそれらの式の１つが真になるまで 順番に評価される。真である論理式に対応する値はＤＥＦ２１３によって定義さ れたＤＴＥＲＭ２１１の値になる。もし論理式の中のどれも真でなければ、０Ｔ ＨＥＲＷＩＳＥに対応する値がＤＴＥＲＭ２１１の値となる。 プロトタイプの記述言語は外部値を取得するだめの２つのクラスの演算の指定を 許している。第１のクラス、ＡＳＫ演算はエキスパートシステム２０２のコ、− ザの端末から値を得る。第１のクラス、ＡＳＫ演算は端末から外部値を得るため に使われる。第２のクラス、ＲＥＣＯＲＤ演算ＯＲ−タベースシステムから外部 値を得るために使われる。両ケースとも外部値は数値、文字列、または論理値で あることができ、あるいはこれらの外部値は１セツトのどれか択一のリテラル環 の１つ、すなわち自分自身のみを表している項の１つを選択できる。 ある数値を得るためのＡＳＫは次の形式を持っている。 ＡＳＫ　ＮＵＭＢＥＲ″プロンプト　文字列”こういうＡＳＫ演算を含むＤＥＦ ２１３が評価されると、ＤＰ２０７は端末にプロンプト文字列を出力して、その たんまつからの数値入力を待つ。それからその数値はＤＥＦ２１３の評価に使わ れる。プロンプト文字列はそれ自身で予め定義された項を含んでおり、またした がって予め評価された項の値に依存するようにユーザの応答を行うことができる 。論理値とテキスト文字列値とに関するＡＳＫ演算は、上記の演算におけるＮＵ ＭＢＥＲが論理値をめるときにはＹＥＳ−Ｎｏによって置き換えられ、またテキ スト文字列をめるときにはＴＥＸＴによって置き換えられるということを除けば 、数値に関するＡＳＫ演算と同じ仕方で指定される。 多数のリテラル環の中の１つを選択するＡＳＫは次の形式を持つ。 （リテラル　項　１１１．リテラル　項　ｎ）ＡＳＫ　ＣＨ○ＩＣＥを含むＤＥ Ｆ２１３が評価されると、プロンプト文字列が出力され、ユーザはリテラル環の １つを選択するようにめられる。それからこのリテラル環はＤＥＦ２１３によっ て定義されたＤＴＥＲＭ２１１の値を計算するためにＤＥＦ２１３の中で使うこ とができる。 データベースの中でどのようにして外部値の位置を捜しめるべきかをＲＥＣ○Ｒ Ｄ演算が指定し、また指定された位置の値をデータベースが与えるということを 除けば、一般にＲＥＣＯＲＤ演算ＯＲ−Ｋ演算に類似している。 ５、シェル２０１およびシステム２０２の動作二図４ある人が詐欺をされたかど うかを決定できる定義の階層を使って、シェル２０１の動作を詳しく説明する。 詐欺の法的な定義は、一方側が相手側に対して故意に不真実表示を行ったことと 、その相手側の損害がその不真実表示によるということを必要とする。図４はこ の法的な定義に夕づ応するＤＴＥＲＭ２１１の階層を示す。 図４の階層の作成はＣＰ２１３がＤＥＦＩＮＥ　ＦＲＡＵＤ（詐欺を定義する） コマンドを受け取ったときに始めまる。それからＣＰ２Ｏ３はＴＥＲＭ２０６の ＦＲＡＵＤをＤＰ２０７に渡し、ＤＰ２０７は定義を作成するエキスパートから ＤＥＳＣ２０６を要求する。エキスパートは下記のＤＥＳＣ２０６を与える。 ＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ　ＡＮＤ　ＤＥＴＲＩＭ ＥＮＴＡＬ−ＲＥＬＩＡＮＣＥ　（、故意の　不真実表示および損害の　依存性 ）このＤＥＳＣ２０６は更なる２個のＴＥＲＭ２０６と論理演算子ＡＮＤとを含 んでいる。こうしてＦＲＡＵＤの値は、ＴＥＲＭ２０６に対応するＤＴＥＲＭ２ １１の値を取得して、それらの値についてＡＮＤ演算を実行することによって計 算できることになる。 これら更なるＴＥＲＭ２０６は未定義であるから、ＤＰ２０７はそれらの定義を 請求してくる。エキスパートはＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴ ＩＯＮ（故意の　不真実表示）に関してはＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ 　ＡＮＤ　ＤＥＦＥＮＤＡＮＴ−ＫＮＥＷ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯ Ｎ（不真実表示および被告　知っていた　不真実表示）というＤＥＳＣ２０５を 、またＤＥＴＲＩＭＥＮＴＡＬ　ＲＥＬＩＡＮＣＥ　（損害の　依存性）に関し てはＲＥＬＩＡＮＣＥ　ＢＹ　ＰＬＡＩＮＴＩＦＦ　ＡＮＤ　Ｌｏｓｓ　ＢＹＰ ＬＡＩＮＴＩＦＦ　（原告　による　依存性および原告　による　損失）という ＤＥＳＣ２０５を与える。 再び、これら更なるＴＥＲＭ２０６は未定義であるからＤＰ２０７はそれらの定 義を要求し、エキスパートは図４に示した定義を与える。ＤＰ２０７はいかなる 順序ででも定義を要求できるが、好適な実施例は、次の未定義ＴＥＲＭ２０６に 進む前に所定の未定義ＴＥＲＭ２０６を定義するために必要なすべてのＴＥＲＭ ２０６を定義する。 上記の例では、ＭＩＳＲＥＳＥＮＴＡＴＩＯＮ　（不真実表示）　、ＤＥＦＥＮ ＤＡＮＴ　ＫＮＥＷ　ＭＩＳＲＥＰＲＥＮＴＡＴＩ○Ｎ（被告　知っていた　不 真実表示）、ＲＥＬＩＡＮＣＥ　ＢＹ　ＰＬＡＩＮＴＩＦＦ（原告　による　依 存性）、およびＬｏｓｓ　ＢＹ　ＰＬＡＩＮＴＩＦＦ（原告　による　損失）に 関するＤＥＳＣ２０５はすべて、ＡＳＫ　ＹＥＳ−Ｎｏ演算で使われた、システ ム定義のＤＴＥＲＭ２１１のみを含んでいるから、こんどはＤＰ２０７はこの階 層内の項のすべてに関するＤＥＦ２１３を生成することができる。この階層内の すべてのＤＴＥＲＭ２１１の値は結局は、ＦＲＡＵＤ定義（詐欺の定義）を使う エキスパートシステム２０２のユーザからＡＳＫ　ＹＥＳ−Ｎｏ演算が要求する 値に依存しており、またこうして結局は、原告が自分に起こったことについて言 っていることに依存している。 エキスパートシステム２０２におけるＦＲＡＵＤ定義階層の使用は、エキスパー トシステム２０２のユーザがＣＰ２Ｏ３に入力するＷＨＡＴ　ＦＲＡＵＤコマン ド（詐欺とはなにかコマンド）から始まる。ＣＰ２Ｏ３はＴＩＥ２１９のために 、対応するＷＨＡＴ　ＦＲＡＵＤ　ｌＥＣ２１７を生成する。それからＴＩＥ２ １９はそのＤＥＦ２１３を評価することによってＦＲＡＵＤの値を決定する。 こレヲ行うためにＴＩＥ２１９はＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡ ＴＩＯＮ（故意の　不真実表示）から始めて、この階層内の他のＤＴＥＲＭ２１ １に関するＤＥＦ２１３を評価しなくてはならない。ＫＮＯＷＩＮＧ　ＭＩＳＲ ＥＰＲＩＳＥＮＴＡＴＩ○Ｎの評価はＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ　（ 不真実表示）の評価を必要とする。このＤＴＥＲＭ２１１の評価はそのＤＥＦ２ １３におけるＷＨＡＴ　ＹＥＳ−Ｎｏ演算の実行という結果を生み、そしてＴＩ Ｅ２１９は″彼は真実でないことをなにかあなたに言いましたか？”というプロ ンプトを出力する。もしユーザが″ｎＯ″　（い）え）と答えれば、ＭＩＳＲＥ ＰＲＥＳＥＮＴＡＴＩＯＮ（不真実表示）は偽であり、ＫＮＯＷＩＮＧ　ＭＩＳ ＲＥＰＲＥＳＥＮＴＡＴＩＯＮ（故意の　不真実表示）は偽であり、そしてＦＲ ＡＵＤ（詐欺）は偽となり、したがってＴＩＥ２１９はユーザに詐欺は存在しな いということを示すＴＲＥＳ２２７を返す。もしユーザが、”ｙｅｓ”　（はい ）と答えれば、ＴＩＥ２１９はＤＥＦＥＮＤＡＮＴ　ＫＮＥＷ　ＭＩＳＲＥＰＲ ＥＳＥＮＴＡＴＩＯＮ　（被告　知っていた　不真実表示）を評価し、これは再 びユーザに対する質問という結果を生む。この質問に対する答えによって、評価 は続行するかあるいは完了となる。ＴＩＥ２１９は、ＦＲＡＵＤに関して１つの 値を計算し終わるまで上記の仕方で進行する。 前記のように、エキスパートシステム２０２のユーザはＨＯＷというユーザコマ ンドを使って、エキスパートシステム２０２がどのようにしてＦＲＡＵＤについ てその値に到達したかを決定できる。“′彼は真実でないことをなにかあなたに 言いましたか？”と尋ねられたときに（ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ（ 不真実表示）の定義において）、ユーザが“ｎｏ”と答えたと仮定すると、プロ トタイプにおけるＴＩＥ２１９は下記の出力をすることによってＨＯＷ　ＦＲＡ ＵＤ　（どのように詐欺か）に応答する。 ＦＲＡＵＤ　（詐欺）は（ＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯ Ｎ　ＡＮＤ　ＤＥＴＲＩＭＥＮＴＡＬ　ＲＥＬＩＡＮＣＥ　（故意の　不真実表 示ＡＮＤ損害の　依存性））であると定義されており、この場合（ＫＮＯＷＩＮ ＧＭＩ’５ＲＥＰＲＥＳＥＮＴＡＴＩＯＮ　（故意の　不真実表示））はＦＡＬ ＳＥ（偽）である。 前記のように、ＤＰ２０７はＤＴＥＲＭ２１１に関するＤＥＳＣ２０５をＤＴＥ ＲＭ２１１のＤＥＦ２１３の中に置き、そしてＴＩＥ２１９もまた、ＤＴＥＲＭ ２１１のＤＥＦ２１３を評価する際に受け取った外部値をＤＥＦ２１３の中にＤ ＴＥＲＭ２１１に関するＤＥＦ２１３からＤＥＳＣ２０５を取り出して出力し、 それから尋ねられているＤＴＥＲＭ２１１の値を得るために必要なりＥＦ２１３ 内のＤＥＦ２１１を評価する。それからＤＴＥＲＭ２１１はそれらの値と一緒に 出力される。もしユーザが更に質問したければ、ＨＯＷ演算で出力されたＤＥＳ Ｃ２０５の中で指定されたその他のＤＴＥＲＭ２１１についてＨＯＷ演算を繰り 返すだけでよい。 また前記のように、ユーザはある外部値の要求に対して、ある値の代わりにＷＨ Ｖ（なぜ）コマンドで応答することもできる。ＦＲＡＵＤ　（詐欺）の例のケー スでＴＩＥ２１９が″彼は真実でないことをなにかあなたに言いましたか？１と 尋ねたときに、もしユーザがＷＨＹ（なぜ）と応答するとＴＩＥ２１９は：ＭＩ 　５ＲＥＰＲＥＳＥＮＴＡＴＩ○Ｎ　ＡＮＤ　５ＵＢＪＥＣＴ　ＫＮＥＷＭＩＳ ＲＥＰＲＥＳＥＮＴＡＴＩ○Ｎ（不真実表示ＡＮＤ本人　知っていた　不真実表 示）であると定義されているＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩ ＯＮ（故意の　不真実表示）の値を決定するためにＭＩＳＲＥＰＲＥＳＥＮＴＡ ＴＩＯＮ　（不真実表示）が必要である。 と応答し、そして質問を繰り返す。 再びＷＨＶコマンドに応答するために使われる情報は、ＦＲＡＵＤ　（詐欺）を 定義するために使われた、階層内のＤＥＦ２１３に格納されているＤＥＳＣ２０ ５から得られる。もしユーザがこの時点で更に知りたければ、ＷＨＹコマンドに 応答して言われたＤＴＥＲＭ２１１に対してＨＯＷを適用することができる。 ６、プロトタイプ実施例のＬＩＳＰ環境：図５このようにシェル２０１とシステ ム２０２の構造と動作とについて概念的な概念を述べてきたので、第１のプロト タイプの実現についての詳細な説明に論議を進める。 第１および第２のプロトタイプ実施例は両者ともＬＩＳＰプログラム言語で実現 されており、ＬＩＳＰ環境で実行される。ＬＩＳＰプログラム言語とＬＩＳＰ環 境は、プロトタイプおよび本番用のエキスパートシステムを実現するためにしば しば使われており、またエキスパートシステム技術においてはよく知られている 。これらのプロトタイプ実施例に使われた固有のＬＩＳＰ方言はＣ０ＭＭ０ＮＬ ＩＳＰであって、これはＧｕｙ　Ｌ、５ｔｅｅｌｅ、Ｊｒ、著、Ｃ０ＭＭ０Ｎ　 ＬＩＳＰ、ｔｈｅ　Ｌａｎｇｕａｇｅ、Ｄｉｇｉｔａｌ　Ｐｒｅｓｓ、１９８４ 年発行に述べられている。 こ１ではＬＩＳＰ環境とＬＩＳＰ言語について、プロトタイプの実施例の動作方 式を明瞭に理解するために必要とされるだけの説明をする。 まずＬＩＳＰ言語から始めるが、この方言は、データ処理とは反対に主として、 記号によるプログラム内で表現され記号処理に関係があるという点でＦＯＲＴＲ ＡＮまたはＰＡＳＣＡＬといった言語とは異なる。ＬＩＳＰプログラムの基本的 なコンポーネントはアトムである。アトムは、ＡＢＣというような１つの記号ま たは１つの定数である。これらのコンポーネントは、メンバーを持たないリスト 、あるいはアトムと他のリストを含むメンバーを持つリストを用いてプログラム に編成される。リストはそのメンバーを括弧で囲むことによって作られる。すな わち（ＡＢＣ）は記号ＡＢＣという１個のメンバーを持ったリストである。ＬＩ ＳＰでは関数は、リスト内の最初の記号が関数を表し、その他のアトムはその関 数の引き数を表すリストとして現れる。例えばａｄｄ　（加算）関数はＬＩＳＰ では記号子によって表され、またリスト（＋２３）はアトム２と３に十演算を適 用すべきであるということを指定している。Ｌ　Ｉ　Ｓ　Ｐインタプリタによっ て評価されたときに１つの値を持つアトムまたはリストはいずれも形式（ｆｏｒ ｍ）と呼ばれる。５および（＋２３）は形式であって、また記号ＡＢＣが１つの 値を持つならばそれも形式である。 ＬＩＳＰでは関数はＤＥＦＵＮ関数を用いて定義され、この関数ではリストの残 りの項目は関数名、その引き数、およびこの関数が返す値を定義する。例えば、 （ｄｅｆｕｎ　ｆ　ｉｖｅ　０５）は引き数を取らないで常に値５を返す関数を 定義する。 物事の間で、ＬＩＳＰプログラムはそのプログラムを構成している記号とリスト とを処理することができる。関数定義は単にある種のリストであるから、ＬＩＳ ＰプログラムはＤＥＦＵＮによって作成される新しい記号の名前としである記号 をＤＥＦＵＮに与えることができ、それから新しく作成された関数を実行するた めにこの記号を使うことができる。記号はそれ自身を記号または値のどちらかと して表することができる。ある記号がＬＩＳＰリストの中でそれ自身を１つの記 号として表現しているときには、その記号の先頭に′マークが付けられる。関数 を表す記号の場合、記号の値は関数である。しかしながら関数がその引き数と一 緒に１つのリストの中に置かれてそのリストが評価されると、その結果はその関 数の実行の値となる。こうして、’ｆｉｖｅは記号ｆｉｖｅを表しており、一方 ｆｉｖｅは上記のＤＥＦＵＮによ。て定義された関数を表し、そして（ｆｉｖｅ ）は関数ｆｉｖｅの実行の値、すなわち５を表す。 Ｌ　Ｉ　Ｓ　ＰプログラムはＬＩＳＰ環境で書かれて、また実行される。プロト タイプ実施例に使われたＬＩＳＰプログラムはＷａｎｇ　Ｌａｂｏｒａｔｏｒｉ ｅｓＩｎｃ、製のＰｒｏｆｅｓｓｉｏｎａｌ　Ｃｏｍｐｕｔｅｒ用にＧｏｌｄ　 Ｈｉｌｌ　Ｃｏｍｐｕｔｅｒｓ、Ｉｎｃ、によって作成されたものである。図５ は典型的なＬＩＳＰ環境５０１の概念的ブロック図である。環境５６ｏ１は２つ の主要コンポーネント、すなわちＬＩＳＰ形式を評価するＬＩＳＰインタプリタ ５０３と、１．　Ｉ　Ｓ　Ｐ記号（ＳＹＭ５０１）とそれらの定義（ＳＹＭＤＥ Ｆ５０９）とを格納するＬＩＳＰ記号空間５０５とを持っている。ＤＥＦＵＮ関 数と他のいくつかのＬ工ＳＰ関数は新しいＬ４３Ｐ記号を生成して定義するか、 あるいはこれらの関数がＰされると、予め存在しているＬＩＳＰ記号を再定義す る。その結果、ＬＩＳＰインタプリタ５０３は記号の評価子としてのみならず記 号の作成子、定義子、および再定義子としても見ることができる。 ＬＩＳＰ環境５０１の動作は次の通りである。すなわち、ＬＩＳＰ環境５０１の ユーザが（ｆｉｖｅ）というような形式を含むリストを入力すると、ＬＩＳＰイ ンタプリタ５０３は、記号空間５０５の中で記号ｆｉｖｅの位置を捜し出し、そ のＳＹＭＤＥＦ５０９がなんであるかを決定し、それがらＳＹＭＤＥＦ５ｏ９を 解釈してｆ　ｉｖｅの値を計算することということによって、この形式を評価す る。このケースでは、ＳＹＭＤＥＦ５０９はＤＥＦＵＮ式の評価によって生成さ れた関数ｆ　ｉｖｅに関するコードであって、またその解釈は値５を生成し、イ ンタプリタはこの値５を（ｆｉｖｅ）の値としてユーザに返す。 ＬＩＳＰインタプリタ５０３はＳＹＭ５０７とそれらの対応するＳＹＭＤＥＦ５ ０９とを生成し、記号空間５０５にそれらを格納し、また記号空間５０５内でそ れらの位置を捜し出すことができるがら、ＬＩＳＰ環境５０１は他の言語では実 施の困難な、そしてエキスパートシステムシェルとエキスパートシステムの動作 には必須の演算を自動的に実行する。こういう理由でＬＩＳＰ環境５０１はプロ トタイプのエキスパートシステムとエキスパートシステムシェルとを生成するた めの好適な環境となっている。引き続く論議で分かるように、本発明のプロトタ イプは記号生成演算、定義演算、および位置探索演算を十分に利用している。 ７、第１のプロトタイプ実施例の概念：図６第１のプロトタイプ実施例では、エ キスパートシェル２０１とエキスパートシステム２０２とのコンポーネントはＬ 　Ｉ　Ｓ　Ｐ関数によって実現されている。図６はこれらの関数の概念を示し、 またこれらの関数を図２のコンポーネントとそれらコンポーネントの入力／出力 とに関連付けている。こうしてＣＰ２Ｏ３を構成するＬＩＳＰ関数はＣＰ２Ｏ３ というラベルを持った破線の枠内に含まれ、ＤＰ２０７を構成する関数はＤＰ２ ０７というラベルの付いた破線の枠内にあり、またＴＩＥ２１９を構成する関数 はＴＩＥ２１９というラベルの付いた破線の枠内にある。ＴＳ２１５は１−　Ｉ 　Ｓ　Ｐ記号とそれらの定義とを格納しているＬＩＳＰ記号空間５０５によって 第１のプロトタイプ内に実現されている。第１のプロトタイプ実施例のコンポー ネントには、それらコンポーネントを構成しているＬＩＳＰ関数を実行し、それ らコンポーネントによって生成されるＳＹＭ５０７とＳＹＭＤＥＦ５０９とを記 号空間５０５の中に置き、そしてＳＹＭ５０７とそれらのＳＹＭＤＥＦ５０９と を操作するＬＩＳＰインタプリタ５０３も含まれていることを理解すべきである 。 ＥＸＰＥＲＴ６０３から始めると、ＥＸＰＥＲＴ６０３はプロトタイプ内でＣＰ ２Ｏ３の機能を実行する。ＥＸＰＥＲＴ６０３は入力文字列を受け取り、それを 括弧で囲んで図６でＣＦＯＲＭ６０５と名付けられているＬＩＳＰ形式を生成し 、そしてその形式（ｆｏｒｍ）についてＥＶＡＬ演算を実行する。ＬＩＳＰイン タプリタ５０３がその形式（ｆ　ｏ　ｒｍ）を評価すると、ＥＸＰＥＲＴ６０３ はその形式（ｆ　ｏ　ｒｍ）内の最初の記号をＬＩＳＰ関数７として取り扱い、 またその形式内の残りの項目をその名前付き関数のための引き数のリストとして 取り扱う。 ＥＸＰＥＲＴ６０３に関して予期されている入力文字列は、ＤＰ２０７のための コマンド、すなわちＤＥＦＩＮＥＳＲＥＤＥＦＩＮＥ、ＵＮＤＥＦＩＮＥと、Ｔ ＩＥ２１９のためのコマンド、すなわちＷＨＡＴ、ＨＯＷＳＡＳＳＵＭＥ、ＲＥ ＳＥＴ、ＤＥＦＩＮＩＴＩＯＮＳＳＡＶＥ、ＷＨＹ、およびＲＥＳＴＯＲＥどで ある。ＤＥＦＩＮＥ、ＲＥＤＥＦＩＮＥおよびｔＪＮＤＥＦＩＮＥは図２のＤＰ Ｃ２０４に対応しており、そして残りの文字列は図２のｌＥＣ２１７に対応して いる。第１のプロトタイプ実施例においてはＥＸＰＥＲＴ６０３内に誤り検出が ない。しかしながら商用の実施例ではＥＸＰＥＲＴ６０３は誤った入力を検出し 、またそれに応答するためのコードを含むことになろう。 図６から分かるように、ＤＰ２０７はＬＩＳＰ関数ＤＥＦＴＮＥ、ＲＥＤＥＦＩ ＮＥ、およびＵＮＤＥＦＩＮＥによって第１のプロトタイプに実現されている。 ＥＸＰＥＲＴ６０３がＦＲＡＵＤというようｆｔＴ　Ｅ　ＲＭ　２０６”Ｅ−持 ったＤＥＦＩＮＥコマンドを受け取り、それを（ＤＥＦＩＮＥ　ＦＲＡＵＤ）と 【２てＬＩＳＰインタプリタ５０３に与えると、ＬＩＳＰインタプリタ５０３は 引き数ＦＲＡＵＤによって関数ＣＡＤＥＦＩＮＥを呼び出す。ＤＥＦＩＮＥはユ ーザからＤＥＳＣ２０５を要求し、そしてＤＥＳＣ２０５を使ってＦＲＡＵＤに 関するＤＥＦＵＮ式を生成する。以下更に詳しく説明するように、この呼び出し の結果、ＤＥＦＵＮが下記のように定義するＦＲＡＵＤと名付けられたＬＩＳＰ 関数が得られる：（ｄｅｆｕｎ　ＦＲＡＵＤ　Ｏ （ｐ　ｒ　ｏ　ｇ　ｚ （ｐｕｓｈ　’　ＦＲＡＵＤ　ａｒｇ−ｓｔａｃｋ）（ＡＮＤ　（ＫＮＯＷＩＮ Ｇ−ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ） （ＤＥＲＴＩＭＥＮＴＡＬ−ＲＩＬＩＡＮＣＥ））（ｐｏｐ　Ａｒｇ−ｓｔａｃ ｋ） ＦＲＡＵＤを定義しているうちに、ＫＮＯＷＩＮＧ、ＭＩＳＲＥＰＲＥＳＥＮＴ ＡＴＩＯＮとＤＥＴＲＩＭＥＮＴＡＬ−ＲＥＬＩＡＮＣＥおよびそれらの定義さ れる。ＡＮＤはその引き数にＡＮＤ演算を実行する予め定義されたＬＩＳＰ関数 である。関数ＦＲＡＵＤによって返される値はＡＮＤ演算の結果である。 ＬＩＳＰ関数を表すＬＩＳＰ記号として定義されたＤＴＥＲＭ２１１は以下の論 議ではＴＳＹＭ６１５と名付けられており、またＤＥＦ２１３の本プロトタイプ の実現であるそれらの定義はＤＥＦ’６１７と名付けられている。ＬＩＳＰイン タプリタはＤＥＦＩＮＥ関数に応答してＴＳＹＭ６１５とＴＤＥＦ６１７とを生 成しながらそれらを記号空間５０５の中に置く。第１のプロトタイプのＴＤＥＦ ６１７は図７に示しである。そこに示すように、各ＴＤＥＦ６１７は、ＴＦＮＣ ７０１と、ＴＳＹＭ６１５によって表されるＬＩＳＰ関数と、ＴＤＥＳＣ７０５ と、ＴＳＹＭ６１５の定義の情報源であったＤＥＳＣ２０５の修正されたコピー と、そしてＴＳＹＭ６１５に関してエキスパート２０２のユーザによって指定さ れた最後のＥＸＶＡＬ７０３を含むＴＥＸＶＡＬ７０３とを含んでいる。 ＤＰ２０７内の残りの関数はＤＥＦＩＮＥと同じ仕方でＥＸＰＥＲＴ６０３から 呼び出される。ＲＩＤＥＦＩＮＥは初めに、再定義中のＴＳＹＭ６１５に関する ＴＤＥＦ６１７からＴＦＵＮＣ７０１とＴＤＥＳＣ７０５とを除去するＬＩＳＰ 演算を使い、それからＴＤＥＦ６１７内のＴＦＵＮＣ７０１とＴＤＥＳＣ７０５ に関して新しい値を作成するためにＤＥＦＩＮＥを呼び出す。ＵＮＤＥＦＩＮＥ はＴＳＹＭ６１５の新しい定義を作成せずに、単にＴＦＵＮＣ７０１とＴＤＥＳ Ｃ７０５とを除去する。 第１のプロトタイプ実施例６０１におけるＴＩＥ２１９の実現を続けることにし て、ＬＩＳＰインタプリタ５０３はｌＥＣ２１７を表すＣＦＯＲＭ６０５をＥＸ ＰＥＲＴ６０３から受け取ると、ＣＦＯＲＭ６０５内に指定されているＴＩＥ２ １９内の関数を実行する。ＴＩＥ２１９内の関数が実行されると、これらの関数 はＴＳＹＭ６１５から作られた形式（ＴＦＯＲＭＳ６３９）をインタプリタ５０ ３に与え、このインタプリタはこれらの形式を評価してその結果（ＴＦＯＲＭＲ ＥＳＵＬＴ）を、実行中の関数に返す。 ＴＩＥ２１９内の関数は、ＴＩＥ２１９、ＡＲＧ−５ＴＡＣＫ６３５、ＴＥＲＭ Ｓ−５ＴＡＣＫ６１３、およびＳＹＭ−ＢＯＵＮＤ−ＬＩＳＴ内のデータ構造を 使う。ＡＲＧ−５ＴＡＣＫ６３５から始めると、ＡＲＧ−５ＴＡＣＫ６３５は、 それの定義に使われるＴＳＹＭ６１５の値が計算される間、ＴＳＹＭ６１５を格 納するために使われる。前記の手続きＦＲＡＵＤに関するコードで分かるように 、記号ＦＲＡＵＤは、ＦＲＡＵＤを定義するＡＮＤ演算が実行されてその後でＡ ＲＧ−ＳＴＡＣＫからホップされる前に、ＡＲＧ−５ＴＡＣＫにブツシュされる 。 ＲＥＲＭＳ−３ＴＡＣＫ６１３はＴＳＹＭ６１５のスタックである。このスタッ クはＴＳＹＭ６１５のＴＤＥＦ６１７がいつ生成されたかによって順序付けられ ており、生成されたそのＴＤＥＦ６１７を持つ最初のＴＳＹＭ６１５を最下部に 、また最後のＴＳＹＭ６１５を最上部にしている。以下に詳しく説明するように 、最後のＴＳＹＭ６１５は通常、そのＴＤＥＦ６１７が定義の階層の最上部にあ るＴＳＹＭである。ＳＹＭ−ＢＯＵＮＤ−ＬＩＳＴ６３７は、ＴＳＹＭ６１５に 割り当てられたＥＸＶＡＬ２２５を現在持っているこれらのＴＳＹＭ６１５のリ ストである。 ＴＩＥ２１９内のＬＩＳＰ関数の論理をＷＨＡＴ関数６１９がら始めるとして、 この関数はＥＸＰＥＲＴ６０３へのＷＨＡＴコマンドに応答して実行される。こ のコマンドはＷＨＡＴ　ＤＴＥＲＭ６１１という形式（ｆ　ｏ　ｒｍ）を持って いる。 ＦＲＡＵＮの場合、そのコマンドはＷＨＡＴ　ＦＲＡＵＤとなり、ＥＸＰＥＲＴ ６０３はこれを（ＷＨＡＴ　ＦＲＡＵＤ）に変換する。ＷＨＡＴ関数６１９は初 めに、ＬＩＳＰ関数を使ってその引き数がＴＳＹＭ６１５であるがどうかを決定 し、もしそうであれば関数名である記号を引き数として取るもう一つのＬＩＳＰ 関数を使ってその関数、この場合はＦＲＡＵＤを呼び出す。その結果、ＦＲＡＵ Ｄに関するＴＤＥＦ６１７内のＴＦＵＮＣ７０１が実行される。このＴＦＵＮＣ ７０１が実行されると、ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮに関するＴＦＵＮ Ｃ７０１と、ＤＥＴＲＩＭＥＮＴＡＬ−ＲＥＬＩＡＮＣＥに関するＴＦＵＮＣ７ ０１とはＦＲＡＵＤの値が決定されるまで実行される。所定のＴＳＹＭ６１５に 関するＴＦＵＮＣ７０１が実行されると、その所定のＴＳＹＭ６１５の値を見つ けるために必要などのＴＳＹＭ６１５に関するＴＦＵＮＣ７０１でも実行される 。 必要なＴＦＵＮＣ７０１のすべてが実行されると、これらの実行の結果得られた 値はＴＲＥＳ２２７としてシステム２０２のユーザに返される。もしそのＴＦＵ ＮＣ７０１がＥＸＶＡＬ２２５を必要とするＴＳＹＭ６１５が既にこのような値 を持っていれば、このＴＳＹＭ６１５はＳＹＭ−ＢＯＵＮＤ−ＬＩＳＴ６３７上 にあって、ＴＦＵＮＣ７０１はＴＳＹＭ６１５に関するＴＤＥＦ６１７内のＴＥ ＸＶＡＬ　７０３　ヲ使う。そうテナケレｌｆ、ＴＦＵＮＣ７０１１ｆＥＸＶＡ Ｌ　ＲＥＱを発生して、ユーザからＥＸＶＡＬ２２５を得る。こうしてＬＩＳＰ インタプリタ５０３と共にＷＨＡＴ関数は、その定義が外部値によって決められ たように階層の最上位レベルにあるＴＳＹＭ６１５の値を決定するための推論エ ンジンとして働く。更に、ＷＨＡＴ演算の結果として呼び出されたＴＦＵＮＣ７ ０１がアクティブになっている限り、その対応するＴＳＹＭ６１５はＡＲＧ−５ ＴＡＣＫ６３５上にある。 ＨＯＷ関数６２３はＴＳＹＭ６１５を指定するＨＯＷコマンドに応答して実行さ れる。ＨＯＷ関数６２３は引き数としてこのＴＳＹＭ６１５を取り、またＴＳＹ Ｍ６１５に対応するＴＦＵＮＣ７０１を定義するためにＤＥＦＵＮで使われたリ ストを得るために、引き数ＴＳＹＭ６１５を有するもう一つのＬＩＳＰ関数ＳＹ ＭＢＯＬ−ＦＵＮＣＴＩ○Ｎを使い、そしてＴＦＵＮＣ７０１内の第３のりスト 内の第３のエレメントを得るために、他のＬＩＳＰ関数を使う。前記のＦＲＡＵ Ｄ関数から分かるように、このエレメントは関数の値を導き出す演算を定義する リスト、すなわちＦＲＡＵＤにおいてはリスト（ＡＮＤ　（ＫＮＯＷＩＮＧ−Ｍ ＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ）　（ＤＥＴＲＩＭＥＮＴＡＬ−ＲＥＬＩＡ ＮＣＥ））である。ＨＯＷ関数はこのリストを受け取り、ＴＩＥ２１９のＤＥＦ ＩＮＩＴＩＯＮ関数を使ってＨＯＷコマンドに使われたＴＳＹＭ６１５に関する ＴＤＥＳＣ７０５を表示し、それからＴＦＵＮＣ７０１から検索されたリスト内 のＴＳＹＭ６１５を評価し、そして適当な説明文のテキストと共にその結果を出 力する。 エキスパート２０２のユーザは、ＴＳＹＭ６１５の評価中に出力されるＥＸＶＡ Ｌ　ＲＥＱに応答してＥＸＰＥＲＴ６０３またはＴＩＥ２１９のいずれかにＷＨ Ｖコマンドを入力できる。ＷＨＹ関数は、引き数としてＴＳＹＭ６１５を用いて も用いなくても呼び出すことができる。第１のケースでは、この関数は、現在評 価中のＴＦＵＮＣ７０１に対応するＴＳＹＭ６１５であって、その評価がユーザ が応答している可能性があるＥＸＶＡＬ　ＲＥＱを生成する、現在ＡＲＧ−５Ｔ ＡＣＫ６３５の最上部にあるＴＳＹＭ６１５に対して働き、また第２のケースで はこの関数はユーザから与えられるＴＳＹＭ６１５に対して働く。いずれのケー スでもその次のステップはＡＲＧ−３ＴＡＣＫ６３５内でその前のＴＳＹＭ６１ ５の位置を捜し当てることであって、このＴＳＹＭ６１５は、ＷＨＹによって処 理中のＴＳＹＭ６１５に対応する関数の評価に導くように評価したＴＦＵＮＣ７ ０１に対応するＴＳＹＭ６１５である。その前のＴＳＹＭ６１５が存在しなけれ ばＷＨＶコマンドは無意味となり、対応するメツセージがユーザに出力される。 その前のＴＳＹＭ６１５が存在すれば、適当な説明文のテキストと共にその先行 ＴＳＹＭ６１５に関する定義がＤＥＦＩＮＩＴＩ○Ｎ関数を続けることにして、 この間数を呼び出す、ＥＸＰＥＲＴ６０３へのコマンドは引き数としてＴＳＹＭ ６１５を持つことも持たないこともあり得る。第１のケースではＴＤＥＦ６１７ 内のＴＤＥＳＣ７０５が出力され、第２のケースではＴＥＲＭＳ−５ＴＡＣＫ６ １３上のすべてのＴＳＹＭ６１５に関するＴＤＥＳＣ７０５が出力される。 ＡＳＳＯＭＥ関数は、ＴＳＹＭ６１５と値とを指定するＡＳＳＵＭＥコマンドニ ヨっテ呼び出すｔｔル。このＴｓＹＭ６１５はそのＴＦＵＮＣ７０１がＥＸＶＡ Ｌ２２５を要求するものでなくてはならない。ＡＳＳＵＭＥは初めに、ＷＨＶコ マンドが成功する前にＴＳＹＭ６１５が再評価されるようにＡＲＧ−５ＴＡＣＫ ６３５を空にし、それからＴＤＥＦ６１７内のＴＥＸＶＡＬ７０３を引き数とし て受け取った値にセットし、そしてＴＳＹＭ６１５をＳＹＭ−ＢＯＵＮＤ−ＬＩ ＳＴ上に置いてこれがＴＥＸＶＡＬ７０３を持っていることを示す。 ＲＥＳＥＴ関数はＲＥＳＥＴコマンドによって呼び出され、このコマンドはＴＳ ＹＭ６１５を指定することもしないこともある。第１のケースではＴＳＹＭ６１ ５に対応する、ＴＤＥＦ６１７内のＴＥＸＶＡＬ７０３のみがリセットされ、第 ２のケース出はすべてのＴＥＸＶＡＬ７０３がリセットされる。ＲＥＳＥＴ関数 は前に述べた理由から初めにＡＲＧ−３ＴＡＣＫ６３５を空にする。もしＴＳＹ Ｍ６１５が指定されれば、ＲＥＳＥＴ関数はＴＳＹＭ６１５からＴＥＸＶＡＬ７ ０３を解放してそれをＴＤＥＦ６１７から効果的に除去し、そしてＳＹＭ−ＢＯ ＵＮＤ−ＬＩＳＴ６３７からＴＳＹＭ６１５を除去する。もしＴＳＹＭ６１５が 指定されなければ、ＲＥＳＥＴはＳＹＭ−ＢＯＵＮＤ−ＬＩＳＴ６３７上のすべ てのＴＳＹＭ６１５について上記の演算を実行する。 ５ＡＶＥ関数は、（−レ（’ｔＬ〕Ｔ　Ｓ　ＹＭ　６１５　＋：関するＴＤＥＳ Ｃ７０５を伴った各ＴＳＹＭ６１５ごとに１個のＤＥＦＩＮＥコマンドを含むフ ァイルを作成する。ＤＥＦＩＮＥコマンドは、ＴＳＹＭ６１５がＴＥＲＭＳ−５ ＴＡＣＫ６１３内に現れる順序で現れる。５ＡＶＥはＴＥＲＭＳ−５ＴＡＣＫ６ １３内の各ＴＳＹＭ６１５ごとにこのファイルに次のもの、すなわち文字列ＤＥ ＦＩＮＥと、ＴＳＹＭ６１５を表す文字列と、ＴＳＹＭ６１５に関するＴＤＥＳ Ｃ７０５を表する文字列とを出力することによって働く。この結果得られるファ イルはＴＤＥＳＣ７０５のベースになっているＤＥＳＣ２０５がＤＰ２０７に入 力された順序でＴＤＥＳＣ７０５を含んでいる。 ＲＥＳＴＯＲＥ関数は前にセーブされたＴＳＹＭ６１５を復元する。これはファ イルに対してＬＩＳＰのロード演算を実行することによってこれを行う。このロ ード演算ではファイル内のＬＩＳＰ記号が評価される。このケースでは、評価の 結果、復元されたファイル内の、ＤＥＦＩＮＥコマンドで指定されたＴＳＹＭ６ １５とそれらのＴＤＥＦ６１７とが生成される。 １０．ＤＥＦＩＮＥ６０７の詳細な説明：図８図８はＤＥＦＩＮＥ関数とそれに よって再帰的に呼び出される関数とが所定のセットのＴＳＹＭ６１５に関するＴ ＤＥＦ６１７の階層をどのようにして生成するかを示す。前述のように、ＤＥＦ ＩＮＥがＴＤＥＦ６１７の階層を生成する仕方は各ＴＥＲＭ２０６が完全に定義 されることと、１つの所定のＴＥＲＭ２０６がただ１つの定義を持つこととを保 証する。 図８はＤＥＦＩＮＥと、ＤＥＦＩＮＥによって呼び出される主な関数と、ＴＳＹ Ｍ６１５とＴＤＥＦ６１７とを生成するためのデータがこれらの関数間を流れる 仕方とを示す。 ＤＥＦＩＮＥ６０７はＴＥＲＭ２０６からＤＴＥＲＭ２１１を生成する。ＤＥＦ ＩＮＥがＤＴＥＲＭ２１１を返すと、ＤＴＥＲＭ２１１に対応するＴＳＹＭ６１ ５とＴＤＥＦ６］、７とが生成される。ＤＥＦＩＮＥ６０７はＥＸＰＥＲＴ６０ ３とＲＥＳＴＯＲＥ６３３とによって呼び出され、更にこれは自分自身によって 、またＰＲＯＣＥＳＳ−ＦＵＮＣＴＩＯＮ８１１によって再帰的に呼び出される 。 ＥＸＰＥＲ，Ｔ６０３はＤＥＦＩＮＥ記号と、定義すべきＴＥＲＭ２０６とを含 むＣＦＯＲＭ６０５を備えており；ＲＥＳＴＯＲＥ６３３はＤＥＦＩＮＥ記号と 、予めセーブされたＤＴＥＲＭ２１１のコピーであるＴＥＲＭ２０６と、そのＤ ＴＥＲＭ２１１に関するＴＤＥＳＣ７０５のコピーとを含むＣＦＯＲＭ６０５を 備えている。ＤＥＦＩＮＥ６０７が再帰的に呼び出されると、その入力はもう一 つの定義さるＴＥＲＭ２０６のＤＥＳＣ２０５に使われるＴＥＲＭ２０６になる 。 一般的に言って、ＴＥＲＭ２０６は単一の記号である。しかしＤＥＳＣ２０５が Ｃａ５ｅ文を含むときには、ＴＥＲＭ２０６はリストになることがある。このケ ースでは、ＤＥＦＩＮＥはＣ０ＮＶＥＲＴ８０９を呼び出してリストをＬＩＳＰ 形式に変換し、それから再帰的に自分自身を呼び出して未定義のＴＥＲＭ２０６ のおのおのをＬＩＳＰ形式で定義する。次にＤＥＦＩＮＥ６０７はＴＥＲＭ２０ ６がＬＩＳＰ記号であるかどうかを決定する。もしＬＩＳＰ記号でなければＤＥ ＦＩＮＥ６０７は単にＴＥＲＭ２０６を変更しないま１で返す。もしＬＩＳＰ記 号であれば、ＤＥＦＩＮＥ６０７はＴＥＲＭ２０６がＲＥＳＴＯＲＥ６３３によ って与えられたものであるかどうか決定する。もし与えられたものであれば、Ｄ ＥＦＩＮＥ６０７はＴＥＲＭ２０６とＴＤＥＳＣ７０５のコピーとをＧＥＴＤＥ Ｆ８０５に与え、そしてＧＥＴＤＥＦ８０５によって、すなわちそのエレメント がＴＥＲＭ２０６であるリストによって返された値を返す。もしＴＥＲＭ２０６ がＲＥＳＴＯＲＥ６０３によって与えられなかったのであれば、ＤＥＦＩＮＥ６ ０７はＴＥＲＭ２０６に関するＴＳＹＭ６１５が既に存在しているかどうか、あ るいはＴＥＲＭ２０６がリテラルであるかどうか（すなわちＴＤＥＳＣ７０５の コピーが存在しなかったかどうか）を決定する。どちらかのケースであれば、Ｄ ＥＦＩＮＥはそのエレメントがＴＥＲＭ２０６であるリストを返す。もしその他 のケースがいずれも真でなかったとすれば、ＴＤＥＳＣ７０５のコピーなしでＤ ＥＦＩＮＥ６０７によってＧＥＴＤＥＦ８０５が呼び出される。 ＧＥＴＤＥＦ８０５はＤＥＦＩＮＥ６０７から未定義の項（ＵＴＥＲＭ）８０３ を受け取る。そしてその項に関するＴＤＥＳＣ２０５のコピーも受け取ることが あり得る。第１のケースではＧＥＴＤＥＦはユーザからＤＥＳＣ２０５を取得し 、第２のケースではそれは単にＴＤＥＳＣ７０５を使う。次にＧＥＴＤＥＦはＣ ０ＮＶＥＲＴ８０９を呼び出してＴＤＥＳＣ７０５をＬＩＳＰ形式のＣＤＥＳＣ ８０７に変換する。次に、ＵＴＥＲＭ８０３とＣＤＥＳＣ８０７は、ＵＴＥＲＭ ８０３に関１．てＴＦＵＮｃ７０１を返すＰＲＯＣＥＳＳ−ＦＵＮＣＴＩＯＮ８ １１に与えられる。最後に、ＧＥＴＤＥＦ８０５はＴＳＹＭ６１５をＴＥＲＭ− ３ＴＡＣＫ６１３上に置き、ＵＴＥＲＭ８０３に対応するＤＴＥＲＭ２１１から なるリストをＤＥＦＩＮＥ６０７に返す。 Ｃ０ＮＶＥＲＴ８０９はＤＥＦＩＮＥ６０７またはＧＥＴＤＥＦ８０５によって 呼び出される。これはその呼出し元からＤＥＳＣ２０５を受け取り、それをＬＩ ＳＰ形式、ＣＤＥＳＣ８０７にｉ換する。Ｃ０ＮＶＥＲＴ８０９はこのＣＤＥＳ Ｃ８０７を呼出し元に返す。ＰＲＯＣＥＳＳ−ＦＵＮＣＴＩＯＮ８１１はＵＴＥ ＲＭ８０３とＣＤＥＳＣ８０７とを受け取り、ＵＴＥＲＭ８０３をＤＥＦＩＮＥ −ＦＵＮＣＴＩＯＮ８１３ｉ：渡し、ＤＥＦＩＮＥ−ＦＵＮＣＴＩＯＮ８１３か らＴＦＵＮＣ７０１を受け取り、ＴＦＮＣ７０１をＧＥＴＤＥＦ８０５に返し、 そしてＵＴＥＲＭＬ８１５を生成する。このＵＴＥＲＭＬ８１５はまだ定義され ていなかった、ＣＤＥＳＣ８０７からのＵＴＥＲＭ８０３のリストである。それ からＰＲＯＣＥＳＳ−ＦＵＮＣＴＩＯＮはＵＴＥＲＭＬ８１５上の各ＵＴＥＲＭ ８０３ごとにＤＥＦＩＮＥ６０７を呼び出す。最後に、ＤＥＦＩＮＥ−ＦＵＮＣ ＴＩＯＮ８１３はＴＦＵＮＣ７０１に関するＤＥＦＵＮを生成して評価し、それ によってＴＦＵＮＣ７０１を生成し、このＴＦＵＮＣをＰＲＯＣＥＳＳ−ＦＵＮ ＣＴＩＯＮ８１１に返し、こんどはこのＰＲＯＣＥＳＳ−ＦＵＮＣＴＩＯＮがＴ ＦＵＮＣ７０１をＧＥＴＤＥＦ８０５に返す。 上記の説明から理解できるように、ＤＥＦＩＮＥ６０７の再帰呼出しは、呼び出 されたＤＥＦＩＮＥに関するＴＥＲＭ２０６を定義するために必要とされるＴＥ ＲＭ２０６のすべてが定義し終わるまで続けられる。またこれらＴＥＲＭ２０６ がすべて定義し終わった時点でのみ、ＤＥＦＩＮＥ６０７はＴＥＲＭ２０６に対 応するＤＴＥＲＭ２１１を返す。シェル２０１のユーザは所定のＴＥＲＭ２０６ を定義するために必要なすべてのＴＥＲＭ２０６を定義しなくてはならず、また ＴＥＲＭ２０６にはただ１つの定義を与えることができるだけであるから、ＤＥ ＦＩＮＥ６０７は１つの項２０６に関する１セツトの定義が完全であって矛盾が ないことを保証している。 １１、プロトタイプ実施例２：図９ プロトタイプ実施例２は、ユーザインタフェースの改善とユーザエラーからのよ り強力な回復とを含め、プロトタイプ実施例１に比べて多くの改良点を持ってい る。プロトタイプ実施例２に含まれる最も重要な改良点の中には図９の概念に示 したＴＤＥＦ６１７とＷＨＡＴについてのプロトタイプ１とは別の実施例がある 。 ＴＤＥＦ９０１はＴＤＥＦ６１７が含んでいたと同様にＴＤＥＳＣ７０５とＴＥ ＸＶＡＬ７０３とを含んでいる。これはＴＦＵＮＣ７０１を含まないで２つの新 しいフィールド：ＴＦＯＲＭ９０３とＴＴＹＰＥ９０５とを含んでいる。この変 更は、プロトタイプ実施例１にあった難点、すなわち定義すべきＴＥＲＭ２０６ が既に記号空間５０５内のなにか他のＬＩＳＰ記号に対応しているかもしれない ということを解消するために行われた。こういうケースではＴＥＲＭ２０６に関 してＤＥＦＩＮＥ６０７によって生成された定義はその記号の、以前から存在し ている定義に取って替わることになっていた。この問題はプロトタイプ実施例２ では、それ自身は関数として実行可能ではないがＴＩＥ２１９内のＥＶＡＬＵＡ ＴＯＲ関数９１１によって実行できるＬＩＳＰ形式、ＴＦＯＲＭ９０３にＴＦＮ Ｃ７０１を取り替えることによって解決される。ＴＴＹＰＥ９０５はＴＦＯＲＭ ９０５がＥＶＡＬＵＡＴＯＲ９１１によって実行されるときに返される値の種類 についての情報を含んでいる。 図９の残りの部分は、プロトタイプ実施例２におけるＷＨＡＴ関数９０７とＥＶ ＡＬＵＡＴＯＲ９１１との間の関係を示す。ＷＨＡＴ９０７は以前と同じよう＋ ：ＥｘｐＥＲＴ６０３からＷＨＡＴ　ＣＦＯＲＭ６０ｓを受け取ルカ、単ｔ、− ＷＨＡＴに引き数として与えられたＴＳＹＭ６１５についてのＬＩＳＰ評価演算 を実行する代わりに、ＴＳＹＭ６１５に関するＴＤＥＦ９０１からのＴＦＯＲＭ ９０３を評価演算子９１１に与え、こんどはこの評価演算子がＴＦＯＲＭ９０３ で指定された演算を実行するためにＬＩＳＰ形式を生成して、これらのＬＩＳＰ 形式をＬＩＳＰインタプリタ５０３に与える。ＬＩＳＰインタプリタ５０３はＬ ＩＳの結果をＴＲＥＳ２２７にして、これをＷＨＡＴ９０７に返す。こんどはＷ ＨＡＴ９０７がこのＴＲＥＳ２２７をユーザに返す。 １２、定義ベースのエキスパートシステムの更なる発展本特許出願の前半の部分 で述べた定義ベースのエキスパートシステムの更なる経験と発展は、定義ベース のエキスパートシステムが以前に考えられてしまたよりも広汎に適用可能である ことを示している。更なる発展はまた項の定義で指定できる多数の新しい演算の 生成と、新しい値の型の開発とを生む結果となってνする。 以下の追加資料は初めに、定義ベースのエキスパートシステムがアプリケーショ ン開発システムとしてどのように使えるかということと、新しい演算のいくつか がどのようにしてこういう定義ベースのエキスパートシステムの有用性を大ν） に増加させるかということとを説明し、それからその他の新しい演算と新しい値 の型とを開示する。 １３、定義ベースのエキスパートシステムを使りたアプリケーション開発システ ム 歴史的には、コンポーネントのアプリケーションは、ＣＯＢ　ＯＬとかＣといっ た言語と、アプリケーションが開発されているコンポーネントシステムとについ て専門の知識を持ったコンピュータプログラマによって、こういった言語で書か れてきた。この事実は多くの好ましくない結果をもたらした。第１に、標準のコ ンピュータ言語でアプリケーションを書くことは骨の折れる工程であって、簡単 なアプリケーションでさえ数千の命令を必要とする。第２に、標準のプログラム 言語でプログラミングするために必要な技術的熟練度がプログラマを不足にし、 また高価にしてきた。第３に、そして恐らく最も重要なことであるが、プログラ ム言語とコンピュータシステムについては理解しているが、アプリケーションプ ログラムが遂行しようとしている仕事については理解していないプログラマと、 仕事については理解しているがプログラム言語とコンピュータシステムについて はなにも理解していないアプリケーションプログラムを企画したユーザとの間に 、情報伝達の困難さが存在していた。その結果、ユーザが望むように動作させる までになん回もアプリケーションプログラムを書き直さなくてはならないという ことが頻繁に起こっている。 上記の問題が近年になって、仕事志向のアプリケーション開発システムの創作へ と導くことになった。すなわちこれらのシステムはアプリケーションが意図する 分野で働く人々によく知られている言葉でそのアプリケーションを記述する。 こういうアプリケーション開発システムの利点は明らかであって：多くの場合、 これらのアプリケーションは、それらのユーザによって開発可能であり、もはや プログラマを必要としない。プログラムがなお必要となる場合でも、仕事志向の アプリケーション開発システムの使用により、設計過誤の確率が減り、プログラ マとユーザとの間の情報伝達が簡単になり、そして書かなくてはならないコード の量は大巾に減少する。 本特許出願で述べた定義的エキスパートシステムはこういった仕事志向のアプリ ケーション開発システムの一例である。従来技術のルールベースのエキスパート システムはしばしば専門のナレッジエンジニアとコンピュータプログラマを必要 としたが一方、本特許出願定義ベースのエキスパートシステムは−まとめの知識 を定義の階層として表現できる人であればだれでも開発することができる。例え ば、本特許出願に示すように、詐欺の法的定義を理解している法律家なら、詐欺 が行われたかどうかを素人が対話的に決定できるようにする定義的エキスパート システムを開発することができる。同様に、申込者に融資を承諾すべきかどうか をどのようにして銀行が決定するかを理解している銀行家であれば、融資を承諾 すべきかどうかを対話的に決定する定義的エキスパートシステムを開発すること ができる。 仕事嗜好のアプリケーション開発システムとしての定義的エキスパートシステム の有用性は、定義が属している項が評価されるときに値を取得することに加えて コンピュータシステムに演算を実行させる、定義内のいくつかの新しい演算子に よって大いに向上した。これらの新しい演算子の追加によって定義的エキスパー トシステムは、高度に対話的なアプリケーションを開発するための汎用のアプリ ケーション開発システムになった。こういうアプリケ−シコンの例としては゛′ 自動不動産業者”と呼ばれるようなものがある。このアプリケーションは、ユー ザのスペースの要求条件、建築上の好み、および財政状況に関する情報を与える ように対話的にユーザをプロンプトし、それから現在売り出されていてユーザの 要求条件に合う家屋のイメージをユーザに示す。 １４、“″副作用”演算子 前述の特許出願で説明したように、項推論エンジン（ＴＩＥ）２１９（図２）が ＷＨＡＴ推論エンジンコマンド２１７に応答しである特定の定義された項（ＤＴ ＥＲＭ）２１１に関するエキスパート応答を生成する場合には、この推論エンジ ンは定義された項２１１の定義（ＤＥＦ）２１３を評価することによってそのエ キスパート応答を生成する。もしその定義が他の定義された項２１１を含んでい れば、これらの項に関する定義２１３は、その特定の定義された項２１１に関す る定義の階層内のすべての定義された項２１１が評価されてしまうまで評価され る。上記から分かるように、すべてのＤＥＦ２１３は、定義が評価されるときあ る値を返なくてはならない。しかしながら１つの定義の評価は１つの値を生成す るよりも多くのことをすることがある。例えば、前述の特許出願の中で開示され たようなＡＳＫ演算子は次の形式を持っている：ＡＳＫ　ＮＵＭＢＥＲ”プロン プト文字列”この演算子を含む定義２１３を持っている項２１１が評価されると 、“プロンプト文字列”によって指定されたプロンプトが表示装置に出力され、 このプロンプトに対するユーザの応答がこの演算子の値として返される。このケ ースでは、項２１１を評価することは、ユーザの応答によって指定された値を返 すということだけでなく、表示装置へのプロンプトの出力と入力された値の受信 とを含む表示関連の演算という動作をも生じる結果となった。これらその他の演 算は、定義２１３の評価の副作用であるから一般に“副作用”と呼ばれる。 定義ベースのエキスパートシステムの開発を更に続けて行くうちに、自分で作り 出す副作用が主要目的となっている演算子を含むことが有益であることが分かっ てきた。目下の好適な実施例では、これらの演算子のおのおのは、演算が成功し たときには論理（ｉＴＲＵＥ（真）を定義するために使われる項を与え、そうで ないときにはエラーを表示する。更に、この演算に必要な情報はそれ自身、１つ の項２１１によって指定できる。目下の好適な実施例のこれらの演算子には下記 のものがある： Ｃ０ＰＹはこの演算子で指定された１つのファイルをそこに指定されたもう一つ のファイルにコピーする。 ＤＥＬＥＴＥはこの演算子で指定されたファイルを削除する。 ＤＩＳＰＬＡＹは表示装置に情報を表示する。その情報源は演算子で指定された テキスト文字列か、テキストファイルか、あるいはイメージのこともある。 ＰＲＩＮＴはこの演算子で指定されたテキスト式を演算子で指定されたファイル に出力する。 ＲＥＮＡＭＥは、この演算子で指定されたファイルを再命名する。 ＤＩＳＰＬＡＹ演算子の詳細な論議は、上記の演算子に関連する原則を具体例で 示すのに役立つであろう。 １５、ＤＩＳＰＬＡＹ演算子の詳細な論議以下の説明では、ＤＩＳＰＬＡＹ演算 子の構文と関数の論議の後にこの演算子の実現についての論議を行う。ＤＩＳＰ ＬＡＹ演算子の構文は下記の規約を用いて示される： １、大文字の名前は項２１１または式を示す。式は項２１１を含めて、ある値を 持つものである。 ２、角括弧はオプション項目を示す。 目下の好適な実施例では、ＤＩＳＰＬＡＹ演算子の２つのクラスがある。この演 算子の１つのクラスで定義された項２１１の評価はテキストの表示という結果を 生み、別のクラスによる場合はイメージの表示という結果を生じる。第１のクラ スから始めると、ＤＩＳＰＬＡＹおよびＤＩＳＰＬＡＹ　ＦＩＬＥという２個の 演算子がある。ＤＩＳＰＬＡＹ演算子の場合、表示されるテキストは定義ベース エキスパートシステムにとって内部のものであるが、ＤＩＳＰＬＡＹ　ＦＩＬＥ の場合は、そのテキストはＭＳＤＯＳファイルに含まれている。 ＤＩＳＰＬＡＹ演算子の構文は次の通りである：ｄｉｓｐｌａｙ　ＴＥＸＴ−Ｅ ＸＰＲＥＳＳＩＯＮ［ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮ、　、　、　） こうしてＤＩＳＰＬＡＹは１つ以上の表示すべきテキスト式を指定する。テキス ト式は、値としてテキスト文字列を生成する定義ベースのエキスパートシステム におけるいかなる構文要素であってもよい。こうして式は、１つの定数であるが 、テキスト式と評価される１つの項２１１であるか、定数と項２１１とそしてテ キスト文字列という結果を生む演算子との組合せであるかである。もちろん他の 定義におけると同様に、もしＤＩＳＰＬＡＹ演算子内の項２１１がまだ定義され てなかった場合には、定義プロセッサ２０７がその項に関する定義を要求する。 例えば、下記の表示演算子： ｄｉｓｐｌａｙ”Ｈｉ” で定義されたＳＡＹ　ＨＩという項２１１は、評価されると表示装置上に”Ｈｉ ”と表示されるであろう。 ＤＩＳＰＬＡＹ　ＦＩＬＥの場合は、テキストは定義ベースのエキスパートシス テムの外部のＭＳＤＯＳファイルに含まれている。ＤＩＳＰＬＡＹ　ＦＩＬＥの 構文は次の通りである。 ｄｉｓｐｌａｙ　ｆｉｌｅ　ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮこの演算子の場合 、ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮの値はＭＳＤＯＳテキストファイルの名前で なくてはならない。この演算子で定義された項２１１を評価するとＴＥＸＴ−Ｅ ＸＰＲＥＳＳＩＯＮによって識別されるファイルの内容が表示装置に表示される 。 イメージに関する２つの表示演算子のうちの第１のものはＤＩＳＰＬＡＹ　ＰＩ ＣＴＵＲＥであって、これは多くの標準的イメージフォーマットの中の１つでＭ ＳＤＯＳファイルに格納されているイメージを表示する。その構文は次の通りで ある： ｄｉｓｐｌａｙ　ｐｉｃｔｕｒｅ　ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮＣＳＩＺＥ 〕 ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮの値ハソノイメージを含んでいるＭＳＤＯＳの ファイルの名前でなくてはならない。５ＩＺＥはイメージの最初のサイズを決定 する４つの値、すなわちｔｉｎｙ（とても小さい）、ｓｍａｌｌ（小さい）、ｎ ｏｒｍａｌ（普通）、およびｌａｒｇｅ　（大きい）の中の１つを持つことがで きる。この演算子で定義された項２１１が評価されると、そのファイル内のイメ ージが表示装置上に現れる。 イメージに関する第２の表示演算子は、ＰＣ−ＷＩＩＳと呼ばれるＷａｎｇＬａ ｂｏｒａｔｏｒｉｅｓ、Ｉｎ仁イメージ管理システムによって提供されるイメー ジを表示する。ＰＣ−ＷＩ　ＩＳは、ＭＳＤＯＳ　ＷＩＮＤＯＷＳ表示管理シス テムを実行しているＩＢＭ　ＰＣ型のパーソナルコンピュータ用に実現されてい る。この演算子は次の構文を持つ′ｄ　ｉ　ｓｐ　ｌ　ａｙ　”＊ＷＩ　工ＩＳ ＊″ＴＥＸＴ−ＥＸＰＲＥＳＳＩ○Ｎこのケースでは、ＴＥＸＴ−ＥＸＰＲＥＳ ＳＩＯＮの値はＰＣ−ＷＩＩＳイメージファイルのバス名でなくてはならない。 この演算子によって定義された項２１１が評価されると、ＰＣ−ＷＩＩＳはその ファイル内のイメージを表示装置に表示する。 アプリケーションで前に論議した演算子のような副作用演算子は、ＬＩＳＰ環境 ５０１　（図５）に格納され、ＬＩＳＰインタプリタ６０３によって実行される ＬＩＳＰ関数によって実現されている。ＬＩＳＰ環境５０１は、ＭＳＤＯＳファ イルをオーブンし、クローズし、読み取り、削除し、また所定のＭＳＤＯＳファ イルが存在するかどうかを指示する内蔵型のＬＩＳＰ関数を含んでいる。これら の関数は、ＤＥＬＥＴＥ演算子、ＲＥＮＡＭＥ演算子、ＤＩＳＰＬＡＹ演算子、 およびＤＩＳＰＬＡＹ　ＦＩＬＥに関するＬＩＳＰ関数を実現するために使われ る。このほかの関数は、ＭＳＤＯＳによって実行すべきプログラムとそのプログ ラム用のパラメータとを指定する内蔵型のＬＩＳＰ　ｓｙｓ：ｄｏｓ関数を用い て実現される。ＬＩＳＰインタプリタがｓｙｓ：ｄｏｓ関数を実行すると、その 結果はＭＳＤＯＳへのソフトウェア割込みとなり、ＭＳＤＯＳはＬＩＳＰインタ プリタの実行を中断して、ｓｙｓ：ｄｏｓ関数で指定されたプログラムを実行す る。ｓｙｓ：ｄｏｓ関数で指定されたプログラムの実行が終わると、ＬＩＳＰイ ンタプリタの実行が再開される。 イメージに関するＤＩＳＰＬＡＹ演算子はｓｙｓ：ｄｏｓの使用例としては役立 つであろう。ＤＩＳＰＬＡＹ　ＰＩＣＴＵＲＥのケースでは、ｓｙｓ：ｄｏｓに よって実行されるプログラムは表示すべきイメージのファーマットを決定し、そ れからイメージを表示する。表示後、ＬＩＳＰインタプリタの実行が再開される 。ＰＣ−ＷＩＩＳイメージを表示するために使われるＤＩＳＰＬＡＹのこのバＷ Ｓ表示管理プログラムを実行し、それからＰＣ−ＷＩ　ＩＳイメージシステムを 初期化するために必要とされるようにＭＳＤＯＳ　ＷＩＮＤＯＷＳからＰＣ−Ｗ ＩＩＳを実行し、そしてその上で本発明の定義ベースのエキスパートシステムを ＭＳＤＯＳ　ＷＩＮＤＯＷＳから実行するということを前提としている。これら の状況下ではＬＩＳＰ　ｓｙｓ：ｄｏｓ関数はｓｙｓ：ｄｏｓ関数で指定された プログラムをＭＳＤＯＳウィンドウズの下で実行するという結果を生む。好適な 実施例では、ｓｙｓ：ｄｏｓ関数で指定されたプログラムは単に、この関数で指 定されたイメージファイルをオーブンするＰＣ−ＷＩＩＳルーチンを呼び出し、 表示装置にイメージを表示する、もう一つのＰＣ−ＷＩＩＳルーチンを呼び出し 、それから、イメージファイルをクローズする３番目のＰＣ−ＷＩＩＳＪレーチ ンを呼び出してからそれを返すということによりユーザの打鍵入力に対する応答 を行う。返却すると、ＬＩＳＰインタプリタは再び続行される。前述の自動不動 産業者アプリケーションでは、家屋のイメージはＰＣ−ＷＩＩＳによって管理さ れていて、ＤＩＳＰＬＡＹ”＊ＷＩＩＳ＊”演算子がイメージの表示を行わせる 。 １６、ＣＡＬＬ演算子 ＣＡＬＬ演算子は、この演算子によって定義された項２１１が評価されるときに 呼び出される非ＬＩＳＰ関数を指定する。この関数によって返される値がその項 の値となる。前記のことから明らかなように、非ＬＩＳＰ関数は、主としてその 関数が返す値のためか、その関数の実行によって生じる副作用のためか、そのど ちらのためでも呼び出すことができる。この演算子は次の構文を持っている二ｃ ａｌｌ　ＴＥＸＴ−ＥＸＰＲＥＳＳＯＮ［、ｕｓｉｎｇ　５ＰＥＣ−ＬＩＳＴ〕 　（、ｒｅｔｕｒｎｉｎｇ　ＮＵＭＢＥＲ−３ＰＥＣＩＴＥＸＴ−ＥＸＰＲＥＳ ＳＩＯＮは評価されたとき、呼び出されている非ＬＩＳＰ関数の名前を生成しな くてはならない。この関数は、Ｃプログラム言語のインタフェース規格に従う関 数ならいかなる関数でもよい。５ＰＥＣ−ＬＩＳＴは、呼び出されている非ＬＩ ＳＰ関数のための実引き数の値を指定する式のリストである。好適な実施例では 、式はスカラー値または文字列値を持たなくてはならない。非ＬＩＳＰ関数が数 学的関数であるとき、その関数が返す値の型はＮＵＭＢＥＲ−ＳＰＥＣを使って 指定できる。選択できる型は、ｄｏｕｂｌｅ　（倍精度）、ｆｌｏａｔ（浮動少 数点）、ｉｎｔ　（整数）、ｌｏｎｇ　（長精度）、ｕｎｓｉｇｎｅｄ　ｉｎｔ 　（符号なし整数）、およびｕｎｓｉｇｎｅｄ　ｌｏｎｇ　（符号なし長精度整 数）である。省略値はｉｎｔ　（整数）である。 好適な実施例では、呼出し演算子は、その呼出しのためにオペレーティングシス テムの介入が必要でないときにＬＩＳＰインタプリタが非ＬＩＳＰプログラムに 呼出しを行うことを可能にする外部プログラムインターフェースを用いて実現さ れる。この外部プログラムインターフェースは、呼出し演算子で指定されたすべ ての関数に関する実行可能コードと、その呼出しをセットアツプして実行する実 行可能コードとを含むＥＰｌ、ＥＸＥファイルを含んでいる。単に、これらの実 行可能コードをＥＰｌ、ＥＸＥにリンクするリンカ−を使うことによって新しい 関数がこのＥＰｌ、ＥＸＥファイルに追加される。好適に実施例における呼出し のセットアツプと実行は、ＬＩＳＰインタプリタが拡張メモリ内で保護モードで 実行されるのに対してＥＰｌ、ＥＸＥ内の実行可能コードは基本メモリ内で実モ ードで実行されるという事実によって複雑にされる。したがって、呼出し演算子 によって定義された項２１１が評価されると、プロセッサは保護モードから実モ ードに切り替えなくてはならずまた、呼出し演算子で指定された関数を呼び出す ＥＰｌ、ＥＸＥ内のコードはどれでも必要な型の会話をそれがそうするように実 行しながら実引き数の値を拡張メモリから基本メモリヘコピーしなくてはならな い。返却時には、この逆が起こる。すなわちＥＰｌ、ＥＸＥ内のコードはどんな 型の会話でもそれがそうするように実行しながら実引き数の値と返却値とを基本 メモリから拡張メモリヘコビーしなくてはならずまたＥＰｌ、ＥＸＥからの返却 時には、プロセッサは実モードから保護モードに切り替えなくてはならない。 １７、テーブル環およびテーブル値 本出願の親出願に述べたような定義ベースのエキスパートシステムは、論理値、 算術値および文字列値を有する項２１１を許し、またこれらの値型を含む演算を 定義した。こ）に述べる改良された定義ベースエキスパートシステムは更に、テ ーブルおよびテーブル内のフィールドとしての項２１１の定義とテーブル値につ いての演算とを許している。１つのテーブルは行と列とに配列されている。各列 はおのおの１つの項２１１によって指定され、また列の１つに含まれる値は所定 の行を選択するキーとして役に立つ。例えば、ＣＬＩＥＮＴＳと呼ばれる項２１ １は、ＮＡＭＥ、ＡＤＤＲＥＳＳ、および置ＥＰＨＯＮＥという項２１１によっ て指定される列を持ち、また各クライアントごとに１つの行を持つこともできよ う。１つのクライアントのための行は次のように見えるであろう：ＮＡＭＥ　Ａ 、ＤＤＲＥＳＳ　ＰＨＯＮＥＳｍｉｔｈＪｏｈｒ＋　３０３Ｗ、Ｆｉｒｓｔ　Ｓ Ｌ、Ｎｅｗ　Ｙｏｒｋ、ｈＪＹ　３０１−６６６−５５５５もしＮＡＭＥがキー として役立つならば、行は’Ｓｍ１ｔｈｊｏｈｎ”によって指定できるであろう 。 改良された定義ベースのエキスパートでは、１つの項は２種類のテーブルの中の １種類を表することができる。第１の種類は基本テーブルである。基本テーブル は実際にデータ値を含んでいる。データ値は基本テーブルの定義２１３の中で指 定できるか、ＡＳＫ演算子によってユーザから取得できるか、あるいは外部ファ イルから取得できる。第２の種類は間合せテーブルである。間合せテーブルは、 基本テーブルまたは別の間合せテーブルから間合せ演算によって生成されるテー −フルであ；ｂ。例えば、ｆ−フルＮＥＷ　ＹＯＲＫ　ＣＬＩＥＮＴＳｉ：ＬＡ ＤＤＲＥＳＳがＮｅｗ　Ｙｏｒｋ、Ｎ￥を指定しているすべての行をＣＬ４ＥＮ ＴＳがら抽出する間合せ演算を実行することによってＣＬＩＥＮＴＳから定義で きょう。 テーブル演算子はどちらの種類のテーブルにも使用できる。これらの演算子には 下記のものがある： 項２１１によって指定された１つのフィールドの値を１つの行から取得するため の探索演算子； 所定の項２１１によって指定されたテーブル内のすべてのフィールドから導き出 される値を得るための集計演算子； 所定の項２１１によって指定されたテーブル内のすべてのフィールドから導き出 される論理値をえるための計量演算子。 以下の説明では初めに基本テーブルの定義を扱い、次に間合せテーブルの定義を 扱い、最後にテーブル演算子を取り扱う。 １８、基本テーブルの定義 好適な実施例では、その値として基本テーブルを持っている項２１１を定義する ために使われる構文は、下記の数値キーフィールドを使用する基本テーブルまた は文字列キーフィールドを使用する基本テーブルを定義することができる：ｔａ ｂｌｅ　ｗｉｔｈ　ｎｕｍｂｅｒ　ｋｅｙ　ＮＵＭＢＥＲ−ＴＥＲＭ（数値キー ＮＵＭＢＥＲ−ＴＥＲＭを持つテーブル）ｔａｂｌｅ　ｗｉｔｈ　ｔｅｘｔ　ｋ ｅｙ　ＴＥＸＴ−ＴＥＲＭ（テキストキーＴＥＸＴ−ＴＥＲＭを持つテーブル） 数値キーフィールドを持つ基本テーブルのケースでは、ＮＵＭＢＥＲ−ＴＥＲＭ はぞの数値がキーとして使われるテーブルの列を識別する項２１１である。また テキストキーフィールドを持つ基本テーブルのケースでは、ＴＥＸＴ−ＴＥＲＭ はそのテキスト値がキーとして使われるテーブルの列を識別する項２１１である 。ＣＬＩＥＮＴＳを定義するテーブル演算子は次のように見える：ｔａｂｌｅ　 ｗｉｔｈ　ｔｅｘｔ　ｋｅｙ　ＮＡＭＥ（テキストキーＮＡＭＥを持つテーブル ）このテーブル内の列を識別する項２１１は、ＦＩＥＬＤ　ＯＦ演算子によって 定義される。その構文は値が定義２１３で指定されるか外部から得ら１するがど うかに依存する。第１のケースではその構文はｆｉｅｌｄ　ｏｆ　ＴＡＢＬＥ− ＴＥＲＭ、ｖａｌｕｅｓ　ＶＡＬＵＥ−ＬＩＴ （ＴＡＢＬＥ−ＴＥＲＭのフィールド、値ＶＡＬＵＥ−ＬＩＳＴ）となる。ＴＡ ＢＬＥ−ＴＥＲＭはテーブル値を表す１つの項２１１であり；ｖＡＬＵＥ−ＬＩ ＳＴの中の値は定義されている項２１１によって識別される列に含まれた値によ って必要とされる型を持つ定数である。定義されるフィールドがテーブル定義に おいてキーとして指定された場合には、そのリスト内の値の数がそのテーブル内 の行の数を決定する。例えばＣＬＩＥＮＴＳのケースでは、フィールドＮＡＭＥ は次のように定義されるであろう：ｆｉｅｌｄ　ｏｆ　ＣＬＩＥＮＴＳ、ｖａｌ ｕｅｓ　”Ｓｍ１ｔｈ、Ａｄａｍ””Ｓｍｉ　ｔｈ、Ｊ　ｏｈｎ″　”Ｓｍ　ｉ 　ｔ　ｈ、　Ｄａ　ｖ　ｉ　ｄ”は３つの行でＣＬＩＥＮＴＳテーブルを定義す る。 あるテーブルの１つの列に関する値を外部から取得すべきであると指定するため の構文は下記の通りである： ｆ　ｉｅ　Ｉｄ　ｏｆ　ＴＡＢＬＥ−ＴＥＲＭ、ａｓｋ　［ＷＵＯＴＥＤ−ＴＥ ＸＴｃ、ｆｏｒ　ｅｖｅｒｙ　ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳ ＩＯＮ〕〕〕 再びＴＡＢＬＥ−ＴＥＲＭは、定義される項２１１が１つの列を指定する基本テ ーブルに関する項２１１である。”ａ　ｓ　ｋ’は、指定された列に関する値は 端末のユーザから対話的に取得すべきであるということを示す。ＱＵＯＴＥＤ− ＴＥＸＴは、ユーザが尋ねられるとき−に出力すべきプロンプト文字列を指定す る。もしこれ以上なにも指定されなければ、定義ベースのエキスパートシステム はなにかのプロンプトとその行に関するキーフィールドの値とを出力し、ユーザ の入力を持つ。例えば、ＡＤＤＲＥＳＳは次のように定義されるであろう：ｆｉ ｅｌｄ　ｏｆ　ＣＬＩＥＮＴＳ、ａｓｋ”Ｗｈａｔ　ｉｓ　ｔｈｅ　ａｄｄｒｅ ｓｓ　ｏｆ”　（ＣＬＩＥＮＴＳのフィールド、　〜のアドレスはなにが′。 と尋ねる） ＣＬＩＥＮＴＳの各行ごとに、このエキスパートシステムはそれぞれの行に関す るＮＡＭＥの値を伴ったプロンプトを出力し、そしてユーザがアドレスを与えて くれるのを持つ。以下更に詳しく説明するように、入力はオプションの“ｆｏｒ ｅｖｅｒｙ　ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮ″によって 特定の基準を満たす行に限定できる。例えばＣＬＩＥＮＴＳの中のＡＤＤＲＥＳ Ｓは次のように定義できよう： ｆｉｅｌｄ　ｏｆ　ＣＬＩＥＮＴＳ、ａｓｋ”Ｐｌｅａｓｅ　１ｎｐｕｔ　ｔｈ ｅ　ａｄｃｉｒｅｓｓ　ｏｆ″、ｆｏｒ　ｅｖｅｒｙ　ＣＬＩＥＮＴＳ　ｗｈｅ ｒｅ　ＮＡＭＥ　ｉｓ　３ｍ１ｔｈ、Ｊｏｈｎ″（ＣＬＩＥＮＴＳのフィールド 、ＮＡＭＥが’５ｍ１ｔｈ、Ｊｏｈｎ”であるすべてのＣＬＩＥＮＴＳについて ゛そのアドレスを入力してください”と頼む）これは、Ｊｏｈｎ　Ｓｍ１ｔｈの アドレスについてのみユーザが尋ねられるようにしており、そのアドレスはその ＮＡＭＥ値として“’Ｓｍ１ｔｈ、Ｊｏｈｎ”を含む行のＡＤＤＲＥＳＳフィー ルドに書き込まれる。前述のことから分かるように、所定のテーブルはＡＳＫを 使って記入された列と、ＶＡＩ、ＵＥＳを使って記入された行とを持つことがで きる。もしテーブル定義におけるキーとして指定されたフィールドに記入するた めにＡＳＫが使われる場合は、テーブルのサイズは記入されるフィールドの数に 依存する。 更に、１つの項２１１はＭＳＤＯＳファイルに格納された１つのテーブルとして 定義することもできる。このケースでは定義２１３は次のようになる：ｄｏｓｆ ｉｌｅ　ｔａｂｌｅ 本発明のエキスパートシステムシェルは、どのＭＳＤＯＳファイルがそのテーブ ルのデータを持りているか、そしてそのテーブル内の列を定義する項２１１がそ のＭＳＤＯＳファイルのフィールドにどのように関係しているかを指定すること をアプリケーション開発者に許す一連のメニューでもって、こういう定義に応答 する。こういうテーブルに関する定義はａｓｋ演算子あるいはｖａｌｕｅ演算子 を含まない。 １９、問合せテーブルの定義 間合せテーブルは、基本テーブルまたは別の間合せテーブルについての間合せ演 算によって定義される間合せテーブルである。間合せテーブル定義の構文は次の 通りである： ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＴＥＲＭ　ｗｈｅｒｅ　ＢＯＯＬＥＡＮ−ＥＸ ＰＲＥＳＳＯＮ ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＴＥＲＭは行が選択される基本テーブルまたは 間合せテーブルを指定する。またＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯＮはある 行が選択されることになる条件を指定する。例えば、ＮＯＮ　ＪＯＨＮ　ＳＭＩ ＴＨＴＡＢＬＥは次のように定義できるであろう：ＣＬＩＥＮＴＳ　ｗｈｅｒｅ 　ＮＡＭＥ　ｉｓ　ｎｏｔ　”Ｓｍ１ｔｈ、Ｊ。 ｈｎ’ （ＮＡＭＥが’３ｍｉ　ｔｈ、Ｊｏｈｎ”ではないＣＬＩＥＮＴＳ）この結果得 られる間合せテーブルはＮＡＭＥが値”Ｓｍｉ　ｔｈ、Ｊｏｈｎ”を持つ行を除 ＜ＣＬＩＥＮＴＳのすべての行をもつことになるであろう。 上記で気付かれるように°’ｗｈｅｒｅ　ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯ Ｎ”演算子は、基本テーブルへの対話的な入力のために“ａｓｋ”演算子を使っ てどの行を選択するかを制御するために使うこともできる。 ２０、テーブルについての演算 一旦１つのテーブルが前述のように定義されると、項２１１はそのテーブルにつ いての演算を指定することによって定義できる。最も単純な演算は選択された行 から１つのフィールドを選択することである。これを行う演算子はＯＦ演算子で ある： ＦＩＥＬＤ−ＮＡＭＥ−ＴＥＲＭ　ｏｆ　Ｒ，０Ｗ−５ＰＥＣＩＦＹＩＮＧ−Ｔ ＥＲＭ このＦＩＥＬＤ−ＮＡＭＥ−ＴＥＲＭはこの行の１つのフィールドを識別する項 ２１１である。ＲＯＷ−５ＰＥＣＩＦＹＩＮＧ−ＴＥＲＭはその定義が１つの行 を指定する項２１１である。こうして定義２１１は、ただ１つの行を持つ基本テ ーブルまたはただ１つの行を持つ間合せテーブルを定義できる。例えば、間合せ テーブルＪＯＨＮ　ＳＭＩＴＨＴＡＢＬＥは次のように定義できるであろう：Ｃ ＬＩＥＮＴＳ　ｗｈｅｒｅ　ＮＡＭＥ　ｉｓ　”Ｓｍ１ｔｈ、Ｊｏｈｎ”このよ うにしてＪＯＨＮ　ＳＭＩＴＨＴＡＢＬＥは１つの行からなり、そして項ＦＯＨ Ｎ　ＳＭＩＴＨＡＤＤＲＥＳＳを定義する。ｆ演算子は次のように見えるであろ う： ＡＤＤＲＥＳＳ　ｏｆ　ＪＯＨＮ　ＳＭＩＴＨＴＡＢＬＥ集計演算子は１つのテ ーブルの１つの列に含まれるデータの一部または全部に基いて結果を生成する演 算子である。これらの演算子はテキスト値か算術値か、または論理値を返す。テ キスト集計演算子はＣ０ＬＬＥＣＴであって、これは１つの列からの値からなる テキスト文字列を作成する。文字列内の各僅の終わりに１つの復帰改行文字が付 加される。この演算子は次の構文を持つ：ｃｏｌｌｅｃｔ　ＦＩＥＬＤ−ＴＥＲ Ｍ−ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮｆｏｒ　ｅｖｅｒｙ ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮＦＩＥＬＤ−ＴＥＲＭ− ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮｉ：は、ソノ定義がＴＡＢＬＥ−ＯＲ−ＱＵＥ ＲＹ−ＥＸＰＲＥＳＳＩＯＮによって指定されるテーブル子はこのフィールド内 の値のＦＩＥＬＤ−ＴＥＲＭ−ＮＡＭＥ−ＥＸＰＲＥＳＳＩＯＮによって指定さ れるようなテキスト文字列を作成する。こ）および以下の説明ではもちろん、Ｔ ＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳ　工○Ｎは上記のようなＷＨＥＲ Ｅ演算子を含むこともできる。例えば、ＮＡＭＥ−ＬＩ　ＳＴという項２１１は 次のように定義できるであろう。 ｃｏｌｌｅｃｔ　ＮＡＭＥ　ｆｏｒ　ｅｖｅｒｙ　ＣＬＩＥＮＴＳＮＡＭＥ　Ｌ ＩＳＴは次の文字列値を持つであろう。 ”Ｓｍｉ　ｔ　ｈ、Ａｄａｍ Ｓｍｉｔｈ、Ｊｏｈｎ Ｓｍｉ　ｔｈ、Ｄａｖ　ｉｄ” フィールド名を含む式がＣ０ＬＬＥＣＴ演算子で使用できるという事実の重要な 点は、Ｃ０ＬＬＥＣＴ演算子によって定義された値がフィールドから返される値 から計算できるということである。 算術集計演算子には、フィールド内の値の平均値と、フィールド内の値の最大値 と、フィールド内の値の最小値と、フィールド内の値の合計値と、フィールドの 数と、そして所定の条件を満足するフィールドのパーセントとをそれぞれ取得す るための演算子がある。平均、最大、最小、および合計の各演算子についての１ 列として平気演算子を取り上げることができる。その構文は次の通りである：ａ ｖｅｒａｇｅ　ＦＩＥＬＥ−ＴＥＲＭ−ＭＵＮＢＥＲ−ＥＸＰＲＥＳＳＩＯＮ　 ｆｏｒ　ｅｖｅｒｙ ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮＦＩＥＬＤ−ＴＥＲＭ− ＮＵＭＢＥＲ−ＥＸＰＲＥＳＳＩＯＮｉｉ、ソノ評価がＴＡＢＬＥ−ＯＲＱＵＥ ＲＹ−ＥＸＰＲＥＳＳＩＯＮに！つて定義サレタ基本テーブルまたは間合せテー ブル内の数値フィールドを指定する項２１１を含む式である。再び、フィールド 環を含む式の使用により、この演算子によって返される結果についての計算の指 定が能力になる。 Ｃ０ＵＮＴ　ＥＶＥＲＹ演算子は単に、指定されたテーブル内の行数を数える。 その構文は次の通りである： ｃｏｕｎｔ　ｅｖｅｒｙ　ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯ Ｎ 例えば、ＮＵＭＢＥＲＯＦ　ＣＬＩＥＮＴＳという項２１１は次のように定義で きるであろう： ｃｏｕｎｔ　ｅｖｅｒｙ　ＣＬＩＥＮＴＳ現在の例のテーブルＣＬＩＥＮＴＳの 場合、ＮＵＭＢＥＲＯＦ　ＣＬＩＥＮＴＳは値３を持つことになろう。 ＰＥＲＣＥＮＴ　ＷＨＥＲＥ演算子は、あるテーブル内の指定されたフィールド の値のなんパーセントが指定の条件に適合するかを決定する。この演算子は次の 構文を持つ： ｐｅｒｃｅｎｔ　ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＴＥＲＭ　ｗｈｅｒｅＦＩＥ ＬＤ−ＴＥＲＭ−ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯＮＴＡＢＬＥ−ＯＲ−Ｑ ＵＥＲＹ−ＴＥＲＭは演算が実行されつ）ある基本テーブルまたは間合せテーブ ルを指定し、またＦＩＥＬＤ−ＴＥＲＭ−ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯ Ｎは指定されたテーブル内のフィールドの１つを指定する項２１１を含む論理式 である。例えば、ＰＥＲＣＥＮＴ　ＪＯＨＮ　ＳＭＩＴＨ項２１１は次のように 定義できるであろう：ｐｅｒｃｅｎｔ　ＣＬＩＥＮＴＳ　ｗｈｅｒｅ　ＮＡＭＥ 　ｉｓ　”Ｓｍ１ｔｈ、Ｊｏｈｎ″ “Ｓｍ１ｔｈ、Ｊｏｈｎ”はこのテーブル内の３つの行の１つであるから、ＰＥ ＲＣＥＮＴ　ＪＯＨＮ　ＳＭＩＴＨは３３′という値を持つであろう。 論理集計値演算子にはＦＯＲＥＶＥＲＹとＦＯＲＳＯＭＥとがあり、ＦＯＲＥＶ ＥＲＹはフィールド名となっている項２１１を含む論理式がこのテーブルのどれ かの行に関して真であるかどうかを決定し、またＦＯＲＳＯＭＥはこういう論理 式がテーブルのいかなる行に関しても真であるかどうかを決定する。 ＦＯＲＳＯＭＥの構文はこれら両者の代表例となる：ｆｏｒ　ｓｏｍｅ　ＴＡＢ ＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮ。 ＦＩＥＬＥ−ＴＥＲＭ−ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯＮＴＡＢＬＥ−Ｏ Ｒ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮは演算が実行されつ１あ○０ＬＥＡＮ− ＥＸＰＲＥＳＳＩＯＮはテーブル内のフィールドを指定する項２１１を含む論理 式である。Ｉｓ　ＪＯＨＮ　ＳＭＩＴＨＴＨＥＲＥ？という項に関する定義はそ の１例となろう。これは次のように見えるであろう：ｆｏｒ　ｓｏｍｅ　ＣＬＩ ＥＮＴＳ、ＮＡＭＥ　ｉｓ　”Ｓｍ１ｔｈ、Ｊｏｈｎ” 前述の説明から分かるように、テーブル値とテーブル項２１１はルールベースの エキスパートシステムの主な改善点である。今では項２１１はデータの順序付け られた集まりとその集まりの中のフィールドとを表すことができ、またテーブル についての演算子は間合せテーブルの定義と、両方の型のテーブルに関して個々 のフィールド値の検索と１つの列前部の値に依存する結果の計算とを許す演算と を可能にしている。 ２１、”不明”値 初期に実現された定義ベースのエキスパートシステムの問題点は、エキスノク− トシステムがユーザに尋ねた質問に対する答えをユーザが知らなり１ことを示す ユーザ応答を適切に処理できないとういことであった。この問題は、本発明の定 義ベースエキスパートシステムの設計者たちが定義ベースエキスパートシステム で使われるスカラー値のクラスのおのおのに゛′不明”　（ｄｏｎ’　ｔ　ｋｎ ｏｗ）値を追加できるようにし、またそれら自身は゛不明”値ではないけれども ゛不明”値に依存しているスカラー値とテーブル値とに関して゛″不明依存性” という概念を追加できるようにしたことによって克服された。“不明”値が指定 される場合には、システムのユーザはこのシステムへの可能な入力として゛′不 明”を与えることができる。好適な実施例でのこの値の入力は、ファンクション キーを用いるか、ドロップダウンメニューからの選択による。 例えば、もしバネ明”値が指定されていてＣＬＩＥＮＴＳのフィールドＰＨ０Ｎ Ｅが次のように定義されると、 ｆｉｅｌｄ　ｏｆ　ＣＬＩＥＮＴＳ、ａｓｋ　”ｗｈａｔ　ｉｓ　ｔｈｅ　ｔｅ ｌｅｐｈｏｎｅ　ｍｕｎｂｅｒ　ｏｆ″（ＣＬＩＥＮＴＳのフィールド、°″〜 の電話番号は何番ですか”と尋ねる）ユーザは’Ｄｏｎ’　ｔ　ｋｎｏｗ”　（ 不明）を指定できる。もしユーザがそう指定すれば、そのフィールドのＰＨ０Ｎ Ｅの値はバネ明”である。ＮＡＭＥが値゛″Ｓｍ１ｔｈ、Ｊｏｈｎ″を持つ行に ついての答えが“不明”であったと仮定すると、 ＰＨ０ＮＥ　ｏｆ　ＪＯＨＮ　ＳＭＩＴＨＴＡＢＬＥで定義されるＪＯＨＮ　Ｓ ＭＩＴＨＰＲＨＯＮＥという項２１１は、その行に関するＰＨ０ＮＥを指定し、 ゛不明”という値を持つことになるのであろう。更に、ＰＨ０ＮＥによって定義 される、その列内の値の少くとも１つの値が“不明”値であるから、Ｃ０ＬＬＥ ＣＴ演算子によってフィールドＰＨ０ＮＥに関して定義されるＰＨ０ＮＥ　ＬＩ ＳＴという項２１１の値は゛′不明依存”　（ｄｏｎ’ｔｋｎｏｗ　ｄｅｐｅｎ ｄｅｎｔ）となるであろう。Ｊｏｈｎ　Ｓｍ１ｔｈの電話だけが不明であったと 仮定すると、ＰＨ０Ｎ　ＬＩＳＴ定義：ｃｏｌｌｅｃｔ　ＰＨ０ＮＥ　ｆｏｒ　 ｅｖｅｒｙ　ＣＬＩＥＮＴＳは ”５５５−１１１１ ６６６−２２２２″ のような値を生成するであろう。 更に、定義ベースのエキスパートシステムはこの値に”不明”依存性表示、すな わちこの計算には“不明“値が含まれているという表示を結び付ける。このケー スでは、表示は２つのこと、すなわち“不明”値が占める筈のその値における位 置と、その列の中の３つのフィールドの１つが“不明”値を続ということとを指 定する。 定義ベースのエキスパートシステムで使用可能な殆どいかなる演算子によってで も定義される項２１１の評価は、゛不明”値を持つ別の項２１１の評価を含むこ とができる。好適な実施例では、゛不明”値が含まれる場合の項２１１の値の決 定に関する一般的ルールは下記の通りである：１、もし結果の値が゛不明”値と は無関係であれば、その結果は不明依存性のいかなる表示もなしで返される。 ２、もし結果の値が゛不明”値に依存していて、°″不明値なしでは値が決定で きなければ、返される結果値は゛不明”依存性の表示を持つた゛不明”である。 ３、もし結果の値がバネ明”値に依存してはいるが゛不明”値なしでもならかの 値が決定できるならば、返される結果値はバネ明”依存性の表示によって決定さ れる値である。こういう結果値は推定値と呼ばれる。 最初の２つのルールの例は、オペランドの１つが゛不明″という値を持つときに ＊”によって示されるＭＵＬＴＩＰＬＹ演算子の振舞いによって与えられる。 もしその他のオペランドが値０を持つならば、その結果はその他のオペランドの 値とは無関係であるから、その演算子は０を返す。もしその他のオペランドが値 ０を持たないならば、ＭＵＬＴＩＰＬＹ演算子は“不明”を返す。３番目のルー ルの例はＣ０ＬＬＥＣＴ演算子である。この例に示すように、もし集計された列 の１つのフィールドが”不明”値を持つならば、Ｃ０ＬＬＥＣＴは結果文字列を 生成するときにそのフィールドを無視する。 ゛不明”と−緒に返される゛′不明′°依存性の表示、あるいは推定値は、その 値が直接゛′不明”に依存する評価中の項２１１の関する定義の階層から項２１ １を含み、またその値がある推定値であるときは、その推定値が゛不明′°値に よってどの程度まで撮影を受けるかを示す推定情報を含む。推定情報の内容はそ の推定値を生成した演算子に依存する。概して推定値が文字列値であるときは、 推定情報は“不明”値を持つ第１のコンポーネントが占めたであろうその文字列 内の位置のインデックスを含む。ある列のすべてのフィールドの内容を調べるＡ ＶＥＲＡＧＨのような演算子によって推定値が生成されたときには、推定情報は その列のフィールドの全数と、“不明”値を持ったフィールドの数とを含む。文 字列の生成と、ある列のすべてのフィールドの内容の吟味と両方とも行うＣ０Ｌ ＬＥＣＴのような演算子は、結果文字列内の最初の“不明”値の位置と、フィー ルドの全数と゛′不明”値を持ったフィールドの数との両方を含む推定情報を持 っている。 好適な実施例では、“不明”値と推定値の検出を可能にする２つの特殊な論理演 算子がある。 ＴＥＸＴ−ＮＵＭＢＥＲ−ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯＮ＝ｄｏｎ’ｔ 　１ｃｎｏｖ この演算子は、もしこの式が゛不明”値を持つならばＴＲＵＥ　（真）という値 を返し、そうでないならば偽を返す。その使用例は次のように見えるＤＯＮＴ　 ＫＮＯＷ　ＡＢＯＵＴ　ＪＯＨＮ　ＳＭＩＴＨＰＨ０ＮＥの定義である二ＪＯＨ Ｎ　ＳＭＩＴＨＰＨ０ＮＥ＝ｄｏｎ’　ｔ　ｋｎｏｗ、７０ＨＮ　ＳＭＩＴＨＰ Ｈ０ＮＥの値はＣＬ工ＥＮＴＳのＪｏｈｎ　Ｓｍ１ｔｈの行に関するＰＨ０ＮＥ フイールドの値であるから、ＤＯＮＴ　ＫＮＯＷＡＢＯＵＴ　ＪＯＨＮ　ＳＭＩ ＴＨＰＨ０ＮＥは値ＴＲＵＥ　（真）を持つ。 第２の演算子は推定値を検出し、また次の構文を持つ：ＴＥＸＴ−ＮＵＭＢＥＲ −ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯＮ＝ｄｏｎ’ｔ　ｋｎｏｗ　ｅｓｔｉｍ ａｔｅ この演算子はもしこの式が推定値を持つならば値ＴＲＵＥ　（真）を返し、そう でないならばＦＡＬＳＥ　（偽）を返す。その使用例は次のように見えるＰＨ０ ＮＥＬＩＳＴ　ＩＮＣＯＭＰＬＥＴＥの定義であるＰＨ０ＮＥ　ＬＩＳＴ＝ｄｏ ｎ’　ｔ　ｋｎｏｗ　ｅｓｔｉｍａｔｅこ１でＰＨ０ＮＥ　ＬＩＳＴは推定値で あるから、ＰＨ０ＮＥ　ＬＩＳＴ　ＩＮＣＯＭＰＬＥＴＥは値ＴＲＵＥ　（真） を持つ。 ２２、不明値の実現 前に指摘したように、演算子は好適な実施例においてＬＩＳＰ関数によって実現 される。本好適な実施例においては、演算子に関する関数はリストを返す。好適 な実施例におけるバネ明”値の実現は、この機能と、内蔵のＬＩＳＰ特殊記号Ｎ ＩＬとを利用する。ＬＩＳＰにおけるＮＩＬの値は空リストであり、また論理値 を必要とする構文においては値ＦＡＬＳＥ　（偽）である。ＮＩＬは本好適な実 施例では゛不明”を表すために使われる。ＮＩＬを論理値から区別するために本 実施例ではｙｅｓ−ｎｏ演算を定義した。これらの演算は、ＬＩＳＰの論理プリ ミティブ記号Ｔが記号ＹＥＳによって置き換えられていて、また論理プリミティ ブ記号ＮＩＬが記号Ｎｏによって置き換えられているということを除いて論理演 算と同じように働く。 本好適な実施例では、ある関数によって返されるリストは常に、その最初のエレ メントとして、その関数によって定義された項２１１が必要とする値を持つ。 もし゛不明”依存性が存在するならば、最初のエレメントはそれ自身リストであ る。このリストの最初のエレメントは返却値、すなわち゛不明”を表すＮＩＬか 推定値かのいずれかである。その次のエレメントは不明依存性表示である。もし 返却値がＮＩＬであれば、依存性表示は必要な゛不明”値の返却を行った゛不明 ”値を持つ項２１１のリストである。もう返却値が推定値であれば、依存性表示 は、必要な推定値と推定情報とを生成した゛不明°“値を持つ１つの項からなる １つのリストを各エレメントとして持っているリストである。例えば、ＰＨ０Ｎ Ｅ　ＬＩＳＴによって返さされた必要な値は、次の形式の１つのリストになろう ：（”５５５−１１１ ６６６−２２２２”　９　（ＰＨＯＮＥ　１　３））テキスト文字列はもちろん Ｃ０ＬＬＥＣＴ関数によって生成された文字列であり；値９はこのテキスト文字 列内の第１の゛不明”値の位置のインデックス（復帰改行文字を数える）であり ；　ＰＨ０ＮＥはこの文字列を得るためにＣ０ＬＬＥＣＴが読んだ列に関するフ ィールド名であり；最後に１３は合計３個のフィールドの中から１個への“不明 ”値があったことを示す。 いま述べた性質を持つ゛不明“値を有する定義ベースのエキスパートシステムの 利点は明らかである。ユーザが自分には分からないということを示でるようにす ること以上に、定義ベースのエキスパートシステムは゛不明”が相違を生成する かどうか、もし生成するならば推定値が可能であるかどうかを決定できる。更に ゛不明”依存性情報は、定義ベースのエキスパートシステムが、どの項２１１が 依存性の情報源となっているかを決定できるようにし、また推定値の場合には、 生成された推定値に関する値に′″不明値がどの程度まで影響を与え得るかどう かを決定できる。 ２３、結論 前述の第１２〜２２節では、第１〜１２節で開示した定義ベースのエキスパート システムについての多くの改良点を開示した。これらの改良点の中には、定義ベ ースエキスパートシステムを用いて開発されたアプリケーションが外部のイメー ジ管理システムによって管理されているイメージを表示できるようにするＤＩＳ ＰＬＡＹ演算子を含む副作用演算子と、アプリケーションがＣ言語呼出しインタ ーフェースに従う手続きを呼び出せるようにするＣＡＬＬ演算子と、テーブルと フィールドを定義してこれらのテーブルについて演算するための演算子と、そし て定義ベースエキスパートシステムで使われるすべての非テーブルデータ型に関 する“′不明′°値とがある。 これらの改良点は、高度に対話的なアプリケーションの開発のためのアプリケー ション開発システムとして定義ベースエキスパートシステムの使い易さを大いに 向上させる。これらの改良点によって、こ）に開示された定義ペースエキスパー トシステムは、イメージが表示でき、ＬＩＳＰ以外の言語で書かれた手続きを呼 び出すことができ、データを基本テーブルにまとめることができ、間合せ演算を 用いて間合せテーブルを定義でき、そして文字列フィールドの値を集計したり数 値フィールドの値を平均するといったテーブルについての演算を実行することが できる。最後に、゛不明”値はユーザからの゛不明”入力の受入れを可能にする 。演算子は゛不明”値を有するオペランドを受け入れるように修正された。そし て、°゛不明値を含む演算によって生成された値のみならず゛不明”依存性イン ジケータも保持するということが、　゛不明”値を含むあるいくつかのケースで 推定値を生成することと、その推定値の中にどの程度まで“不明”値が含まれて いるかを決定することとを可能とした。 第１２〜２２節はそこで論議された改良点を実施するために本発明者等にとって 現在知られている最善の方式を開示しているけれども、他の実施例も可能である 。例えば、こ〜に開示された定義ベースエキスパートシステムはＬＩＳＰ以外の 言語で実現することもできる。 更に、こ・に開示された原理を例示する他の演算子も開発可能であり、異なる定 義構文も使用可能である。同様に、こ・に開示された原理には従うが、定義ベー スエキスパートシステム以外の環境で使われる“不明”値のこのほかの実現も開 発可能である。このケースでは、開示された実施例はすべての点で、例示的であ ってこれに限定されないと見なすべきであり、前述の説明によりもむしろ付属の 特許請求の範囲によって示されている本発明の範囲と、本特許請求の範囲と同等 の意味と範囲との内に入るすべての変更とは、こ＼に包含すべきものと考える。 ユーザコマンド 図１：従来技術のエキスパートシステム１０１１１ＨＩＡ　従来技術のエキスパ ートシステムシェル１１０図２：定義的エキスパートシステムンエル２０１およ びエキスパートシステム２０２ エフ：第１のプロトタイプのＴＤＥＦ６１７の詳細図９：第２のプロトタイプ実 施側におけるＴＤＥＦとＷＨＡＴターム記号 復元６３３かも 図８：ＤＥＦＩＮＥ６０７の詳細 国際調査報告

Claims (1)

1. 【特許請求の範囲】 １）エキスパートシステムとして操作可能なディジタルコンピュータシステム、 すなわち階層的に定義された項とそれらの定義と、すなわちその定義のおのおの が階層の下位レベルにある１つ以上の項の値を用いて、および（または）項の値 に依存しない１つ以上の項独立の値を用いてそのそれぞれの値を定義する各項の 対応する定義とを含む知識ベースを格納するための記憶手段；と該システムのユ ーザからコマンドを受け取るための処理手段、すなわち該ユーザコマンドに応答 して推論コマンドを生成するためと、所定の項の定義を得るために該コマンドに 応答して該記憶手段を調査するためと、該対応する定義内の任意の項の値と任意 の項独立の値を取得することによってその対応する定義から該所定の項の値を計 算するための処理手段とからなる該コンピュータシステムであって：かつ、該ュ ーザに対してエキスパート応答を生成するために該計算値を使用する該システム 。 ２）所定の項の定義が更に、該所定の項の値が得られたときに実行すべき演算を 指示する演算子を含む、請求項１に記載されたディジタルコンピュータシステム 。 ３）該ディジタルコンピュータシステムがもう一つのシステムとして操作可能で あり、また実行すべき操作がその他のシステムとして該ディジタルコンピュータ システムを操作することである、請求項２に記載されたディジタルコンピュータ システム。 ４）該ディジタルコンピュータシステムは更に表示手段を含み；該その他のシス テムは該ディジタルコンピュータシステムに格納されたイメージ検索するたｂと 、該イメージを該表示手段上に表示するための納システムであり；また該実行す べき操作は所要のイメージを検索して表示するために該その他のシステムを操作 することである、請求項３に記載されたテイジタルコンピュータシステム。 ５）該ディジタルコンピュータシステムは更に、表示手段を含み、また、実行す べき操作は該表示手段上に情報を表示することである、請求項２に記載されたデ ィジタルコンピュータシステム。 ６）該情報は該所定の項の定義の中に含まれている、請求項５に記載されたディ ジタルコンピュータシステム。 一１ ７）該情報はテキストである、請求項５に記載されたディジタルコンピュータシ ステム。 ８）該情報はイメージである、請求項５に記載されたディジタルコンピュータシ ステム。 ９）該ディジタルコンピュータシステムは更に知識ベースに対して外部の記憶手 段を含んでおり；また該情報は該外部記憶手段から得られる、請求項５に記載さ れたディジタルコンピュータシステム。 １０）該ディジタルコンピュータシステムはもう一つのシステムとして操作可能 であり、また該情報は該ディジタルコンピュータシステムをそのほかのシステム として操作することによって得られる、請求項）に記載されたディジタルコンピ ュータシステム。 １１）所定の項の定義は行と列とを有する基本テーブルを定義する基本テーブル 定義演算子である、請求項１に記載されたディジタルコンピュータシステム。 １２）所定の項の定義は該基本テーブル内の列を定義するフィールド定義演算子 である、請求項１１に記載されたディジタルコンピュータシステム。 １３）該フィールド定義演算子は更に該列がその値を受け取る仕方を定義する、 請求項１２に記載されたディジタルコンピュータシステム。 １４）該基本テーブル定義演算子は更に該テーブル定義演算子によって定義され る該基本テーブル内の列をキー項として定義する項の１つを定義し、また該キー 項に関する該フィールド定義演算子は更に該キー項によって指定される該列が受 け取る値の数から該基本テーブル内の行の数を定義する、請求項１３に記載され たディジタルコンピュータシステム。 １５）所定の項の定義は基本テーブルまたは別の間合せテーブルからの行で構成 される問合せテーブルを定義する間合せ演算子を含む、請求項１１に記載された ディジタルコンピュータシステム。 １６）所定の項の定義は基本テーブルまたは問合せテーブルの列を吟味すること によって結果を決定するための列演算子を含む、請求項１５に記載されたディジ タルコンピュータシステム。 １７）項に独立の値が“不明”値を含む、請求項１に記載されたディジタルコン ピュータシステム。 １８）所定の項の値は“不明”値依存性表示を含むことができ、かつ該処理手段 は 定義を評価している間に得られる任意の項独立の値がもし該所定の項の計算値が いかなる“不明”値からも独立であれば該項は該計算値を持ち、また“不明”依 存性表示を含まず、もし該所定の項の計算値が該“不明”値を使用せずには計算 できなければ、該項は該“不明”値を持ち、また“不明”依存性表示を含み、ま たもし該所定の項の成る計算値が該“不明”値を使用せずに計算できるならば、 該項は該計算値を持ち、また“不明”依存性表示を含むというルールに従って該 “不明”値を持つときその対応する定義から該所定の項の値を計算する、請求項 １７に記載ささたディジタルコンピュータシステム。 １９）該“不明”依存性表示は項の定義が該項独立の“不明”値を含んだ項を含 む、請求項１８に記載されたディジタルコンピュータシステム。 ２０）もし該所定の項の或る計算値が該“不明”値を使用せずに計算できるなら ば、該“不明”依存性インジケータは該計算値が該“不明”値によって受ける影 響の程度を表示する、請求項１８に記載されたディジタルコンピュータシステム 。