JPH04505227A - ドキュメント生成装置および方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】

ドキュメント生成装置および方法 関連出願の参照 本願は、米国特許出願番号３７１４３４号（出願臼１９８９年６月５日）の一部 継続出願である。順に、米国特許出願番号３７１４３４号は米国特許出願番号０ ３０２５０号（出願臼１９８７年３月２４日）の一部継続出願であり、米国特許 出願番号０３０２５０号は米国特許出願番号７６６８６０号（出願臼１９８５年 ８月１６日）の一部継続出願であり、現在では放棄されている。本願に追加され た発明の開示は好ましい実施例のセフシコン２３から始まり、新たな図面ｌＯ乃 至１４を含む。 発明の背景 １、技術分野 本発明は、デジタルコンピュータにより実現されるドキュメント生成装置、さら に詳しくは、エキスパートシステムを採用したドキュメント生成装置およびエキ スパートシステムの知識ベースｔらびに推論エンジンに関する。 ２、先行技術 多くの業務法律文書は、ドキュメントが書かれる状況の必要に応じて、すでに存 在するテキスト（いわゆる「ボイラプレート：共通記事」ンの断片を組み合わせ て「書く」ものであり、またできあがった文書には必要性に応じて追加や編集が 施される。これまで、共通記事を含む多くのドキュメントはフオーム集からフオ ームを利用して作成されていた。このフオームテキストには処理中に変更されな い情報が含まれており、変更となる情報については空白となっていた。 コンピュータのテキスト編集プログラム（一般に「エディタ」と呼ばれる）が発 達したため、フオーム集を自動化することが可能になった。フオームの創作者に よって、コンピュータに格納されたテンプレートドキュメントが提供できるので ある。このエディタによってドキュメントを作成するには、これから作成し不足 した情報を書き込むドキュメントへテンプレートドキュメントを単にコピーすれ ば良かった。自動化のおかげで、たちまちテンプレートドキュメントを作成し、 コピー以上の働きをするようになり、ドキュメント生成装置と呼ばれる装置が現 れた。ドキュメント生成装置は、作成状況に合致するドキュメントを生成するた めに、対話型あるいはデータベースより提供されるテンプレートドキュメントお よび情報を利用する。このような装置について、下記の論文が概説している。 ジエームズ・Ａ・エイデルマン著「電子フオーム集としてのコンピュータ／使用 可能なソフトウェアツール」　”リーガル・エコノミクス０１９８８年５月−６ 月号 ドキュメント生成には多様なアプローチが試みられて来た。ある編集プログラム ではエディタによって実行されるプログラムをユーザが書くことができるマクロ 言語を使用する。このようなプログラムをテンプレートドキュメントに含めたこ とで、テンプレートドキュメントからドキュメント生成！ＩＲが生まれた。その 他のドキュメント生成プログラムでは、テンプレートからテンプレートへ使用す るプログラムを分割する。あるドキュメント生成装置では知識ベースを有するエ キスパートシステムまで利用している。知識ベースの情報はドキュメントを用意 する人へどんな質問を行うかを決定し、生成されるドキュメントにどんな情報が 含まれるべきか決定するために利用される。 ドキュメント生成装置を設計する上で必ず問題となってきたのは、複雑すぎず高 性能な装置にすることである。高性能なドキュメント生成装置において、一般的 に、装置を設計する人間がプログラマ−の技術を持っていなければならなかった 。つまり、このような技術を必要としないドキュメント生成装置では、ユーザが テンプレート部の中から選択できないことが多かった。エキスパートシステムを 用いたドキュメント生成ｙ；ｃｅの場合、特に問題となってきたのは、実際にド キュメントを生成するエディタでドキュメントを生成するのに必要な情報を提供 するエキスパートシステムをいかに統合するがということであった。 発明の要約 本発明のドキュメント生成装置は、出力ドキュメントを生成するためのエキスパ ートシステムである。このシステムは、テンプレートドキュメントと、知識ベー ス項目を格納するための知識ベースと、テンプレートドキュメントおよびドキュ メント生成装置によって生成された出力ドキュメントを編集するためのエディタ と、知識ベースにおいて知識ベース項目を定義するための知識ベースディファイ ナと、この情報に基づきエキスパート応答を生成するために知識ベースを利用し た情報人力へ応答する推論エンジンとから成る。この知識ベースは、ドキュメン トテンプレートの部分に関係するドキュメント部知識ベース項目を定義するため 、第一のユーザ入力に応答するドキュメント部ディファイナから成る。このドキ ュメント部デイフフイナによって、ユーザがその部分を編集し、編集した部分と ドキュメント部知識ベース項目とを関連づけることができるエディタが提供され る。推論エンジンは出力ドキュメント生成プログラムから成る。この生成プログ ラムは、ドキュメント知識ベース項目および第二のユーザ入力が必要とする場合 に、ドキュメント知識ベース項目に関連するドキュメント部を出力ドキュメント へ提供するために、編集手段を利用することでドキュメント部知識ベース項目に 応答する。 本発明の９１７の面として、本発明のエキスパートシステムは本願の親出願にお いて開示された定義型エキスパートシステムであり、ドキュメント部は定義型エ キスパートシステムの知識ベースにおいて定義されたタームと関連する。テンプ レートドキュメント部分はさらに、ドキュメント部に関連する他のタームも含め て、定義型エキスパートシステムのドキュメント部分において定義された他のタ ームも含む。出力ドキュメント生成プログラムはこのようなタームに出会うと、 知識ベースからのタームの現在値を獲得し、タームの代わりにその値で出力ドキ ュメントを出力することができる。さらに、ドキュメント部ディファイナのユー ザがテンプレートドキュメント部分の定義を終われば、ドキュメント部ディファ イナはその部分の他のタームが知識ベースで定義されているかどうかを決定する 。そして、もし定義されていなければ、知識ペースディファイナはユーザに定義 を提供するようめる。 したがって、本発明の目的は、ドキュメント生成のための改善された装置および 方法を提供することである。 また、本発明の別の目的は、エキスパートシステムを利用する、改善されたドキ ュメント生成装置および方法を提供することである。 本発明のさらなる目的は、定義型エキスパートシステムを利用する、ドキュメン ト生成装置および方法を提供することである。 本発明のさらなる目的は、タームがテキストの一部として定義され、そのテキス ト部分それ自身が、定義型エキスパートシステムにおいて定義されたタームを含 む定義型エキスパートシステムを提供することである。 図面の簡単な説明 図１は、従来技術によるエキスパートシステムの概念ブロック図である。 ＩＮＩＡは、従来技術によるエキスパートシステムシェルの概念ブロック図であ る。 図２は、本発明によるエキスパートシステムシェルおよびエキスパートシステム の概念ブロック図である。 図３は、本発明に用いられる定義階層の概念図である。 図４は、タームｒＦＲＡＵＤ　（詐欺）」を定義するために用いられるタームお よび記述の図である。 図５は、Ｌｒ５Ｐ環境の図である。 図６は、本発明の第一の原型実施例の概観である。 図７は、第一の原型実施例のＴＤＥＦ６１７の図である。 図８は、第一の原型実施例の機能ｒＤＥＦＩＮＥ（定義）」の詳細な図である。 図９は、第二の原型実施例における改良点の図である。 図１０は、ドキュメント生成装置において用いられるテンプレートドキュメント の実例である。 図１１は、ドキュメント生成装置の概念ブロック図である。 図１２は、テンプレートドキュメントの実例のドキュメント構造の図である。 図１３は、ドキュメント構造におけるマージターム属性を示す図である。 ｅ１４は、ドキュメント生成装置において利用されるインデックスの図である。 図面参照を容易にするために、実施例中に用いられた参照番号は三桁であられす 。右二桁は図中の参照番号を表す。左−桁が図面番号である。たとえば、参照番 号９０１は、図９に示される項目を指す。 好ましい実施例 後述する好ましい実施例においては、まず本発明のエキスパートシステムおよび エキスパートシステムシェルの概念的な概略を示し、次に本発明の第一の原型実 施例を詳細な説明を加える。第二の原型実施例における改良点について論じであ る。−Ｂｌ！続出願である本開示への追加部分はセフシコン２３から始まる。 １　本発明のエキスパートシステムシェルおよびエキスパートシステムの概念的 な概略：図２ 図２は、本発明のエキスパートシステムシェル２０１およびエキスパートシステ ム２０２の概念ブロック図である。エキスパートシステムシェル２０１は四つの 構成要素を有する。すなわち、コマンドプロセッサ（ＣＰ）２０３、定義プロセ ッサ（ＤＰ）２０７、ターム記憶装置（ＴＳ）２１５、ターム推論エンジン（Ｔ ＩＥ）２１９である。エキスパートシステムシェル２０１を利用して生成された エキスパートシステム２０２は、ＣＰ２Ｏ７を除くこれらの構成要素を有する。 以下に詳述するように、ＣＰ２Ｏ３はシェル２０１およびシステム２０２のユー ザからコマンドを受け取り、コマンドを他の構成要素へ提供する。ＣＰ２Ｏ７は 定義処理を行う。ＴＳ２１５は定義されたタームおよびその定義を格納する。 ＴＩＥ２１９はＴＳ２１５から送られたタームの定義を利用して、そのタームを 評価し他の命令をタームに施す。 ＣＰ２Ｏ３はシェル２０１およびシステム２０２のユーザより送られたコマンド を、定義プロセッサコマンド（ＤＰＣ）２０４および推論エンジンコマンド（Ｉ ＥＣ）へ変換する。この原型では、ＤＰＣ２０４によってシェル２０１のユーザ はタームを定義し、あるいは再定義し、あるいは定義されたタームを未定義にし 、タームの定義を検討し、定義セットを退避し、定義セットを復元することがで きる。ｌＥＣ２１７を使用することで、シェル２０１あるいはシェル２０．１に よって生成されたエキスパートシステム２０２のユーザは、タームの現在値を決 定し、エキスパートシステム２０２がその値に達した過程を見つけだし、エキス パートシステム２０２にタームに対する他の値を考えさせ、それが他のタームの 値にどんな効果を与えるか観察し、タームのいずれかひとつあるいは全部をリセ クトすることができ、さらに、タームの現在値を決定するさいに外部より値を供 給する必要がある場合、その値が必要な理由をエキスパートシステム２０２に問 い合わせることができる。 定義プロセッサ２０７はＴＥＲＭ２０６を定義する。ＴＥＲＭ２０６が完全に定 義されていれば、ＴＳ２１５は、ＴＥＲＭ２０６に対応する定義されたターム（ ＤＴＥＲＭ）２１１およびＤＴＥＲＭ２１１に対する定義（ＤＥＦ）２１３を含 む。ＴＥＲＭ２０６はＴＥＲＭ２０６に対する模答でエキスパートシステムシェ ル２０１のユーザから要求されたＣＰ２Ｏ７を、ＤＰＣ２０４内かあるいは記述 （ＤＥＳＣ）２０５からのいずれかの方法で受け取ることができる。ＣＰ２Ｏ７ はまず、ＴＥＲＭ２０６に対応するＤＴＥＲＭ２１１がすでに存在するがどうか 、つまり、ＴＥＲＭ２０６がすでに定義されているかどうかを決定する。もし決 定されていれば、ＣＰ２Ｏ７はＴＥＲＭ２０６に対応するＤＴＥＲＭ２１１をＴ Ｓ２１５から検索し、ＣＰ２Ｏ７が現在構成中であるという定舞に使用するため に用意しておく。もし未定義であれば、ＣＰ２Ｏ７は記述要求（ＤＥＳＣＲＥＱ ）をシェル２Ｑ１のユーザへ出力する。ユーザはＴＥＲＭ２０６の記述（ＤＥＳ Ｃ）２０５をＣＰ２Ｏ１へ提供し、次にＣＰ２Ｏ１がＤＥＳＣ２０５の情報を利 用してＴＥＲＭ２０６のためにＤＥＦ２１３を作り出す。さらに詳しく後述する ように、ＤＥＳＣ２０５は、ユーザが他のＴＥＲＭ２０６に定数値を指定でき、 定義が提供されるエキスパートシステム２０６の外部より値が得られるような定 ｉ言語で書かれている。この定義によってさらにＴＥＲＭ２０６で表現される値 に実行される命令、定数、定義の外部値を指定できる。ＤＥＳＣ２０５がＴＥＲ Ｍ２０６を含む場合、ＣＰ２Ｏ７はこれらＴＥＲＭ２０６をこれまでに述べた方 法で取り扱うことができる。ＴＥＲＭ２０６に対応するＤＴＥＲＭ２１１が存在 すれば、ＤＴＥＲＭ２１１は構成中であるＤＥＦ２１３において利用される。 ＤＴＥＲＭ２１１が存在しなければ、ＣＰ２Ｏ７はＴＥＲＭ２０６を定義するＤ ＥＳＣ２０５を要求し、上述のように処理する。ＣＰ２Ｏ７の繰り返し命令が図 ２に示されており、矢印２０８によって、少なくとも一つのＴＥＲＭ２０６を含 むＵＤＥＳＣ２１０が再びＣＰ２Ｏ７によって処理される過程が示される。この ようにして、最初のＤＥＳＣ２０５のＴＥＲＭ２０６を定義するために必要なＴ ＥＲＭ２０６用ＤＥＳＣ２０５において、最初のＤＥＳＣ２０５およびすべての ＴＥＲＭ２０６が定義されるまで、つまり、それらがＴＳ２１５におけるＤＴＥ ＲＭ２１１およびＤＥＦ２１３に対応するまで処理が続く。 ＣＰ２Ｏ７を命令した結果得られたＤＴＥＲＭ２１１およびＤＥＦ２１３はＴＳ ２１５に配置される。ＤＴＥＲＭ２１１は名前によってＴＳ２１５に配置される 。ＤＴＥＲＭ２１１に対応するＤＥＦ２１３はＤＴＥＲＭ２１１と関係づけられ 、ＤＴＥＲＭ２１１が配置されれば使用することができる。ＤＥＦ２１３が派生 したＤＥＳＣ２０５の修正版は、ＤＥＦ２１３に含まれる。 ＤＰＣ２０４によって指定される残りの命令は、ＣＰ２Ｏ７およびＴＳ２１５に おいて次のように実行される。ＴＥＲＭ２０６を未定義とする場合、ＣＰ２Ｏ７ は対応するＤＴＥＲＭ２１１およびＤＥＦ２１３をＴＳ２１５から取り除く。 ＴＥＲＭ２０６を再定義するには、ＣＰ２Ｏ７がＴＥＲＭ２０６に対応するＤＥ Ｆ２１３を取り除き、新たなＴＥＲＭ２０６用ＤＥＳＣ２０５を要求する。ＤＥ ＳＣ２０５は上述のような方法で処理される。ＴＥＲＭ２０６の定義を表示する ようＤＰＣが要求すると、ＣＰ２Ｏ７が、ＴＥＲＭ２０６に対応するＤＴＥＲＭ ２１１のためのＤＥＦ２１３へ合体されたＤＥＳＣ２０５を表示する。最後に、 退避命令によって与えられたＴＳ２１５の内容を後で使用するためにファイルへ 退避し、また復元命令によってファイルの内容をＴＳ２１５へ復元する。 ターム推論エンジン（ＴＩＥ）２１９は、ＴＳ２１５におけるＤＴＥＲＭ２１１ およびＤＥＦ２１３を使用して命令を実行する。まずはじめの命令は、その定義 から定まるＤＴＥＲＭ２１１の値ならびにエキスパートシステム２０２あるいは シェル２０１のユーザによって提供される外部値を決定するｗｈａ＋命令である 。 ＴＩＥ２１９は、命令オヨびＣＰ２Ｏ３から送らしｆ：ＴＥＲＭ２０６　ヲ指定 する■ＥＣ２１７への応答としてこのｗｈａｔ命令を実行する。ＴＩＥ２１９は 、ＤＴＥＲＭ２１１のＤＥＦ２１３をＴＳ２１５に配置するためにＴＥＲＭ２０ ６に対応するＤＴＥＲＭ２１１を使用する。そして、ＤＴＥＲＭ２１１および定 数、この定義において指定された外部値を利用してＤＥＦ２１３で指定された命 令を実行する。さらに、結果ＴＲＥＳをシステム２０２あるいはシェル２０１の ユーザへ戻す。 ＤＴＥＲＭ２１１の値を高速で計算するさいにＤＥＦ２１３における定数を利用 することができる。外部値の場合、ＤＴＥＲＭ２１１には外部値が得られた過程 に関する記述が含まれる。ＴＩＥ２１９はこの記述を用いて外部値（ＥＸＶＡＬ ＲＥＱ）を外部値（ＥｘＶＡＬ）２２５のソースへ要求し、ソースカラＥＸＶＡ Ｌ　２２５を受け取る。もつとも単純な場合、ソースとはシステム２０２あるい はシェル２０１のユーザが使用する端末のことで、ユーザの端末画面に質問を人 力し、その人力を受け取ることにより情報を得ることができる。さらに複雑な場 合では、ソースはファイルあるいはデータベースであっても良い。 評価中のＤＴＥＲＭ２１１のためのＤＥＦ２１３においてさらにＤＴＥＲＭ２１ １が必要な場合について説明する。ＴＩＥ２１９はさらにＤＴＥＲＭ２１１のＤ ＥＦ２１３を得ることができ、そのＤＥＦ２１３からＤＴＥＲＭ２１１の値を計 算し、そのＤＥＦ２１３におけるすべてのＤＴＥＲＭ２１１であると評価し、ｗ ｈａｔ命令で探索中のＤＴＥＲＭ２１１値すべてのＤＴＥＲＭ２１１を評価して しまうまでこのような処理が続く。それぞれのＤＥＦ２１３において指定された これらの定数、外部値、ＤＴＥＲＭ２１１は、上述のような方法で処理される。 すべてのＤＥＦ２１３が評価された場合、求められているＤＴＥＲＭ２１１の値 が計算され、ＴＲＥＳ２２７として返される。 好ましい実施例において、与えられたＤＥＦ２１３の評価中に得られるＥＸＶＡ Ｌ２２５が、そのＤＥＦ２１３の評価の一部となる。このように、ｗｂｍ命令が ＤＴＥＲＭ２１１に対してもう一度実行された場合、ＴＩＥ２１９はＥＸＶＡＬ 　ＲＥＱを生成せずに、単に格納されたＥＸＶＡＬ２２５を利用してＤＴＥＲＭ ２１１の値を再計算する。好ましい実施例では、格納されたＥＸＶＡＬ２２５を 修正するためのｒＥｃ２１７を二つ用意しである。第一のＩＥＣはリセット用で 、リセットコマンドで指定されたＤＴＥＲＭ２１１のためのＤＥＦ２１３から、 格納されたすべてのＥＸＶＡＬ２２５を単に削除するものである。このため、Ｗ ｈａｔがふたたび実行されたとき、新たなＥＸＶＡＬ２２５が上述のように得ら れる。第二のＩＥＣは仮定用で、仮定コマンドで指定されたＴＥＲＭ２０６のた めのＤＥＦ２１３へ新たなＥＸＶＡＬ２２５を提供することができる。この場合 、ｗｈａＸがふたたび実行されると、指定されたＥＸＶＡＬ２２５は、Ｗ−命令 が実行されるのに必要なりＴＥＲＭ２１１の値を得るために使用される。 シェル２０１あるいはシステム２０２のユーザが、ＴＩＥ２１９が与えられたＥ ＸＶＡＬ２２５を要求する理由を知りたい場合、ｗｈｙ命令コマンドでＥＸＶＡ Ｌ　ＲＥＱに応答することができる。そのコマンドに応答する場合、ＴｒＥ２１ ９は、ＥＸＶＡＬ２２５が必要なときに計算しておいた値を有するＤＴＥＲＭ２ １１のためのＤＥＦ２１３からＤＥＳＣ２０５を出力する。ユーザは、与えられ たＥＸＶＡＬ２２５が重要である理由をＤＥＳＣ２０５から決定することができ る。ユーザはざらにｗｈｙを利用して、評価した結果ＥＸＶＡＬ　ＲＥＱを生成 したＤＴＥＲＭ２１１値を得ろのに必要な値を持つ、すべてのＤＴＥＲＭ２１１ が必要となる理由を問い合わせることができる。そしてＴＩＥ２１９はこれらの ＤＴＥＲＭ２１１のためのＤＥＳＣ２０５を提供する。 ３　定義の階層：１ｍ３ いかなるタームを定義する場合でも、ＣＰ２Ｏ７はＤＥＦ２１３の階層を生成す る。定義されたタームのためのＤＥＦ２１３にタームが含まれていなければ、階 層は一つだけのレベルである。ターム用ＤＥＦ２１３がタームを含んでいれば、 そのタームは第一のタームが定義されるよりも先に定義されなければならず、こ の第一のタームは二つのレベルの階層におけるトスブタームである。第二のレベ ルにおいてさらにタームを有するＤＥＦ２１３が存在すれば、このタームは定義 されなくてはならず、階層は三つのレベルである。このようにして、他のターム が依存するターム用ＤＥＦ２１３がもはやタームを含まなくなるまで階層は深く なっていくが、そのかわり定数あるいは外部値への命令によって単独で定義され る。上述より明らかなように、ＤＥＦ２１３は常に、ＤＥＦ２１３が定義するＤ ＴＥＲＭ２１１を定義するために必要なりＥＦ２Ｌ３の階層におけるトップＤＥ Ｆ２１３であるが、同時に、他のＤＴＥＲＭ２１１を定義するために必要なりＥ Ｆ２１３＃層の低レベルにある。 図３はこのようなりＥＦ２１３階層の概念図である。階層３０５には、ＤＴＥＲ Ｍセット３０１に属するＤＴＥＲＭ２１１　（Ａ）乃至（Ｅ）に対応するＤＥＦ ２１３（Ａ）乃至（Ｅ）が含まれる。階層３０５におけろ鰻重の定義は、ＤＴＥ ＲＭ２１１　（Ａ）に対応するＤＥＦ２１３　（Ａ）である。ＤＥＦ２１３（Ａ ）におけるｏＰ（Ｂ、Ｃ）という表示は、ＤＴＥＲＭ２１１　（Ｂ）および（Ｃ ）＋７）値を命令することによってＤＴＥＲＭ２１１　（Ａ）の値を得る、とい うことをＤＥＦ２１３（Ａ）が指定することを示す。同様に、ＤＥＦ２１３　（ Ｂ）が、ＤＴＥＲＭ２１１　（Ｄ）および（Ｅ）の値を命令することによりＤＴ ＥＲＭ２１１　（Ｂ）の値を得るということを指定する。したがって、ＤＥＦ２ １３（Ａ）にとっての階層３０５には三つのレベルがある。レベルｌ　３０７に はＤＥＦ２１３　（Ａ）のみが含まれ、レベル２３０９にはＤＥＦ２１３　（Ｂ ）およびＤＥＦ２１３　（Ｃ）が含まれる。レベル３３１１にはＤＥＦ２１３　 （Ｄ）および２１３（Ｅ）が含まれる。ＤＥＦ２１３　（Ｃ）、２１３　（Ｄン 、２１３（Ｅ）は他のＤＴＥＲＭ２１１とはＤＴＥＲＭ２１１ｃ、Ｄ、Ｅ、を定 義せず、これ以上低レベルを引き起こすことがない。このようなりＥＦ２１３を 最終定義３１２と呼ぶ。 階層３０５を構築する場合、ＣＰ２Ｏ７はＤＴＥＲＭ２１１　（Ａ）に対応する ＴＥＲＭ２０６　（Ａ）から開始する。ＣＰ２Ｏ７はＴＥＲＭ２０６　（Ａ）を ＤＥ５Ｃ２０５から受け取る。ＤＥＳＣ２０５からあるいは定義ＤＰＣ２０４あ るいは再定義ＤＰＣ２０４からさらに高レベルでＤＥＦ２１３は構成中である。 ＣＰ２Ｏ７はＤＴＥＲＭ２１１　（Ａ）用ＤＥＳＣ２０５を要求する。ＤＥＳＣ ２０５は二つのＴＥＲＭ２０６　（Ｂ）および（Ｃ）に対する命令によりＤＴＥ ＲＭ２１１　（Ａ）を定義する。ＤＥＦ２１３　（Ｂ）およびＤＥＦ２１３　（ Ｃ）がすでに存在していれば、ＣＰ２Ｏ７はＤＥＦ２１３　（Ａ）を作り、それ 以上進む必要がない。ＤＥＦ２１３　（Ｂ）とＤＥＦ２１３　（Ｃ）のいずれか が存在しなければ、ＣＰ２Ｏ７は、ＤＥＦ２１３Ａを作る前にこのＤＥＦ２１３ を生成しなくてはならない。このようにＣＰ２Ｏ７はＴＥＲＭ２０６　（Ｂ）お よびＴＥＲＭ２０６　（Ｃ）を要求する。ＴＥＲＭ２０６　（Ｃ）の場合は、Ｄ ＥＳＣ２０５がＥＸＶＡＬ　（Ｃ）のみによって２２５ＴＥＲＭ２０６　（Ｃ） を定義し、ＤＥＦ２１３が直ちに構成される。ＴＥＲＭ２０６　（Ｂ）において 、ＤＥＳＣ２０５は二つの追加ＴＥＲＭ２０６（Ｄ＞および（Ｅ）によってＴＥ ＲＭ２０６　（Ｂ）を定義する。したがって、ＣＰ２Ｏ７は他のレベルを降りな くてはならず、これらのＴＥＲＭ２０６のためにＤＥＦ２１３を生成しなくては ならない。ＣＰ２Ｏ７はふたたびこれらのタームのためにＤＥＳＣ２０６を要求 する。両ケースにおいて、ＴＥＲＭ２０６はＥＸＶＡＬ２２５によって定義され 、したがって、ＤＥＦ２１３が構成される。 ＴＥＲＭ２Ｇ６　（Ａ）を定義する場合に含まれるナベてのＴＥＲＭ２０６のた めのＤＥＦ２１３はすでに構成され、ＴＥＲＭ２０６　（Ｂ）乃至（Ｅンに対応 するＤＴＥＲＭ２１１　（Ｂ）乃至（Ｅ）が存在し、ＤＥＦ２１３（Ａンが構成 できる。 ＴＥＲＭ２０６　（Ａ）はここでＴＥＲＭ２０６　（Ａ）に対応するＤＴＥＲＭ ２１１　（Ａ）を獲得できる。 階層３０５がトップＤＥＦ２１３から繰り返し構成され、さらに対応するＤＴＥ ＲＭ２１１を持たないＴＥＲＭ２０６だけが定義されるため、二つのＤＥＦ２１ ３を獲得できるＤＴＥＲＭ２１１は存在せず、階層３０５において、それよりも 上位にあるＤＥＦ２１３を参照できるＤＥＦ２１３は存在しない。したがって、 階層３０５におけるＤＥＦ２１３は必然的に完成され、階層３０５におけるＤＥ Ｆ２１３（Ａ）あるいはＤＥＦ２１３　（Ａ）を取り入れたすべての階層におけ るトップＤＥＦ２１３に一致する。 特表平４−５０５２２７　（５） ４　記述２０５のための記述言語 上述のとおり、ＣＰ２Ｏ７は記述（ＤＥＳＣ）２０５からＤＥＦ２１３を作る。 ＤＥＳＣ２０５の原型は、記述言語から成る。記述言語は、タームに対する命令 を指定するあらかじめ定義されたターム、ケースステートメント、外部値を獲得 するための命令から成る。　この演算にはプール演算、算術演算、テキスト連結 が含まれる。ケースステートメントとは、対になったプール式値から成る次のよ うな形式のリストである。 （ｂｏｏｌｅａｎ　ｅｘｐ　１）　ｖａｌｕｅ　１．　、　、　（ｂｏｏｌｅａ ｎ　ｅｘｐ　ｎ）　ｖａｌｕｅ　ｎ（ＯＴＨＥＲＷＴＳＥ）σｎ（ＥＲＶＩＩ５ ｆ−ｙａ１ｕｅケースステートメントを含むＤＥＦ２１３を評価する場合、プー ル式１乃至ｎが真になるまで評価される。真であるプール式に対応する値が、Ｄ ＥＦ２１３で定義されるＤＴＥＲＭ２１１の値になる。仮に真となるプール式が 存在しなければ、σ１正ＲＷＥに対応する値がＤＴＥＲＭ２１１の値となる。 原型の記述言語によって、外部値を獲得するための命令について２つのクラスの 指定ができる。第一のクラスであるＡＳＫ命令は、エキスパートシステム２０２ のユーザの端末から値を得るとともに、端末から外部値を獲得するために使用さ れる。第二のクラスであるＲＥＣＯＲＤ命令ＯＲ−タベースシステムから外部値 を獲得するために使用される。どちらのクラスにおいても、外部値は数字、テキ ストストリング、プール値のいずれでも良く、代替リテラルターム、つまりそれ 自身以外のものを表さないタームのセットから選択されたものであっても良い。 数値を獲得するためのＡＳＫは次のような形式である。 ＡＳＫ　ＮＬＪＭＢＥＲ”ｐｒｏｍｐｔ　ｓｔｒｉｎｇ”このようなＡＳＫ命令 を含むＤＥＦ２１３が評価される場合、ＣＰ２Ｏ７はプロンプトストリングを端 末へ出力し、端末から番号が入力されるのを待つ。この番号はＤＥＦ２１３の評 価に使用される。プロンプトストリング自身が予め定義されたタームを含んでい ても良い。その場合、ユーザは予め評価されたタームの値に応じて応答すること ができる。プール値およびテキストストリング値のためのＡＳＫ命令が、数値の ためのＡＳＫ命令と同様に指定される。ただし、上記の命令において、プール値 をめるさいにＮＵＭＢＥＲがＹＥＳ−Ｎｏによって置き換えられたり、テキスト ストリングをめるさいにＴＥＸＴで置き換えられるという点は別である。 多くのリテラルタームから一つを選択するＡＳＫは、次のような形式である。 ＡＳＫ　ＣＨ（ＭＣＥを含むＤＥＦ２１３が評価される場合、プロンプトストリ ングが出力され、リテラルタームの中から一つ選択するようユーザは要求される 。このリテラルタームがＤＥＦ２１３で使用され、ＤＥＦ２１３によって定義さ れるＤＴＥＲＭ２１１の値を計算する。 ＲＥＣＯＲＤ命令ＯＲ−ＡＳＫ命令と同様であるが、ＲＥＣＯＲＤ命令ＯＲ−る 点は、外部値がデータベースにどのように配置されるか、またそのデータベース が指定された場所でどのように値を供給するかを指定する点である。 ５　シェル２０１およびシステム２０２の命令：図４ある人が詐欺にあったかど うかを決定する定義階層を利用しながら、シェル２０１の命令について詳細に説 明する。法的に詐欺と定義するには、ある関係者が他の関係者に故意に嘘を告げ 、告げられた関係者がその嘘のために損害を被らなくてはならない。図４に法的 定義の階層に対応するＤＴＥＲＭ２１１の階層を示す。ＣＰ２Ｏ３がＤＥＦＩＮ Ｅ　ＦＲＡＵＤコマンドを受け取ると、図４の階層３０５を作成しはじめる。Ｃ Ｐ２Ｏ３がＴＥＲＭ２０６を通過しＣＰ２Ｏ７へ達する。このＣＰ２Ｏ７が、定 義を行うエキスパートへＤＥＳＣ２０６を要求する。 エキスパートがＤＥＳＣ２０６に ＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ　ＡＮＤ　Ｄ日ＩＮＰ任 ＡＬ　ＲＥＬＩＡＮＣＥを与える。このＤＥＳＣ２０６にはさらに二つのＴＥＲ Ｍ２０６およびプールＡＮＤ演算子が含まれる。このようにして、ＦＲＡＵＤの 値は、ＴＥＲＭ２０６に対応しかつそれらへＡＮＤ演算を行うＤＴＥＲＭ２１１ の値を得てから計算される。 この二つのＴＥＲＭ２０６は未定義のため、ＣＰ２Ｏ７はそれらに対する定義を 要求する。エキスパートがＤＥＳＣ２０５にＭＩＳＲＥＰＲＥＳＥＮＴＡＴＴＯ Ｎ　ＡＮＤ　ＤＥＦＥＮＤＭ’ｒ　ＫＮＥＷ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩ ＯＮをＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ用として与え、ま たＤＥＴＲＩＭＥＮＴＡＬ　ＲＥＬＩＡＮＣＥのためにＰＬＡＺＮＴＩＦＦ　Ａ ＮＤＬｏｓｓ　ＢＹ　ＰＬＡＩＮＴＩＦＦをＤＥＳＣ２０５へ与える。ここでも ＴＥＲＭ２０６は未定義のため、ＣＰ２Ｏ７がそれらに対する定義を要求し、エ キスパートが図４に示されるような定義を与える。ＣＰ２Ｏ７が定義をいかなる 順序で要求しようと、好ましい実施例では、次の未定義ＴＥＲＭ２０６へ移る前 に、与えられたＴＥＲＭ２０６を定義するのに必要なすべてのＴＥＲＭ２０６を 定義する。 上記の例ニオイテ、ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ、ＤＥＦＥＮＤＡＮＴ 　ＫＮＥＷ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮｌＲＥＩｊＡＮＣＥ　ＢＹＰ ＬＡＩＮＴＩＦＦ、Ｌｏｓｓ　ＢＹ　ＰＬＡＩＮＴＩＦＦＶ）ためのＤＥＳＣ２ ０５はすべて、ＡＳＫ　ＹＥＳ−Ｎｏ命令において使用されるシステムにより定 義されたＤＴＥＲＭ２１１だけを含むので、ＣＰ２Ｏ７はここで、階層のすべて のタームのためのＤＥＦ２１３を生成できる。この階層におけるすべてのＤＴＥ ＲＭ２１１の値は、結局、ＦＲＡＵＤ定義を利用するエキスパートシステム２０ ２のユーザからＡＳＫ　ＹＥＳ−Ｎｏ命令が要求する値次第である。また結局、 原告が自分に起こった出来事について何と言ったかにかかってくる。 エキスパートシステム２０２において、ＦＲＡＵＤ定義階層は、エキスパートシ ステム２０２のユーザがＷＨＡＴ　ＦＲＡＵＤコマンドをＣＰ２Ｏ３へ入力する ことから使用開始される。ＣＰ２Ｏ３は対応するＴＩＥ２１９用ＷＨＡＴＦＲＡ ＵＤＩＥＣ２１７を生成する。ＴＩＥ２１９はここで、そのＤＥＦ２１３を評価 すルことでＦＲＡＵＤの値を決定する。決定するためには、ＣＰ２Ｏ３は階層内 の他のＤＴＥＲＭ２１１のための、ＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴ ＡＴＩＯＮから始まるＤＥＦ２１３を評価しなければならない。ＫＮＯＷＩＮＧ 　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮを評価するには、ＭＩ　５ＲＥＰＲＥＳ ＥＮＴＡＴＩＯＮを評価しなければならない。このＤＴＥＲＭを評価すると、結 果的にそのＤＥＦ２１３においてＷＨＡＴ　ＹＥＳ−Ｎｏ命令を実行したことに なり、ＴｉＦ４１９はプロンプト「彼はあなたに嘘をついたか？」を出力する。 もしユーザが「ＮＯ」と答えれば、ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮｌｉ偽 となり、ＴＩＥ２１９はＴＲＥＳ２２７をユーザへ返し、詐欺ではないことを示 す。 もしユーザがｒＹＥＳＪと答えれば、ＴＩＥ２１９はＤＥＦＥＮＤＡＮＴ　ＫＮ ＥＷ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮを評価し、これによってふたたびユ ーザへ質問がなされる。その質問に対する応答により、評価は継続されるかある いは終了する。ＴＩＥ２１９はＦＲＡＵＤの値を計算してしまうまで上述のよう に進む。 上述のように、エキスパートシステム２０２のユーザは、エキスパートシステム ２０２がどのようにしてＦＲＡＬＤ＋：対してその値にたどり着いたのかを決定 するためのＨＯＷユーザコマンドを使用することができる。　（ＭＩＳＲＥＰＲ ＥＳＥＮＴＡＴＩＯＮの定義において）「彼はあなたに嘘をついたか？」と聞か れた時にユーザがｒｎｏＪと答えたとすれば、原型におけるＴＩＥ２１９は次の ように出力することでＨＯＷ　ＦＲＡＵＤに対して応答する。 ＦＲＡＬｒＤ　＆は、　（ＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯ Ｎ）カ’ＦＡＬＳＥである場合に（ＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＭｒ ＡＴＩＯＮ　ＡＮＤ　ＤＥＴＲｒＭＥＦＪＴん−ＲＥＬＩＡＮＣＥ）であると定 義される。 上述のように、ＤＰ２０７はＤＴＥＲＭ２１１のＤＥＦＵＮ式内にＤＴＥＲＭ２ １１のためにＤＥＳＣ２０５を配置し、ＴＩＥ２１９も、ＴＩＥ２１９がＤＥＦ ２１３においてＤＴＥＲＭ２１１のＤＥＦ２１３を評価するさいに受け取る外部 値を格納する。ＨＯＷ命令を実行する場合、問い合わせされているＤＴＥＲＭ２ １１の値を獲得する必要が生じた場合に、ＴｉＦ４１９はまず問い合わせされて いるＤＴＥＲＭ２１１のためにＤＥＦ２１３からＤＥＳＣ２０５を取り出して出 力し、さらにＤＥＦ２１３においてＤＴＥＲＭ２１１を評価する。ここでＤＴＥ ＲＭ２１１は、その値と共に出力される。ユーザがさらに問い合わせをしたいな ら、ＨＯＷ命令において出力されたＤＥＳＣ２０５で指定された他のＤＴＥＲＭ ２１１に対してなされるＨＯＷ命令を繰り返せば良い。 上述でも触れたように、外部値を要求されたさいに値のかわりにＷＨＶコマンド で応答することができる。ＦＲＡＵＤ例の場合、　「彼はあなたに嘘をついたか ？」というＴＩＥ２１９の問い合わせに対してユーザがＷＨＶで応答したとすれ ば、ＴＩＥ２１９は、 ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮは、ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ ＡＮＤＳＵＢＪＥＣｒＫＮＥＷＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮであると定 義されるＫＮＯＷｒＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮの値を決定する ために必要である。 と応答し、質問を繰り返す。 その上、ＷＨＹコマンドに応答するために使用される情報は、ＦＲＡＵＤを定義 するために使用される階層のＤＥＦ２１３に格納されたＤＥＳＣ２０５から送ら れる。ユーザがこの点に関してさらに知りたい場合には、ＷＨＹコマンドの応答 の際に、と述のＤＴＥＲＭ２１１に対して使用したＨＯＷを用いることができる 。 ６　原型実施例のＬＩＳＰ環境：図５ これまでシェル２０１およびシステム２０２の構造ならびに命令に関する概念的 な大要を説明してきたが、ここから第一原型を実現する場合について詳細に説明 する。 第一および第二の原型実施例はＬＩＳＰプログラム言語で実現することができ、 Ｌ　Ｉ　Ｓ　ＰＲ境で実行できる。ＬＩＳＰプログラム言語およびその環境は、 原型やプログクシ１ンエキスパートシステムを実現するために使用されることが 多く、エキスパートシステム技術の中で最も有名である。原型実施例のために使 用される具体的なＬＩＳＰ方言は、ガイ・Ｌ・スチール・Ｊｒ著ｒｃＯＭＭＯＮ 　ＬＩＳＰ、ｔｈｅ　ＬａｎｇｕａｇｅＪ　（デジタルプレス社　１９８４年） におし１て発表されたＣ０ＭＭ０Ｎ　Ｌｒ５Ｐである。ＬＩＳＰ環境および言語 につし）ては、原型実施例の命令方式を明快に理解するのに必要最小限なだけ、 ここに記述する。 第一に、プログラム内の記号で表されるデータ処理ではなく、主に記号処理を扱 うという点において、ＬＩＳＰはＦＯＲＴＲＡＮあるいはＰＡＳＣＡＬのような 言語とは異なる。ＬＩＳＰプログラムの基本的な要素はアトムである。アトムは 、ＡＢＣのような記号でも、定数であっても良い。この要素がリストによってプ ログラムに編成される。リストは構成要素を持たなくても、あるいはアトムや他 のリストを含む構成要素を持っていても良い。リストは括弧で括られた構成要素 から成る。　（ＡＢＣ）は、記号ＡＢＣという一つの構成要素から成るリストで ある。ＬＩＳＰには、リストの第一記号が関数を表し他のアトムが関数の引数を 表すリストのような関数がある。たとえば、加算関数はＬＩＳＰにおし１て記号 子で表され、　（＋２３）はアトム２および３に対して十命令が行われると１／ ）うことを指定する。ＬＩＳＰインタプリタによって評価される場合、値を有す るすべてのアトムあるいはリストはフオームと呼ばれる。５および（＋２３）は フオームであり、もし記号ＡＢＣが値を持っていれば、それがフオームである。 関数はＤＥＦＵＮ関数によりＬＩＳＰにおいて定義される。ＤＥＦＵＮ関数にお いて、リストの残りの項目が関数名、その引数、関数が返す値を定義する。たと えば、（ｄｅｆｕｎ　ｆｉｖｅ　０５）は引数を持たず、必ず値５を返す関数を 定義する。 ＬＩＳＰプログラムが記号およびリストを処理することでプログラムができる。 関数定義はわずか一種類のリストなので、ＤＥＦＵＮによって新たな記号名が作 成された時にＬＩＳＰプログラムはその記号をＤＥＦＵＮへ与えることができ、 新たに作成された関数を実行するためにその記号を使用する。記号の表現方法は 記号自身であっても値であっても良い。ＬＩＳＰリストにおける記号のように記 号がそれ自身を表す場合、記号の直前に「°」マークがある。記号が関数を表す 場合、記号の値は関数である。しかし、関数が引数および評価されたリストと共 にリストに存在すれば、関数の実行値が結果である。このように、５は記号５を 表すと同時に５はＤＥＦＵＮによって上述のように定義された関数を表し、さら に（ｆｉｖｅ）は関数５の実行値を表す。 ＬＩＳＰプログラムはＬＩＳＰｆｉ境において書かれ、実行される。原型実施例 のために使用されるこの環境は、ワン・ラボラトリーズ社によって製造されたプ ロフェッショナルコンピュータのためにゴールド・ヒル・コンピュータ社が開発 したものである。図５は、一般的なＬＩＳＰ環境５０１の概念的なプロ７り図で ある。環境５０１には二つの主要要素があり、ＬＩＳＰフオームを評価するＬＩ ＳＰインタプリタ５０３および、ＬＩＳＰ記号（ＳＹＭ５０１）ならびにその定 義（ＳＹＭＤＥＦ５０９）を格納するＬＩＳＰ記号スペース５０５である。ＤＥ ＦＵＮおよび他のＬＩＳＰ関数は新たなＬＩＳＰ記号を作成し定義するか、ある いはすでに存在したＬＩＳＰ記号が評価される時にそれらを再定義する。したが って、ＬＩＳＰインタプリタ５０３は記号評価装置としてだけでなく、記号作成 装置であり再定義装置として考えることができる。 ＬＩＳＰ環境５０１の命令は次のとおりである。Ｌｒ５Ｐ環境５０１のユーザが （ｆｒｖｅ）のようなフオームを含むリストをタイプする場合、ＬＩＳＰインタ プリタ５０３がフオームを評価するに際して、記号スペース５０５における記号 ｎ■を配置し、そのＳＹＭＤＥＦ５０９が何であるかを決定し、さらに５の値を 計算するためにＳＹＭＤＥＦ５０９を解釈する。この場合、ＳＹＭＤＥＦ５０９ は、ＤＥＦＵＮ式の評価によって作成された関数ｆｉｖｅに対するコードである 。さらにその解釈によって、インタプリタがユーザへ（ｆｉｖｅ）の値として返 す値５を生成する。 ＬＩＳＰインタプリタ５０３はＳＹＭ５０７およびそれらに対応するＳ　ＹＭＤ ＥＦ５０９を作成することができ、記号スペース５０５にそれらを格納し、配置 することができるので、ＬＩＳＰ環境５０１は自動的に、他の言語では実現困難 でありエキスパートシステムシェルおよびエキスパートシステムの命令に不可欠 な命令を実行する。このため、ＬＩＳＰ環境５０１は上述のような環境で原型エ キスパートシステムおよびエキスパートシステムシェルを作成してきた。後述す る説明から理解できるように、本発明の原型は記号作成命令、記号定義命令、記 号配置命令を完全に利用する。 ７　第一の原型実施例の概略：図６ 第一の原型実施例では、ＬＩＳＰ関数によりエキスパートシェル２０１およびエ キスパートシステム２０２の要素が実現されている。図６では関数の概略が示さ れ、関数と図２の要素およびこれら要素の入出力との関係を示す。このように、 ＣＰ２Ｏ３を構成するＬＩＳＰ関数は、そのラベルのついたダッシュで示された 箱に、ＤＰ２０７を構成する関数はそのラベルのついたダッシュで示された箱に 、さらにＴＩＥ２１９を構成する関数はそのラベルのついたダッシュで示された 箱に含まれる。ＬＩＳＰ記号およびその定義を格納するＬＩＳＰ記号スペース５ ゜５により、ＴＳ２１５は第一原型において具体化される。第〜原型実施例の要 素にはＬＩＳＰインクブック５０３が含まれるものとする。ＬＩＳＰインタプリ タ５０３は要素を構成するＬＩＡＰ関数を実行し、要素によって作成されるＳＹ Ｍ５０７ならびにＳＹＭＤＥＦ５０９を記号スペース５０５　ｉ、：配置し、Ｓ ＹＭ５０７およびそのＳＹＭＤＥＦ５０９を命令する。 ＥＸＰＥＲＴ６０３は、原型においてＣＰ２Ｏ３の関数を実行スル。ＥＸＰＥＲ Ｔ６０３は人力ストリングを受け取り、その周囲に括弧を設け、図６中でＣＦＯ ＲＭ６０５と呼ばれるＬＩＳＰフオームを生成し、さらにそれに対してＥＶＡＬ 命令を実行する。ＬＩＳＰインタプリタ５０３がこのフオームを評価する場合に は、そのフオームでの第一の記号をＬＩＳＰ関数名として扱い、フオームの残り の項目を名付けられた関数のためのり１数のリストとして扱う。 ＥＸＰＥＲＴ６０３へ入力される入力ストリングには、１）Ｐ２０７用コマンド 、

【　すなわちＤＥＦＩＮＥ、ＲＥＤＥＦＩＮＥ、ＵＮＤＥＦＩＮＥの各コマン ドがあ１　リ、サラニＴ　Ｉ　Ｅ　２１９用：＋ｖンＦ、ｔｆｔｂちＷＨＡＴ、 ＨＯＷ、ＡＳＳＵＭＥ、ＲＥＳＥＴ、ＤＥＦｒＮＩＴＩＯＮ、５ＡＶＥ％ＷＨＹ 、ＲＥＳＴＯＲＥ（７）各コマンドがある。ＤＥＦＩＮＥ、ＲＥＤＥＦＩＮＥ、 ＵＮＤＥＦＩＮＥは図２のＤＰＣ２０４へ対応し、残りのストリングは同図のｌ ＥＣ２１７に対応する。第一の原型実施例では、ＥＸＰＥＲＴ６０３においてエ ラー検出が設けられていないが、商用の実施例においてはＥＸＰＥＲＴ６０３は 不適当な人力を検出し、それに対して応答するコードが含まれる。 図６から理解されるように、ＤＰ２０７はＬＩＳＰ関数すなわちＤＥＦＩＮＥ。 ＲＥＤＥＦＩＮＥ、ＵＮＤＥＦＩＮＥによって、第一原型において実現される。 ＥＸＰＥＲＴ６０３がＦＲＡＵＤのようなＴＥＲＭ２０６と共にＤＥＦＩＮＥコ マンドを受け取り、それをＬＩＳＰインタプリタへ（ＤＥＦＩＮＥ　ＦＲＡＵＤ ）として提供した場合、ＬＩＳＰインタプリタ５０３は関数ＤＥＦＩＮＥを引数 ＦＲＡＵＤと共に呼び出す。ＤＥＦＩＮＥはユーザからＤＥＳＣ２０５を要求し 、ＤＥＳＣ２０５を使ってＦＲＡＵＤのためのＤＥＦ２１３を生成する。以下に おいてさらに詳細に説明するが、こうして呼び出された結果が、ＤＥＦＵＮなら ば下記のようなＦＲＡＵＤと名付けられたＬＩＳＰ関数である。 （ｄｅｆｕｎ　ＦＲＡＬｒＤ　Ｏ （ｐｒｏｇ２ （ｐｏｐ　Ａｒｇ−５ｔａｃｋ） ＦＲＡＵＤを定義する場合に、ＫＮＯＷＩＮＧ　ＭＩＳＲＥＰＲＥＳＥＮＴＡＴ ＩＯＮおよびＤＥＴＥＲＩＭＥＮＴＡＬ　ＲＥＬＩＡＮＣＥおよびそれらの定義 に必要なりＴＥＲＭ２１１がすべて、Ｌ、ＩＳＰ関数を表すＬＩＳＰ記号として 定義される。ＡＮＤはその引数に対してＡＮＤ命令を実行する予め定義されたＬ ＩｓｐｌＳｉｌ数である。関数ＦＲＡＵＤによって返された値はＡＮＤ命令の結 果である。 ＬＩＳＰＩＭＩ数を表１ＬＩＳＰ記号トシテ定義すｔ’Ｌｆ：ＤＴＥＲＭ２１１ 　ｉｆ、以降、７５７Ｍ６１５と呼ぶこととし、ＤＥＦ２１３を原型において実 現するその定義をＴＤＥＦ６１７と呼ぶ。ＬＩＳＰインタプリタが、ＤＥＦＩＮ Ｅ関数への応答で７５７Ｍ６１５およびＴＤＥＦ６１７を生成する際に、それら は記号スペース５０５に配置される。第一原型のＴＤＥＦ６１７が図７に示され る。図７に示されるように、それぞれのＴＤＥＦ６１７はＴＦＵＮＣ７０１，Ｔ ＳＹＭ６１５．７５７Ｍ６１５の定義のソースであったＤＥＳＣ２０５の修正コ ピーＴＤＥＳＣ７０５よって表されるＬＩＳＰ関数、そして７５７Ｍ６１５のた めのエキスパート２０２のユーザによって指定された最後のＴＥＸＶＡＬ７０３ を含むＴＥＸＶＡＬ７０３を含む。 ＤＰ２０７の残りの関数は、ＤＥＦＩＮＥと同様にＥＸＰＥＲＴ６０３から呼び 出される。ＲＥＤＥＦＩＮＥはまずＬＩＳＰ命令を利用し、ＬＩＳＰ命令によっ て再定義中のＴＳＹＭ６１５用ＴＤＥＦ６１７からＴＦＵＮＣ７Ｑ１およびＴＤ ＥＳＣ７０５を取り除き、ＴＤＥＦ６１７のＴＦＵＮＣ７０１およびＴＤＥＳＣ ７０５に新たな値を４えるためにＤＥＦＩＮＥを呼び出す。ＵＮＤＥＦＩＮＥは 、Ｔ　Ｓ　ＹＭ　６１５を新たに定義せずにＴＦＵＮＣ７０１およびＴＤＥＳＣ ７０５を取り除くだけである。 第一原型実施例６０１においてＴＩＥ２１９を作動させるには、ＬＩＳＰインタ プリタ５０３が、ｌＥＣ２１７を表すＥＸＰＥＲＴ６０３からＣＦＯＲＭ６０５ を受け取った時、ＣＦＯＲＭ６０５において指定されたＴＩＥ２１９内の関数を 実行する。ＴＩＥ２１９内の関数が実行されると、７５７Ｍ６１５からできたフ オーム（ＴＦＯＲＭ６３９）をインタプリタ５０５へ与える。インタプリタ５０ ５はフオームを評価し、結果（ＴＦＯＲＭ　ＲＥＳＵＬＴ）を実行中の関数へ返 す。 ＴＩＥ２１９の関数はＴＩＥ２１９、ＡＲＧ−３ＴＡＣＫ６３５、Ｔ　Ｅ　ＲＭ Ｓ−５ＴＡＣＫ６１３、ＳＹＭ−ＢＯＵＮＤ−ＬＩＳＴのｆ−夕構造を利用する 。 ＡＲＧ−５ＴＡＣＫ６３’５は７５７Ｍ６１５を格納するために使用され、同時 にＡＲＧ−５ＴＲＡＣＫ６３５を定義する７５７Ｍ６１５の値が計算される。上 述の手続きＦＲＡＵＤのためのコードかられかるように、ＦＲＡＵＤを定義する ＡＮＤ命令が実行され、その後ＡＲＧ−３ＴＡＣＫからポツプする前に、記号Ｆ ＲＡＵＤはＡＲＧ−３ＴＡＣＫヘブノシユされる。ＴＥＲＭＳ−５ＴＡＣＫ６１ ３は７５７Ｍ６１５のスタックである。このスタ７りはいつ７５７Ｍ６１５のＴ ＤＥＦ６１７が作成されたかにより順序付される。第一の７５７Ｍ６１５はボト ムで作成されたそのＴＤＥＦ６１７を有し、最後の７５７Ｍ６１５はトップで作 成されたものである。詳細に後述するが、最後の７５７Ｍ６１５は通常そのＴＤ ＥＦ６１７が定義階層のトップにある。ＳＹＭ−ＢＯＵＮＤ−ＬＩＳＴ６３７は 現在ＴＳＹＭ６１５へ割り当てらｔ’しているＥＸＶＡＬ２２５を有する７５７ Ｍ６１５のリストである。 ＴＩＥ２１９におけるＬＩＳＰ関数であるＷＨＡＴ関数６１９が実行されるのは 、ＥＸＰＥＲＴ６０３へのＷＨＡＴコマンドに対して応答する場合である。この コマンドはフオームＷＨＡＴ　ＤＴＥＲＭ６１１を有する。ＦＲＡＵＤの場合で あれば、ＥＸＰＥＲＴ６０３が（ＷＨＡＴ　ＦＲＡＵＤ）へ変化するＷＨＡＴＦ ＲＡＵＤである。ＷＨＡＴ間数６１９はまずり、ＩＳＰ関数を用いてその引数が ７５７Ｍ６１５であるかどうかを決定し、もしそうであれば、関数名である記号 を引数として扱い、関数にの場合はＦＲＡＵＤ）を呼び出す他のＬＩＳＰ関数を 使用する。この結果、ＦＲＡＵＤ用ＴＤＥＦ６１７においてＴＦＵＮＣ７０１が 実行される。そのＴＦＵＮＣ７０１が実行されると、ＭＩＳＲＥＰＲＥＳＥＮＴ ＡＴＩＯＮお！ｆ、ＦＤＥＴＲＩＭＥＮＴＡＬ　ＲＥＬ４ＡＮＣＥ用ＴＦＵＮＣ ７０１が、ＦＲＡＵＤの値が決定されるまで、実行される。与えられたＴＳＹＭ ６１５用ＴＦＵＮＣ７Ｑｌが実行された場合、与えられた７５７Ｍ６１５の値を めるのに必要なすべての７５７Ｍ６１５をめるためにＴＦＵＮＣ７０１が実行さ れる。必要なＴＦＵＮＣ７０１がすべて実行された場合、これらの実行から得ら れた値は、ＴＲＥＳ２２７としてシステム２０２のユーザへ返される。もしＴＦ ＵＮＣ７０１がＥＸＶＡＬ２２５を必要とするような７５７Ｍ６１５がすでにこ のような値を持っていれば、７５７Ｍ６１５はＳＹＭ−ＢＯＵＮＤ−ＬＩＳＴ６ ３７上にあり、ＴＦＵＮＣ７０１はＴＤＥＦ６１７におけるＴＳＹＭ６１５用Ｔ ＥＸＶＡＬ７０３を使用する。ＴＳＹＭ６１５がこのような値を持っていなけれ ば、ＴＦＵＮＣ７０１はＥＸＶＡＬ　ＲＥＱを生成し、ＥｘｖＡｒ−２２ｓをユ ーザから得る。このようにＷＨＡＴ関数は、ＬＩＳＰインタプリタ５０３と共に 、ＴＳＹＭ６１５の値を決定する推論エンジンとして作動する。ＴＳＹＭ６１５ の定義は、外部値により決定された場合、階層のドアプレベルにある。さらに、 ＷＨＡＴ命令の結果として呼び出されたＴＦＵＮＣ７０１が起動し、対応するＴ ＳＹＭ６１５がＡＲＧ−５ＴＡＣＫ６３５上にある。 ＨＯＷ関数６２３は、ＴＳＹＭ６１５を指定するＨＯＷコマンドへ応答するさい に実行される。ＨＯＷ関数６２３はそのＴＳＹＭ６１５を引数として扱い、他の ＬＩＳＰ関数および引数ＴＳＹＭ６１５の付いたＳＹＭＢＯＬ−ＦＵＮＣＴＩＯ Ｎを用いてリストを得る。このリストはＤＥＦＵＮと共に用いられ、ＴＳＹＭ６ １５および他のＬＩＳＰ関数に対応するＴＦＵＮＣ７０１を定義し、ＴＦＵＮＣ ７０１における第三のリストにおける第三の要素を獲得する。上記のＦＲＡＵＤ 関数より理解できるとおり、この要素は、関数の債が得られた命令を定義するリ ストである。すなわち、ＦＲＡＵＤの場合、　（ＡＮＤ　（ＫＮＯＷＩＮＧ　Ｍ ＩＳＲＥＰＲＥＳＥＮＴＡＴＩＯＮ）　（ＤＥＴＲＩＭＥＮＴＡＬ　ＲＥＬＩＡ ＮＣＥ））　というリストである。ＨＯＷＭ数はこのリストを検索し、ＴＩＥ２ １９のＤＥＦＩＮＩＴＩＯＮ関数を用いて、ＨＯＷコマンドで使用されるＴＳＹ Ｍ６１５用ＴＤＥＳＣ７０５を表示する。さらに、ＴＦＵＮＣ７０１から検索さ れたリストのＴＳＹＭ６１５を評価し、適当な説明文を付して結果を出力する。 ＴＳＹＭ６１５のＮ酒中、ＥｘＶＡＬ　ＲＥＱへ応答するさイニ、エキスハート ２０２のユーザは、ＷＨＶコマンドをＥＸＰＥＲＴ６０３あるいはＴＩＥ２１９ のどちらにも入力することができる。ＷＨＹ関数は引数としてのＴＳＹＭ６１５ の有無にかかわらず実行できる。ＴＳＹＭ６１５があれば、関数は、トップのＡ ＲＧ−５ＴＡＣＫ６３５においてＴＳＹＭ６１５で作動する。ＡＲＧ−５ＴＡＣ Ｋ６３５は評価中であるＴＦＵＮＣ７０１に対応するＴＳＹＭ６１５であり、そ の評価によってユーザが応答しているＥＸＶＡＬ　ＲＥＱが生成された。ＴＳＹ Ｍ６１５がない場合、関数はユーザから与えられたＴＳＹＭ６１５で作動する。 いずれの場合も、次のステップではＡＲＧ−５ＴＡＣＫ６３５において前述のＴ ＳＹＭ６１５を配置する。このＴＳＹＭ６１５はＴＦＵＮＣ７０１に対応する。 ＴＦＵＮＣ７０１の評価は、ＷＨＹによって処理中のＴＳＹＭ６１５に対応する 関数評価となる。前述のＴＳＹＭ６１５が存在しなければ、ＷＨＶコマンドは無 意味であり、対応するメツセージがユーザに送られる。前述のＴＳＹＭ６１５が 存在する場合、ＤＥＦＩＮＩＴＩＯＮを用いて、適当な説明文を付して前述のＴ ＳＹＭ６１５のための定義を出力する。 ＤＥＦＩＮＩＴＩＯＮ閏数において、関数を実行するＥＸＰＥＲＴ６０３へのコ マンドは、ＴＳＹＭ６１５を引数としても良いし、引数がなくとも良い。もしＴ ＳＹＭ６１５を引数として用いれば、ＴＤＥＦ６１７のＴＤＥＳＣ７０５が出力 される。引数がなければ、ＴＥＲＭＳ−５ＴＡＣＫ６１３上のすべてのＴＳＹＭ ６１５に対するＴＤＥＳＣ７０５が出力される。 ＡＳＳＵＭＥ関数は、ＴＳＹＭ６１５および値を指定するＡＳＳＵＭＥコマンド で呼び出される。ＴＳＹＭ６１５は、そのＴＦＵＮＣ７０１がＥｘＶＡＬ２２５ を要求するものでなければならない。Ａ　Ｓ　Ｓ　ＯＭＥは、ＷＨＹコマンドが 成功する前にＴＳＹＭ６１５が再評価されるようにするために、まずＡＲＧ−５ ＴＡＣＫ６３５を空にし、引数として受け取られた値へＴＤＥＦ６１７のＴＥＸ ＶＡＬ７０３をセノトシ、その値がＴＥＸＶＡＬ７０３を持っていることを示す ためにＳＹＭ−ＢＯＵＮＤ−ＬＩ　Ｓｒ１１３上にＴＳＹＭ６１５を与える。 ＲＥＳＥＴ関数は、ＴＳＹＭ６１５を指定することもしないこともあるＲＥＳＥ Ｔコマンドで呼び出される。ＴＳＹＭ６１５が指定された場合、ＴＳＹＭ６１５ に対応するＴＤＥＦ６１７のＴＥＸＶＡＬ７０３だ＋ｆがり七ノ）＃　れる。Ｔ ＳＹＭ６１５が指定されない場合、すべてのＴＥＸＶＡＬ７０３がリセットされ る。 ＲＥＳＥＴ関数はまず、上述のような理由からＡＲＧ−５ＴＡＣＫ６３５を空に する。もしＴＳＹＭ６１５が指定されていれば、ＲＥＳＥＴ関数はＴＳＹＭ６１ ５からＴＥＸＶＡＬ７０３を解放するとともに、効果的にＴＤＥＦ６１７から取 り除き、ざらにＳＹＭ−ＢＯＵＮＤ−Ｌ　Ｉ　５Ｔ６３７からＴＳＹＭ６１５を 取り除く。ＴＳＹＭ６１５が指定されなければ、ＲＥＳＥＴは上述の命令をＳＹ Ｍ−ＢＯＵＮＤ−ＬＩ　５Ｔ６３７のＴＳＹＭ６１５ごとに実行する。 ５ＡＶＥ関数は、ＴＳＹＭ６１５のためのＴＤＥＳＣ７０５が後に続く、それぞ れのＴＳＹＭ６１５のためのＤＥＦＩＮＥコマンドを含むファイルを作る。ＤＥ ＦＩＮＥコマンドは、ＴＳＹＭ６１５がＴＥＲＭＳ−５ＴＡＣＫ６１３に生じる 順序で生じる。５ＡＶＥが作動すると、ＴＥＲＭＳ−５ＴＡＣＫ６１３の各ＴＳ ＹＭ６１５のためのファイルへ、ストリングＤＥＦＩＮＥ、ＴＳＹＭ６１５を表 すストリング、ＴＳＹＭ６１５用ＴＤＥＳＣ７０５を表すストリングを出力する 。結果ファイルには、ＴＤＥＳＣ７０５の基となるＤＥＳＣ２０５がＤＰ２０７ へ人力された順序でＴＤＥＳＣ７０５が含まれる。 ＲＥＳＴＯＲＥＴｊＳｍ数は、前以て退避されたＴＳＹＭ６１５を復元する。復 元するには、ファイルに対してＬＩＳＰロード命令を実行する。ロード命令にお いて、ファイルのＬＩＳＰ記号が評価される。この場合、評価の結果、ＴＳＹＭ ６１５が生成され、復元されたファイルのＤＥＦＩＮＥニアマントで指定された ＴＤＥＦ６１７を生成する。 １０　ＤＥＦＩＮＥ６０７の詳細な説明：国８図８は、ＤＥＦＩＮＥ関数および ＤＥＦＩＮＥによって実行された関数が、与えられたセントのＴＳＹＭ６１５た めにＴＤＥＦ６１７の階層をどのようにして再帰的に作成するかを示す。上述の とおり、ＴＤＥＦ６１７の階層を作成する方法によって、それぞれのＴＥＲＭ２ ０６が完全に定義され、与えられたＴＥＲＭ２０６が唯一の定義を持つというこ とが保証される。 図８はＤＥＦＩＮＥ、ＤＥＦＩＮＥにより呼び出された優関数、ＴＳＹＭ６１５ およびＴＤＥＦ６１７が作成された場所から送られたデータが関数間を流れる方 法を示す。 ＤＥＦｒＮＥ６０７ばＴＥＲＭ２０６からＤＴＥＲＭ２１１　を生成する。ＤＥ ＦＩＮＥがＤＴＥＲＭ２１１を返した時に、ＤＴＥＲＭ２１１に対応するＴＳＹ Ｍ６１５およびＴＤＥＦ６１７が作成されている。ＤＥＦＩＮＥ６０７はＥＸＰ ＥＲＴ６０３およびＲＥＳＴＯＲＥ６３３によって呼び出される。さらにＤＥＦ ＩＮＥ６０７は、ひ、！：’）ｉｌ’ｌｃ！たはＰＲＯＣＥＳＳ−ＦＵＮＣＴＩ ＯＮ８１１ｉ、ｍよって再帰的に呼び出される。ＥＸＰＥＲＴ６０３は、ＤＥＦ ＩＮＥ記号および定義されるべきＴＥＲＭ２０６を含むＣＦＯＲＭ６０５を与え る。ＲＥＳＴＯＲＥ６３３は、ＤＥＦＩＮＥ記号および事前に退避されたＤＴＥ ＲＭ２１１のコピーであり、このＤＴＥＲＭ２１１のためのＴＤＥＳＣ７０５の コピーであるＴＥＲＭ２０６を含むＣＦＯＲＭ６０５を与える。ＤＥＦＩＮＥ６ ０７が再帰的に呼び出された場合、定義中である他のＴＥＲＭ２０６のＤＥＳＣ ２０５において使用されるＴＥＲＭ２０６が入力される。 通常、ＴＥＲＭ２０６は単一記号である。しかしながら、ＤＥＳＣ２０５がケー スステートメントを含む場合、ＴＥＲＭ２０６はリストであっても良い。その場 合、ＤＥＦＩＮＥはＣ０ＮＶＥＲＴ８０９を呼び出してこのリストをＬＩＳＰフ オームへ変換し、再帰的に呼び出してＬＩＳＰフオームの未定義であるそれぞれ のＴＥＲＭ２０６を定義する。次に、ＤＥＦＩＮＥ６０７がＴＥＲＭ２０６がＬ ＩＳＰ記号かどうかを決定する。そうでなければ、ＤＥＦＩＮＥ６０７はＴＥＲ Ｍ２０６をそのまま返してくる。もしＬＩＳＰ記号であれば、ＤＥＦＩＮＥ６０ ７が、ＴＥＲＭ２０６はＲＥＳＴＯＲＥ６３３に手えられたものかどうかを決定 する。もしそのとおりなら、ＤＥＦＩＮＥ６０７はＴＥＲＭ２０６およびＴＤＥ ＳＣ７０５のコピーをＧＥＴＤＥＦ８０５へ与え、ＧＥＴＤＥＦ８０５、つまり 要素がＴＥＲＭ２０６であるリストによって返された値を返す。ＴＥＲＭ２０６ がＲＥＳＴＯＲＥ６３３に与えられたものでなければ、ＤＥＦＩＮＥ６０７はす でにＴＥＲＭ２０６用ＴＳＹＭ６１５が存在するかどうか、あるいはＴＥＲＭ２ ０６がリテラル（つまり、ＴＤＥＳＣ７０５のコピーが存在しない）であるかど うかを決定する。いずれかの場合であれば、ＤＥＦＩＮＥは要素がＴＥＲＭ２０ ６であるリストを返す。他の場合が真でなければ、ＧＥＴＤＥＦ８０５は、ＴＤ ＥＳＣ７０５のコピーをとらずにＤＥＦＩＮＥ６０７により呼び出される。 ＧＥＴＤＥＦ８０５は未定義ターム（ＵＴＥＲＭ）８０３をＤＥＦＩＮＥ６０７ から受け取り、そのタームのためのＴＤＥＳＣ７０５のコピーも受け取ることが できる。最初の場合、ＧＥＴＤＥＦ８０５はＤＥＳＣ２０５をユーザから獲得す る。第二の場合、単にＴＤＥＳＣ７０５を用いる。次にＧＥＴＤＥＦ８０５はＣ ０ＮＶＥＲＴ８０９を呼び出してＧＥＴＤＥＦ８０５をＬＩＳＰのフオームであ るＣＤＥＳＣ８０７へ変換する。次に、ＵＴＥＲＭ８０３およびＣＤＥＳＣ８０ ７が、ＰＲＯＣＥＳＳ−ＦＵＮＣＴＩＯＮ８１１へ与えられ、これがＵＴＥＲＭ ８１１用ＴＦＵＮＣ７０１を返す。最後に、ＧＥＴＤＥＦ８０５はＴＳＹＭ６１ ５をＴＥＲＭＳ−５ＴＡＣＫ６１３へ配置し、ＤＥＦＩＮＥ６０７に対するＵＴ ＥＲＭ８０３に対応するＤＴＥＲＭ２１１から成るリストを返す。 Ｃ０ＮＶＥＲＴ８０９はＤＥＦＩＮＥ６０７あるいはＧＥＴＤＥＦ８０５により 呼び出すレる。Ｃ０ＮＶＥＲＴ８０９は＋のｘＮｖＯＫＥＲからＤＥＳＣ２０５ を受け取り、ＬＩＳＰ７＃−ムのＣＤＥＳＣ８０７へ変換Ｌ、ＩＮＶＯＫＥＲへ ＣＤＥＳＣ８０７を返す。ＰＲＯＣＥＳＳ−ＦＵＮＣＴＩＯＮ８１１はＵＴＥＲ Ｍ８０３およびＣＤＥＳＣ８０７を受け取り、ＵＴＥＲＭ８０３をＤＥＦＩＮＥ −ＦＵＮＣＴＩＯＮ８１３へ通過させ、ＤＥＦＩＮＥ−ＦＵＮＣＴＩＯＮ８１３ からＴＦＵＮＣ７０１を受け取り、ＧＥＴＤＥＦ８０５へＴＦＵＮＣ７０１を返 し、ＵＴＥＲＭＬ８０５を生成する。ＵＴＥＲＭＬ８０５は、まだ定義されてい ないＣＤＥＳＣ８０７からのＵＴＥＲＭ８０３のリストである。ＰＲＯＣＥＳＳ −ＦＵＮＣＴＩＯＮはＵＴＥＲＭＬ８０５上のそれぞれのＵＴＥＲＭ８０３ため のＤＥＦＩＮＥ６０７を呼び出す。ＤＥＦＩＮＥ−ＦＵＮＣＴＩＯＮ８１３は最 終的にＴＦＵＮＣ７０１のためのＤＥＦＵＮを作成し、評価し、これによってＴ ＦＵＮＣ７０１を作成する。ＤＥＦＩＮＥ−ＦＵＮＣＴＩＯＮ８１３がＴＦＵＮ Ｃ７０１をＰＲＯＣＥＳＳ−ＦＵＮＣＴＩＯＮ８１１へ返し、ＰＲＯＣＥＳＳ− ＦＵＮＣＴＩＯＮ８１１は次にＧＥＴＤＥＦ８０５へ返す。 上述より理解されるように、ＤＥＦＩＮＥを呼び出すためのＴＥＲＭ２０６を定 義するのに必要なすべてのＴＥＲＭ２０６が定義されてしまうまで、ＤＥＦ　ｆ ＮＥ６０７が再帰的に呼び出され続ける。ＴＥＲＭ２０６が定義されてしまった Ｖｆ点でのみ、ＤＥＦＩＮＥ６０７はＴＥＲＭ２０６に対応するＤＴＥＲＭ２１ １を返す。シェル２０１のユーザは与えられたＴＥＲＭ２０６を定義するのに必 要なすべてのＴＥＲＭ２０６を定義する必要があり、ＴＥＲＭ２０６に単定義の みを与えることができるため、ＤＥＦＩＮＥ６０７によって、ＴＥＲＭ２０６用 セット定義が完了し、首尾一貫することが保証される。 １１　原型実施例２：図９ 原型実施例２には、ユーザに対するさらに優れたインタフェースやユーザのエラ ーに対してさらに強力な回復力を有するといった原型実施例１よりも多くの改良 点が含まれる。原型実施例２に含まれるもっとも重要な改良点は、図９の概略図 に示されるＴＤＥＦ６１７およびＷＨＡＴに関する代替実施例である。 ＴＤＥＦ６１７と同様に、ＴＤＥＦ９０１にはＴＤＥＳＣ７０５およびＴＥＸＶ ＡＬ７０３が含まれる。ただしＴＦＵＮＣ７０１は含まれず、二つの新たなフィ ールドＴＦＯＲＭ９０３およびＴＴＹＰＥ９０５が含まれる。原型実施例１では 、定義されるべきＴＥＲＭ２０６が記号スペース５０５にすでに存在する他のＬ ＩＳＰ記号に対応するということが困難であったため、これを解消するためにこ のような変更が加えられた。この場合、ＴＥＲＭ２０６用ＤＥＦＩＮＥ６０７に より生成された定義であれば、事前に存在する記号定義に取って代わってしまう 。この問題は原型実施例２において解決できる。ＴＦＵＮＣ７０１をＴＦＯＲＭ ９０３と、つまりそれ自身関数としては実行できないがＴＩＥ２１９においてＥ ＶＡＬＵＡＴＯＲ関数９１１によって実行できるＬＩＳＰフオームと置換するの である。ＴＴＹＰＥ９０５には、ＴＦＯＲＭ９０３がＥＶＡＬＵＡＴＯＲ９１１ によって実行された場合、どんな種類の値が返されるかについての情報が含まれ る。 図９の残りの部分は、原型実施例２におけるＷＨＡＴ関数９０７とＥＶＡＬＵＡ ＴＯＲ９１１との関係を示す。ＷＨＡＴ９０７はＥＸＰＥＲＴ６０３から上述の ようにＷＨＡＴＣＦＯＲＭ６０５を受け取る。しかし引数としてＷＨＡＴに与え られたＴＳＹＭ６１５に対して惟にＬＩＳＰ評価命令を行う代わりに、ＷＨＡＴ ９０７はＴＳＹＭ６１５用ＴＤＥＦ９０１から、ＴＦＯＲＭ９０３をＥＶＡＬＵ ＡＴＯＲ９１１へ与える。ＥＶＡＬＵＡＴＯＲ９１１は次に、ＴＦＯＲＭ９０３ で指定された命令を実行するためにＬＩＳＰフオームを生成し、Ｌｒ５Ｐインタ プリタ５０３へ与える。ＬＩＳＰインタプリタ５０３はＬＩＳＰフオームの評価 結果をＥＶＡＬＵＡＴＯＲ９１１へ返し、ＥＶＡＬＵＡＴＯＲ９１１はこれらの 結果をＴＲＥＳ２２７に変換し、ＷＨＡＴ９０７へ返し、次にＷＨＡＴはＴＲＥ Ｓ２２７をユーザへ返す。 １２　定義型エキスパートシステムに関するさらなる開発本願において上述した 定義エキスパートシステムをさらに発展させたところ、定義型エキスパートシス テムには事前に考えられていたよりももつと輻広い適用性があることが判明して きた。さらに発展させることで、タームを定義したり新たな値の型を開発させる 場合に指定される、数多くの新たな命令を作成できるようにもなった。以下に追 加する資料では、まず定義エキスパートシステムがアプリケーション開発システ ムとしてどのように利用されるか、またいくつかの新たな命令がこのような定義 型エキスパートシステムに対してどのように有用であるを説明し、次に他の新た な命令および新たな値型を開示する。 １３　定義型エキスパートシステムを利用したアプリケーション開発システム歴 史的にこれまでのコンピュータ用アプリケーションは、Ｃ０ＢＯＬやＣ言語、そ してアプリケ−シコンが開発中であるコンピュータシステムに対する専門知識を 持ったコンピュータプログラマによって開発されてきた。このために多くの不都 合な結果が生じて来た。第一に、標準的なコンピュータ言語でアプリケーション を開発するのは困難な作業である。たとえ単純なアプリケ−シコンであっても数 千のステートメントが必要となる。第二に、標準的なプログラム言語でプログラ ミングするためには技術的知識が必要なため、プログラマが不足し、その結果費 用がかかる。第三に、これが最もｊｔ要な点であると思われるが、プログラム言 語およびコンピュータシステムについては理解できるがそのアプリケーションプ ログラムに実行させようとするタスクについては理解できないプログラマと、タ スクは理解できてもプログラム言語やコンピュータシステムについては無知であ るアプリケーションプログラムのユーザとの間では、意志疎通を図ることが難し かった。その結果、ユーザが満足するようにアプリケーションプログラムが作動 するまで、何回も書き換えなくてはならない場合が頻繁にあった。 上述の問題を解決するために、近年、アプリケーション開発システムが注目され てさた。このアプリケ−シコン開発システムはタスク用であって、つまり、アプ リケーションを導入しようとする領域で働くユーザにわかりやすい言葉でアプリ ケーションを記述することができる。このようなアプリケーション開発システム の利点は自明である。多くの場合、ユーザ自身がアプリケーションを開発でき、 もはやプログラマは必要ではない。プログラマが必要な部分でさえ、タスク用ア プリケーション開発システムを利用することで設計エラーの可能性を抑え、プロ グラマとユーザの意志疎通を容易にし、開発されるべきコード量を大幅に抑える ことができる。 本願において開示された定義エキスパートシステムは、このようなタスク用アプ リケーション開発システムの一例である。先行技術のルール型エキスパートシス テムではたいてい専門知識を持ったエンジニアやコンピュータプログラマを必要 としたのに対して、本願の定義型エキスパートシステムでは、知識本体を定義階 層として表現できる者であればだれでも開発することができる。たとえば、本願 に示されるように、詐欺について法律的な定義を理解している弁護士なら、素人 でも詐欺が発生したかどうかを対話形式で決定することができるような定義型エ キスパートシステムを開発できる。同様に、銀行が申込人に対してどのように貸 付を許可するかを知っている人間であれば、定義型エキスパートシステムを開発 し、貸付が行われるべきかどうか対話形式で決定することができる。 タスク用アプリケーション開発システムとしての定義型エキスパートシステムは 、定義におけるいくつかの新たな演算子によってますます有用になってきた。 この演算子によって、定義が属するタームが評価される場合、値を獲得するだけ でなくコンピュータシステムに命令を実行させることができる。これらの新たな 演算子だけでなく、定義型エキスパートシステムは、高度な対話型アプリケーシ ョンを開発するための汎用アプリケーション開発システムとなった。このような アプリケーションの例が「自動リアルターｊと呼べるものである。このアプリケ ーションではユーザに対話型で、ユーザに必要な空間や建築上の好みや金融状況 に関する情報を与えて、現在市場に出ている物件のイメージをユーザに示し、ユ ーザの必要性に応じる。 １４　ｒ副作用」演算子 本願の上述において説明したように、ターム推論エンジン（ＴＩＥ）２１９（図 ２）はＷＨＡＴ推論エンジンコマンド２に応答し、特に定義されたターム（ＤＴ ＥＲＭ）２１１に関してエキスパート応答を生成しする。エキスパート応答を生 成するには、定義されたターム２１１の定＃　（ＤＥＦ）２１３を評価する。 もしこの定義が他の定義されたターム２１１を含んでいれば、特に定義されたタ ーム２１１のための定義階層においてそれぞれのターム２１１が定義されてしま うまで、ターム２１１のための定義２１３が評価される。上述より理解されるよ うに、この定義が評価された時にはそれぞれのＤＥＦ２１３が値を返さなくては ならない。しかしながら、定義が評価される場合、値を生成するだけでなく他の 機能も果たすことができる。たとえば、本願において開示されたＡＳＫ演算子は このようなフオームである。 ＡＳＫ　ＮＬＩＭＢＥＲ”ｐｒｏｍｐｔ　ｓｔｎｎｇ”ターム２１１が評価され 、ターム２１１の定義２１３がこの演算子を含んでいる場合、　ｒｐｒｏｍｐｔ 　ｓｆｆｌｎｇＪによって指定されたプロンプトは画面に出力され、プロンプト に対するユーザの応答は、演ｆ−Ｆの値として返される。この場合、ターム２１ １を評価することによって、二〜ザの応答で指定された値が返されるだけでなく 、プロンプトを画面に出力したり入力値を受け取るといった画面関係の命令を実 行できる。これらの付加的な命令は、定義２１３の評価した際の副作用であるた め、一般に「副作用」と呼ばれている。 定義型エキスパートシステムをさらに開発する中で、その第一目的が演算子の生 成する副作用であるような演算子を設けると有益であることが判明した。好まし い本実施例において、演算子が成功した場合には、これら演算子はそれぞれ、定 義のために演算子が使用されるタームにプール値ＴＲＵＥを与え、成功しない場 合はエラー表示する。さらに、演算子にとって必要な情報それ自身が、ターム２ １１によって指定される。好ましい本実施例の演算子には次のようなものがある 。 Ｃ０ＰＹ　演算子で指定された一つのファイルを、同じ演算子で指定された別の ファイルヘコビーする。 ＤＥＬＥＴＥ　演算子で指定されたファイルを削除する。 ＤＩＳＰＬＡＹ　画面へ情報を表示する。情報のソースは演算子で定義されたテ キストストリングでも、テキストファイルでも、画像でも良い。 ＰＲＩＮＴ　演算子で指定されたテキスト式を同じ演算子で指定されたファイル ＤＩＳＰＬＡＹ演算子について詳述すれば、上記の演算子に含まれる原理のよい 例示となる。 １５　ＤＩＳＰＬＡＹ演算子に関する詳細な説明以下、ＤＩＳＰＬＡＹ演算子に 関する構文および間数について述べたあとに、演算子が実現できる内容について 説明する。ＤＩＳＰＬＡＹ演算子の構文は次のような規定分用いて示される。 １　大文字名はターム２１１か式を示す。式は、ターム２１１が値を有するもの ならどんなものでも良い。 ２　矩形括弧は任意項目を示す。 好ましい本実施例において、ＤＩＳＰＬＡＹ演算子は二つに分類される。ある演 算子で定義されたターム２１１の評価はテキスト表示される。その他の演算子で 定義された場合には、画像表示される。最初の場合、二つの演算子がある。ＤＩ ＳＰＬＡＹお！びＤＩＳＰＬＡＹ　ＦＩＬＥｔ’ある。ＤＩＳＰＬＡＹ演算子ヲ 用いた場合、表示されたテキストは定義型エキスパートシステムに内在しており 、ＤＩＳＰＬＡＹ　ＦＩＬＥ演算子を用いた場合、テキストはＭＳ−ＤＯＳファ イルに含まれている。 ＤＩＳＰＬＡＹ演算子の構文は次のようなものである。 ｄｉｓｐｌａｙ　ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮ　［ＴＥＸＴ−ＥＸＰＲＥＳ ＳｒＯＮ、、、ＩＤｌ５ＰＬＡ、Ｙはこのように、表示されるべき一つ以上のテ キスト式のリストを指定する。テキスト式は、テキストストリングを値として与 える定義型エキスパートシステムにおいていかなる構造でも良い。したがって、 式は定数でも、テキストストリングを評価するターム２１１ｒも、定数とターム ２１１の組み合わせでも、あるいはテキストストリングの結果を与える演算子− でも良い。もちろん他の定義の場合と同様に、ＤＩＳＰＬＡＹ演算子シニお演算 子シム２１１がまだ定義されていなければ、定義プロセンサ２０７がタームのた めに定義を要求する。 たとえば、ターム２１１　ＳＡＹ　Ｈｉが次のような表示演舞子で定義されたと する。 ｄｉｓｐｌａｙ　ｆｉｌｅ　ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮすると、評価され た場合、ターム２１１は「Ｈｌ」を画面に表示する。 ＤＩＳＰＬＡＹ　ＦＩＬＥを用いた場合、定義型エキスパートシ、ステムに対し 。 て外部であるＭ　Ｓ　−Ｄ　ＯＳファイルに、テキストは含まれているｏ　Ｄ　 Ｋ　Ｓ　Ｐ　ＬＡＹＦ丁ＬＥの構文は、 ｄｉｓｐｌａｙ　５ＩｃＴＥＸＴ−ＥＸＰＲＦ’５ＳＩＯＮである。この演算子 を用いるには、ＴＥＸＴ　ＥＸＰＲＥＳＳＩＯＮの値がＭＳ−ＤＯＳテキストフ ァイル名でなければならない、この演算子で定＃されたターム２１　ｌｔＮ価す ることＴ、ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮによって識別されたファイルの内容 を画面表示することができる。。 二つの画像表示演算子のうち、最初の演算子はＤＩＳＰＬＡＹ　ＰＩＣＴＵＲＥ である。この演算子は、数多く存在する標準的な画像形式のうち一つの形式を用 いて、ＭＳ−ＤＯＳファイルに格納された画イ象を表示する。構文は次のとおり である。 ｄｉｓｐｌａｙ　ｐｉｃｔｕｒｅ　ＴコＥＸＴ−ＥＸＰＲＩミ５ＳＩＯＮ　［５ １！］ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＨの値は、画像を含んだＭＳ−Ｄ０５０５ フアイルなくてはならない。５ＩＺＥでは、画像の初Ｍづイズを決定する四つの 値、捧小、小、ノーマル、拡大のうち一つを指定できる。この演算子で定義され たターム２１１が評価される場合、フｒイル内の画イ象が画面表示される。 モ’）一つの画像表示演算子は、ワン　ラボラトリーズ社の画ｆ象管理システム ＰＣ−ＷＩＩＳで提供サレル画イ象を表示する。ＰＣ−ＷＩ　Ｉ　Ｓｌ、ｔ、Ｍ 　Ｓ　−Ｄ　Ｏ５ＷＩＮＤＯＷＳ画面表示管理システムを実行できるＴＢＭＰＣ タイプのパソコン上で実現される。この演算子の構文は次のとおりである１゜ｄ ｉｓｐｌａｙ　””！１ｖＴＩＳ”’　ＴＥＸＴ−ＥにＰＲＥＳＳＩＯＮこの場 合、ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮのイ直はＰＣ−Ｗ丁ＴＳ画イ象ファイルの バス名でなければならない。この演算子で定義されたターム２１１が評価される 場合、ｐｃ−ｗｒ　ｒｓはファイル中の両′ｌ象を画面表示する。 上述の演算子のＪうな副作用演算子は、ＬＩＳＰ環境５０３　（図５）に格納さ れ、ＬＩＳＰインタプリタ５０３によって実行されるＬＩＳＰ関数によって実現 テキル。Ｔ−ＩＳＰｆｉ境５０１には組込ＬＩＳＰＩ／ｌ数が含まれており、こ れはＭＳ−Ｄ　ＯＳファイルをオーブンし、クローズし、読み込み、削除し、与 えられたＭＳ−Ｄ０５ファイルが存在するかどうかを示すことができる。これら の関数はＬＩＳＰ関数、ＤＥＬＥＴＥ、ＲＥＮＡＭＥ、ＤＩＳＰＬＡＹ、ＤＩＳ ＰＬＡＹＦＩＬＥの各演′に７−を実現するために使用される。その他の演算子 は、ＭＳ−ＤＯ５で実行されるべきプログラムおよびそのプログラムのためのパ ラメータを指定する組込ＬＩＳＰｓｙｓ　：ｄｏｓ関数によって実現される。Ｌ ＩＳＰインタプリタがこのｓｙｓ：ｄｏｓ関数を実行すると、ソフトウェアがＭ Ｓ−ＤＯ５へ割り込む。つまり、ＬＩＳＰインタプリタの実行中に割り込み、ｓ ｙｓ：ｄｏｓ関数で指定されたプログラムを実行する。ｓｙｓ：ｄｏｓ関数で指 定されたプログラムが終わると、ＬＩＳＰインタプリタが実行再開する。 画像のためのＤＩＳＰＬＡＹ演算子は、ｓｙｓ：ｄｏｓを用いた例として挙げる ことができる。ＤＩＳＰＬＡＹ　ＰＩＣＴＵＲＥの場合、ｓｙｓ　：ｄｏｓによ り実行されたプログラムが表示されるべき＠像の形式を決定し、ｉｉ！ｉ（ｉを 表示する。 表示のあとでＬＩＳＰインタプリタが実行再開する。ＰＣ−ＷＩ　Ｉ　Ｓ画像を 表示するために使用されるＤＩＳＰＬＡＹバージョンの場合、この演算子は次の ような条件を前提とする。すなわち、ユーザはまずＭＳ−ＤＯ５ＷＩＮＤＯＷＳ 表示管理プログラムを実行し、続いてＰＣ−ＷＩＩＳ画像システムをイニシャラ イズするノニ必要な場合、ＭＳ−ＤＯ５ＷＩＮＤＯＷＳからＰＣ−ＷＩＩＳを実 行し、その上でＭＳ−ＤＯ５ＷＩＮＤＯＷＳから出て本発明の定義型エキスパー トシステムを実行する。これらの環境のもとで、ＬＩＳＰｓｙｓ：ｄｏｓ関数は ＭＳ−ＤＯ５ＷＩＮＤＯＷＳの下でｓｙｓ　：ｄｏｓ関数で指定されたプログラ ムを実行できる。好ましい実施例において、ｓｙｓ：ｄｏｓ関数で指定されたプ ログラムは、関数で指定された画像ファイルをオープンするｐｃ−ｗｒｒｓルー チンを呼び出し、画イ象を画面表示する別のＰＣ−Ｗｒ　ｆＳルーチンを呼び出 し、さらにユーザのキーストローク人力に応答するために、画像ファイルをクロ ーズする第三のＰＣ−ＷＩ　ＩＳルーチンを呼び出し、復帰する。復帰すると、 ＬＩＳＰインタプリタがふたたび再開される。上述の自動リアルタアプリケーシ ョンでは、家の画像がＰＣ−ＷＩＩＳによって管理され、ＤＩＳＰＬＡＹ　”＊ ＷＩＩＳ＊”演算子によってその画像を表示できる。 １６　ＣＡＬＬ演算子 ＣＡＬＬ演算子は、その演算子で定義されたターム２１１が評価される場合、呼 び出される非ＬＩＳＰ関数を指定する。関数によって返された値がタームの値と なる。上記より明らかなように、非ＬＩＳＰ関数は、主に返した値のために呼び 出されても、その実行の結果生成される副作のために呼び出されても良い。この 演算子は次のような構文を有する。 ｃａｕＴＥ）σ−ＥＸＰＲＥＳＳＩＯＮ　［、ｕｓｉｎｇ　５ＰＥＣ−ＬＩＳη ［、ｒｅｔｕｒｎｉｎｇ　ＮＬｒＭＢＥＲ−５ＰＥＣＩ評価時に、ＴＥＸＴ−Ｅ ＸＰＲＥＳＳＩＯＮは、呼び出し中の非ＬＩＳＰ関数名を与えなければならない 。この関数はＣプログラミング言語のインタフェース規格に従っていればいかな る関数でも良い。５ＰＥＣ−ＬＩＳＴは、呼び出し中の非ＬＩＳＰ関数のための 実引数値を指定する式のリストである。好ましい実施例において、この式はスカ ラ値あるいはストリング値を持っていなければならない。非ＬＩＳＰ関数が数学 的関数であれば、関数が返す値の形式はＮＵＭＢＥＲ−５ＰＥＣを用いて指定で きる。倍長、浮動、整数、倍長、符号のない整数、符号のない倍長から選択でき る。デフォルトでは整数である。 ティングシステムの介入が不必要である場合、ＬＩＳＰインタプリタは非ＬＩＳ Ｐプログラムを呼び出すことができる。この外部プログラムインタフェースには 、呼び出し演算子で指定されたすべての関数を実行可能コードおよび呼び出しを 準備し実行可能コードを有するＥＰｌ、ＥＸＥファイルが含まれる。これら実行 可能コードをＥＰｌ、ＥＸＥへリンクするりンカを利用するだけで、ＥＰｌ、Ｅ ＸＥファイルへ新たな関数を追加することができる。好ましい実施例において、 ＥＰｌ、ＥＸＥの実行可能コードが基本メモリにおいて実モードで呼び出しを実 行すると同時に、ＬＩＳＰインタプリタは拡張メモリでプロテクトモードで実行 されるために、呼び出しを県備し実行するのは複雑である。したがって、呼び出 し演算子で定義されたターム２１１が評価される場合、プロ七ノサはプロテクト モードから実モードへ切り替えなければならず、さらに呼び出し演算子で指定さ れた関数を呼び出すＥＰｌ、ＥＸＥのコードが、必要な変換を実行しながら、実 引数の値を拡張メモリから基本メモリヘコビーしなければならなし１゜復帰する 場合１７　テーブル演算子と値 ＲＥＳＳ、置ＥＰＨＯＮＥおよびそれぞれのクライアントごとの行を有すること ができる。あるクライアントの行はこのような形である。 ＮＡＭＥ　ＡＤＤＲＥＳＳ　置ＥＰＨＯＮＥＳｍｉｔｈ、　Ｊｏｈｎ　３０３　 Ｗ、　Ｆｉｒｓｔ　Ｓｔ、、　Ｎｅｗ　Ｙｏｒｋ、　ＮＹ、　３０１−６６６− ５５５５ＮＡＭＥをキーとすれば、行はｒＳｍｉｔｈ、　ＪｏｈｎＪによって指 定できる。 改善された定義型エキスパートであれば、タームにより二種類のテーブルを表ル から得ることができる。第二のテーブルは照会テーブルである。照会テーブルは 、照会演算子により基本デープルあるいは別の照会テーブルから生成されるテー ブルである。たとえば、テーブルＮＥＷ　ＹＯＲＫ　ＣＬＩＥＮＴＳはＣＬＩＥ ＮＴＳから定義でき、そのためには照会演算子を実行させて、ＡＤＤＲＥＳＳが ニューヨーク市を指定したＣＬＩＥＮＴＳからすべての行を抽出する。 テーブル演算子はどちらのテーブルでも使用できる。演算子には次のようなもの がある。 ターム２１１により指定されたフィールドの値を行から得るための探索演算子。 与えられたターム２１１により指定されたテーブルのすべてのフィールドから引 き出された値を得るための集合体演算子。 与えられたターム２１１により指定されたテーブルのすべてのフィールドから引 き出されたプール値を得るための限定演算子。 以下では、まず基本テーブルの定義に関して説明し、続いて照会テーブルの定義 、最後にテーブル演算子について説明する。 １８　基本テーブルの定義 好ましい実施例では、その値として基本テーブルを持つようなターム２１１を定 義するために使用される構文が、基本テーブルを定義できる。このテーブルは数 字キープイールドを利用するかあるいは文字列キーフィールドを利用する。 数字キープイールドを持ったテーブルの場合、ＮＵＭＢＥＲ−ＴＥＲＭのターム ２１１は、キーとして使用される数値を有するテーブルの列を識別する。テキス トキーフィールドを持った基本テーブルの場合、ＴＥＸＴ−ＴＥＲＭのターム２ １１はキーとして使用されるテキスト値を有するテーブルの列を識別する。ＣＬ ＩＥＮＴＳを定義するテーブル演算子は次のようなものである。 ｃａｂｌｅ　ｗｉｔｈ　ｔｅｘｔ　ｋｅｙ　ＮＡＭＥテーブルの列を識別するタ ーム２１１はＦＩＥＬＤ　ＯＦ演算子により定義される。その構文は値が定ｊｉ ２１３で指定されているか、あるいは外部から得られるかによる。定義２１３で 指定される場合、構文はこのようになる。 ｆｉｅｌｄ　ｏｆ　ＴＡＢＬＥ−ＴＥＲＭ、　ｖａｌｕｅ　ＶＡ［λｍ−ＬＩＳ ＴＴＡＢＬＥ−ＴＥＲＭはテーブル値を表すターム２１１である。ＶＡＬＵＥ− Ｌ　Ｉ　ＳＴの値は定数であり、これは定義中のターム２１１により識別された 列に含まれる値に必要な型を持っている。定義中のフィールドが定義テーブルで キーとして指定されていた場合、リストの値の数がテーブルの行数を決める。た とえば、ＣＬＩＥＮＴＳの場合、フィールドＮＡＭＥは次のように定義できる。 ｆｉｅｌｄ　ｏｆ　ＣＬＩＥｒｉｌＴＳ、　ｖａｌｕｅｓ　”Ｓｍｉ山、Ａｄａ ｍ””Ｓｍｉ山、　Ｊｏｈｎ”　”Ｓｍｉ由、　［）ａｖｉпh これによってＣＬＩＥＮＴＳテーブルは３行となる。 テーブル列の値が外部から得られるよう指定する構文は次のようなものである。 ｆｉｅｌｄ　ｏｆ　ＴＡＢＬＥ−ＴＥＲＭ、　ａｓｋ　［ＱＵＯπＤ−ＴＥＸＴ 　［、ｆｏｒ　ｅｖｅｒｙ　ＴＡＥＩ上−０Ｒ−ＱＵＥＲＹ|ＥＸＰＲＥＳ ＳＩＯ１’Ｊ］］］ ＴＡＢＬＥ−ＴＥＲＭは基本テーブル用ターム２１１であり、このテーブル内で 定義中のターム２１１が列を指定する。”ａｓｋ”は指定された列の値が対話形 式（二より端末のユーザから得られることを示す。ＱＵＯＴＥＤ−ＴＥＸＴは、 ユーザに要求するために出力されるプロンプトストリングを指定する。さらに指 定されたものがなければ、定義型エキスパートシステムは何らかのプロンプトお よび行のキーフィールド値を出力し、ユーザの入力を待つ。たとえば、ＡＤＤＲ ＥＳＳはこのように定義できる。 ｆｉｅｌｄ　ｏｆ　ＣＬＩＥＮＴＳ、　ａｓｋ　”Ｗｈｇ　ｉｓ　ｔｈｅ　ａｄ ｄｒｅｓｓ　ｏｔ”ＣＬＩＥＮＴＳのそれぞれの行へ、エキスパートシステムは その行のＮＡＭＥ値が次にくるプロンプトを出力し、ユーザが住所を提供するの を待つ。さらに後述において詳細に説明するように、任意のｒｆｏｒ　ｅｖｅｒ ｙ　ＴＡＪ！ＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮｊにより、入力を 特定の基準を満たす行だけに制限することができる。たとえば、ＣＬＩＥＮＴＳ のＡＤＤＲＥＳＳは以下のように定義できる。 ｆｉｅｌｄ　ｏｆ　Ｃ１−圧ＮＴＳ、　ａｓｋ　”Ｐｌｅａｓｅ　１ｎｐｕｔ由 ｅ　ａｄｄｒｅｓｓ　ｏｆ”、　ｆｏｒ　ｅｖｅｒｙ　Ｑ−■mＴＳ　ｗｈｅｒ ｅ　ＮＡＭＥ　ｉｓ ”Ｓｍｉ山、　Ｊｏｈｎ” これによってユーザはＪｏｈｎ　５ｍ曲の住所だけを要求され、この住所はｒｓ ｍｉｔｈ、Ｊｏｈｎｊを含む行のＡＤＤＲＥＳＳフィールドへそのＮＡＭＥ値と して書き込まれる。上述より理解されるように、与えられたテーブルはＡＳＫで 満たした列やＶＡＬＵＥで満たした他の列を有することができる。ＡＳＫが指定 されたフィールドを満たすために、テーブル定義のキーとして使用されれば、テ ーブルサイズは満たされるテーブルの数による。 さらに、ターム２１１はＭＳ−ＤＯＳファイルに格納されたテーブルとして定義 することができる。この場合、定義２１３は下記のとおりである。 本発明のエキスバートンステムシェルは、メニューの順序でこのような定義に応 答する。メニューによって、アプリケーションの開発者はどのＭＳ−ＤＯＳファ イルがテーブルデータを有するか、またテーブルの列を定義するターム２１１が ＭＳ−Ｄ０５ファイルのフィールドとどのように関係するかを指定することがで きる。このようなテーブルの定義には、ＡＳＫ演算子やＶＡＬＵＥ演算子は含ま れない。 １９　即金テーブルの定義 照会テーブルは、基本テーブルあるいは他の照会テーブル上の照会演算子により 定義されるものである。照会テーブル定義の構文は次のとおりである。 ＴＡＢＬＥ、ＯＲ−ＱＵＥＲＹ−ＴＥＲＭ　ｗｈｅｒｅ　Ｂα）ＩＡＡＮ−ＥＸ ＰＲＥＳＳＩＯＮＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＴＥＲＭは、行の選択に用し ）られる基本テーブルあるいは照会テーブルを指定する。ＢＯＯＬＥＡＮ−ＥＸ ＰＲＥＳＳＩＯＮは行が選択される条件を指定する。たとえば、ＮＯＮ　ＪＯＨ Ｎ　ＳＭＩＴＨＴＡＢＬＥは下記のように定義できる。 ＣＬＩＥＮＴＳ　ｗｈｅｒｅＮＡＭＥ　ｉｓ　ｎｏｔ　”５ｍ曲、Ｊｏｈｎ”こ れによって照会テーブルは、ＮＡＭＥが値ｒｓｍｉ山、　ＪｏｈｎＪではなｌ／ １行を除しまたすべてのＣＬＩＥＮＴＳ行を結果として得る。 且述のように、　ｒｗｈｅｒｅ　ＢｏｏＬＥＡＮ−ＥＸＰＲＥＳＳ　ｒＯＮ　Ｊ 演算子は、どの性力１這択され、”ＡＳＫ”演算子を用いて基本テーブルへ対話 型で入力されるかを制御するためにも使用できる。 ２０　テーブル演算子 いったんテーブルが上述のように定義されてしまうと、ターム２１１（よテーブ ル演算子を指定することで定義できる。最も単純な演算子は指定された行からフ ィールドを選択する。このような演算子がＯＦ演算子である。 ＦＴＥＩＩ）−ＮＡＭＥ−ＴＥＲＭ　ｏｆ　ＲＯＷ−５ＰＥＧＦＹＴＮＧ−ＴＥ ＲＭＦＩＥＬＤ−ＮＡＭＥ−ＴＥＲＭＩ！その行ノフイールドを識別するターム ２１１である。ＲＯＷ−５ＰＥＣＩＦＹＩＮＧ−ＴＥＲＭは、その定義力（−行 指定できるターム２１］である。定義２１３はこのように一行だ番すの基本テー ブルあるし）は−行だけの照会テーブルを定義できる。たとえば、照会テーブル ＪＯＨＮ　ＳＭＩＴＨＴＡＢＬＥは次のように定義できる。 Ｃ口ＥＮＴＳ　ｗｈｅｒｅ　ＮＡＭＥ　ｉｓ　”Ｓｍｉ〔ｈ、　Ｊｏｈｎ”ＪＯ ＨＮ　ＳＭＩＴＨＴＡＢＬＥはこのように一行だけであり、タームＪＯＨＮ　Ｓ ＭＩＴＨＡＤＤＲＥＳＳを定義するＯＦ演算子（よこのようＧこなる。 ＡＤＤＲＥＳＳｏｆＪＯＨＮＳＭＩＴＨＴＡＢＬＥ集合体演算子は、テーブル列 に含まれる部分データあるし・１よすべでのテーブルこ基づいて結果を生成する 。この演算子はテキスト値、演算値、ブールレイ直を返す。 このテキスト集合体演算子は、値から成るテキストスト１ノングをダリカ１ら作 るＣ。 ＬＬＥＣＴである。ストリングのそれぞれの値の後ろ（こ（±復帰改イテ文字力 （迫力口される。この演算子の構文はこのようになる。 ＦＩＥＬＤ−ＴＥＲＭ−ＴＥＸＴ−ＥＸＰＲＥＳＳＩＯＮ＋よ、ＴＡＢＬＥ−Ｏ Ｒ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮ＋＝より指定されるテープ）ｋＦ）ダＩ Ｊを識ｇｌＪするターム２１１を含む定義を有する式である。Ｃ０ＬＬＥＣＴ７ 寅算子（よ、フィールド値のＦＩＥＬＤ　ＴＥＲＭ　ＮＡＭＥ　ＥＸＰＲＥＳＳ ＩＯＮ）：よ’）指定されるようなテキストストリングを作る。以降、ＴＡＢＬ Ｅ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮにはもちろん上述の〜ＶＨＥ　Ｒ Ｅｉ劃側子力（含まれてν）るものとする。たとえば、ターム２１１ＮＡＭＥ　 ＬＩＳＴＩよこのようしこ定義できる。 ｃｏｌｌｅｃｔ　ＮＡＭＥ　ｆａｒ　ｅｖｅｒｙ　ａ」堕ＪＳＮＡＭＥ　ＬＩＳ Ｔは次のような文字列値を有することになる。 フィールド名を含む式がＣ０ＬＬＥＣＴ演算子で使用できるという事実において 重要なのは、Ｃ０ＬＬＥＣＴ演算子で定義された値がそのフィールドから返され た値から計算できるということである。 演算集合体演算子には、フィールドの平均値、フィールドの最大値、フィールド の最小値、フィールドの合計値、フィールドの数、与えられた条件を満たすフィ ールドの割合を得るための演算子が含まれる。平均演算子が、−例として、平均 、最大、最小、合計を表すことができる。構文は次のようになる。 式ＦＩＥＬＤ−ＴＥＲＭ−ＮＵＭＢＥＲ−ＥＸＰＲＥＳＳＩＯＮ（Ｆ）評価は、 ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳＩＯＮにより定義ｇｔｔな、基 本テーブルあるいは照会テーブルにおいて数字フィールドを指定するターム２１ １を含む。さらに、フィールドタームを含む式を使用することで、演算子により 返された結果を計算するよう指定することができる。 Ｃ０ＵＮＴ　ＥＶＥＲＹ演算子は単に指定されたテーブルの行数をカウントする 。構文は次のとおりである。 ｃｏｕｎｔ　ｅｖｅｒｙＴＡＢＬε−０Ｒ−ＱＩＪＥＲＹ−ＥＸＰＲＥＳＳＩＯ Ｎたとえば、ターム２１１ＮＵＭＢＥＲＯＦ　ＣＬＩＥＮＴＳであれば次のよう に定義できる。 罵ｃｖｅｒｙＱＪ９ＪＴｓ 本事例ｔ）’）ｆ−フルＣＬ　ｒ　ＥＮＴ　Ｓ　ヲ用イｔｔＪｆ、ＮＵＭＢＥＲ ＯＦ　ＣＬＩＥＮＴＳは値３を有する。 ＰＥＲＣＥＮＴ　ＷＨＥＲＥ演算子は、テーブルの指定されたフィールド値がど のくらいの割合で指定された条件を満たすかを決める。この演算子の構文は次の とおりである。 ｐｅｒｃｅｎｔ　ＴＡＢＬＥ−ＯＲ−ＱＬＩＥＲＹ−ＴＥＲＭ　ｗｈｅｒｅ　Ｆ ＩＥＬＤ−ＴＥＲＭ−ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯm ＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＴＥＲＭは基本テーブルあるいは照会テーブル を指定し、これらのテーブルでこの演算子が実行される。また、Ｆ　Ｉ　ＥＬＤ −ＴＥＲＭ−ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯＮは、指定されたテーブルの フィールドを一つ指定するターム２１１を含むプール式である。たとえば、ＰＥ ＲＣＥＮＴ　ＪＯＨＮ　ＳＭｒＴＦ（ターＡ２１１１よ次のように定義できる。 ｐｅｒｃｅｎｔ　ＣＬ［ＥＮＴＳ　ｗｈｅｒｅ　ＮＡＭＥ　ｉｓ　”Ｓｍ１ｔｈ 、　Ｊｏｈｎ”ｒｓｍｉｔｈ、　ＪｏｈｎＪはテーブルの３行のうちの一行なの で、ＰＥＲＣＥＮＴ　ＪＯＨＮ　ＳＭＩＴＨであれば値「３３」をとる。 プール集合体値演算子はＦＯＲＥＶＥＲＹであり、これはフィールド名としてタ ーム２１１を含むプール式がテーブルの各行について真であるかどうかを決める 。またプール集合体値演算子としてＦＯＲＳＯＭＥがあり、これはこのようなプ ール式がテーブルのすべての行について真であるかどうかを決める。ＦＯＲＳＯ ＭＥの構文がプール集合体値演算子の良い事例となる。 ｆｏｒｓｏｍｅＴＡＢＬＥ−ＯＲ−ＱＵＥＲＹ−ＥＸＰＲＥＳＳ［ＯＮ、ＲＥＬ Ｄ−ＴＥＲＭ−ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＴＡＢＬＥ−ＯＲ−ＱＵＥＲ Ｙ−ＥＸＰＲＥＳＳＩＯＮは基本テーブルあルイは照会テーブルを指定し、これ らのテーブルで演算子が実行される。またＦＩＥＬＤ−ＴＥＲＭ−ＢＯＯＬＥＡ Ｎ−ＥＸＰＲＥＳＳＩＯＮは、テーブルのフィールドを指定するターム２１１を 含むプール式である。例としてタームＩＳ　ＪＯＨＮ　ＳＭＩＴＨＴＨＥＲＥ？ の定義を挙げると、次のようになる。 ｆｏｒ　ｓｏｍｅ　ＣＬＩＥＮＴＳ、　ＮＡＭＥ　ｉｓ　”Ｓｍ１ｔｈ、Ｊｏｈ ｎ”上述から理解されるように、テーブル値およびテーブルターム２１１はルー ル型エキスパートシステムに対して著しく進歩した点である。ターム２１１はこ こでコレクション内のデータおよびフィールドを順序付されたコレクションとし て表すことができる。さらにテーブルの演算子によって照会テーブルおよび演算 子を定義することができる。この演算子は、いずれのタイプのテーブルであって も、個々のフィールド値を検索することができ、また列全体の値に基づく結果を 計算することができる。 ２１　ｒ不知Ｊ値 初めに実現された定義型エキスパートシステムの問題点は、エキスパートシステ ムによりユーザへアドレス指定された質問に対する答えをユーザが知らない場合 、そうした応答を定義型エキスパートシステムではうまく扱うことができないこ とであった。この問題点は、本発明の定義型エキスパートシステムの設計者が「 不知」値を、それぞれのクラスのスカラ値に追加でき、さらに「不知依存」の概 念をスカラ値およびテーブル値に追加できるようになったので解決された。この スカラ値およびテーブル値は、それら自身は「不知」値でなく「不知Ｊ値に依存 するものである。「不知」値が指定された場所で、本システムのユーザは「不知 」値を、システムへ入力することができる。好ましい実施例において、この値を 入力するにはファンクションキーかドロップダウンメニニーを使用する。 たとえば、「不知」値が指定され、フィールドＰＨ０ＮＥ　ｏｆ　ＣＬＩＥＮＴ Ｓが、 ｆｉｅＬｄ　ｏｆ　ＣＬＢ：ＮＴＳ、　ａｓｋ　”Ｗｈａｔ　ｉｓ山ｅ　ｔｅｌ ｅｐｈｏｎｅ　ｎｕｍｂｅｒ　ｏｆ”と定義された場合、ユーザは「不知」を指 定することができる。そのように指定すれば、ＰＨ０ＮＥのフィールド値は「不 知」となる。ＮＡＭＥが値ｒｓｍｉｔｈ。 ＪｏｈｎＪを肴する行に対する返答が「不知」であった場合、ターム２１１ＪＯ ＨＮＳＭＩＴＨＰＨ０ＮＥは、 ＰＨＯＮＥｏｆＪＯＨＮＳＭＩＴＨＴＡＢＬＥで定義され、その行としてＰＨ０ ＮＥを指定し「不知」値が入ることになる。 さらにターム２１１ＰＨＯＮＥ　ＬＩＳＴの値は、フィールドＰＨ０ＮＥがＣ０ ＬＬＥＣＴ演算子で定義されており、「不知依存」となる。なぜなら、ＰＨ０Ｎ Ｅで定義される列の少なくとも一つの値が「不知」値であるためである。単にＪ 。 ｈｎ　Ｓｍ油の電話番号を知らないだけだったとしたら、ＰＨ０ＮＥ　Ｌ、ＩＳ Ｔ定義である、 ｃｏｕｅｃｔ　ＰＨ０ＮＥ　ｆｏｒ　ｅｖｅｒｙ　Ｑ、、圧感によってこのよう な値が与えられる。 ６６６−２２２２°。 さらに、この定義型エキスパートシステムでは、「不知」依存表示と値、つまり 「不知」値がその計算に含まれているという表示とを関係づけることができる。 この場合、表示により二つのことが指定される。一つは「不知」値で占有されて いたはずの債における位置であり、もう一つは列の三つのフィールドのうち一つ が「不知」値であるということである。 本定義型エキスパートシステムで使用可能なほとんどすべての演算子で定義され ているターム２１１の評価には、　「不知」値を持った他のターム２１１の評価 も含まれている。好ましい実施例において、　「不知」値が含まれるターム２１ １の値を決めるために用意された一般的なルールは以下のようなものである。 １　結果値が「不知Ｊ値に依存していなければ、不知依存の表示はまったく伴わ ずに結果は返される。 ２　結果値が「不知」値へ依存し、値を決めると必ず「不知」値を伴う場合、返 された結果は「不知Ｊであり、　「不知Ｊ依存の表示を伴う。 ３　結果値が「不知」値へ依存するものの、「不知」値を伴わずに決定される値 が存在する場合、返された結果は「不知」依存の表示を伴って決定される。この ような結果は見積と呼ばれる。 最初の二つのルールの例として、オペランドの一つが「不知」値を有する場合、 「＊Ｊで示されるＭＵＬＴＩＰＬＹ演算子の動きを説明する。他のオペランドが 値０を有する場合、オペランドは０を返す。結果が他のオペランド値に依存しな いからである。依右していればＭＵＬＴＩＰＬＹ演算子は「不知」を返す、第三 のルールの例はＣ０ＬＬＥＣＴ演算子である。例示されたように、列フィールド が「不知」値を持っていても、Ｃ０ＬＬＥＣＴは結果ストリングを作る時にその フィールドを普視する。「不知」あるいは見積と共に返される「不知」依存の表 示には、評価中のターム２１１を定義する階層からのターム２１１が含まれてい る。値が、　「不知」値により影響される程度を示す見積あるいは見積情報であ る時、ターム２１１の値は１−不知−ｊに直接依存している。見積情報の内容は 、見積を生成する演算子に拠る。一般的に、見積がストリング値であれば、見積 情報にはストリングにおける位置インデックスが含まれる。このストリングは「 不知ｊ値を持つ最初の要素が占有したはずだったストリング位置である。列のす べてのフィールド内容を調べるＡＶＥＲＡＧＥのような演算子により見積が生成 される場合、見積情報には列フィールドの合計数および「不知」値を伴うフィー ルド数が含まれる。Ｃ０ＬＬＥＣＴのような演算子は、ストリングを生成し、か つ列のすべてのフィールド内容を調べ、結果ストリングのどの位置に最初の「不 知」値があるか、フィールドの合計数がいくらか、また「不知ｊ値を伴うフィー ルド数がいくつであるかを見積情報が教える。 好ましい実施例において、「不知」値を検出し見積もることができる、特別な二 つのプール演算子がある。 第一の演算子は「不知」値を検出し、次のような構文である。 ＴＥＸＴ−ＮＬＩＭＢＥＲ−ＢＯＯＬＥＡＮ−ＥＸＰＲＥＳＳＩＯＮ　＝　ｄｏ ｎ’ｔ　ｋｎｏｗ式が「不知」値を持っていれば演算子はＴＲＵＥを返し、持っ ていなければＦＡＬＳＥを返す。これはＤＯＮＴ　ＫＮＯＷ　ＡＢＯＵＴ　ＪＯ ＨＮ　ＳＭＩＴＨＰＨ０ＮＥを定義する場合に使用されると考えられ、次のよう な構文である。 ＪＯＨＮ　ＳＭｒｒＨＰＨ０ＮＥ＝ｄｏｎ’ｔ　ｋｎｏｗＪＯＨＮ　ＳＭＩＴＨ ＰＨ０ＮＥの値はＣＬＩＥＮＴＳのＪｏｈｎ　Ｓｍ１ｔｈの行に対するＰＨ０Ｎ Ｅフイールドの値なので、ＤＯＮＴ　ＫＮＯＷ　ＡＢＯＵＴ　ＪＯＨＮ　ＳＭＩ ＴＦ（ＰＨ０ＮＥの値はＴＲ［ＪＥである。第二の演算子は見積を検出し、その 構文は、 ＴＥＸＴ−ＮＬＩＭＢＥＲ−ＢＯＯＬＥＡＮ−ＥＸＰＲＦＳＳＩＯＮ　＝　ｄｏ ｎ’ｔ　ｋｎｏｗ　ｅｓａｍａｚである。式が見積であれば演算子の値としてＴ ＲＵＥを返し、見積でなければＦＡＬＳＥを返ｔ。ソ（’）使用例ハ、次（ｒ） ！うｆｔＰＨ０ＮＥ　ＬＩＳＴ　ｒＮｃ。 ＭＰＬＥＴＥを定義する場合に考えられる。 ＰＨ０ＮＥ　ＬＩＳＴ　＝　ｄｏｎ’ｔ　ｋｎｏｗ　ｃｓｔＩｍａｗここで、Ｐ Ｈ０ＮＥ　ＬＩＳＴは見積であり、そのためＰＨ０ＮＥ　ＬＩＳＴＩＮＣＯＭＰ ＬＥＴＥの値はＴＲＵＥとなる。 ２２　「不知ｊ値の実現 これまで指摘したように、演算子はｏｆ−ＬＩＳＰ関数により好ましい実施例に おいて実現することができる。この好ましい実施例において、演算子の関数はリ ストを返す。好ましい実施例において「不知ｊ値を実現すれば、この特徴および 組み込みＬＩＳＰ特殊記号ＮＩＬを利用できる。ＬＩＳＰにおけるＮＩＬの値は 空リストであり、プール値を必要とする文脈ならば、値ＦＡＬＳＥである。ＮＩ Ｌは、好ましい実施例において、「不知」を表すために用いられる。ＮＩＬとプ ール値とを区別するために、本実施例では定義されたイエス／ノー演算子を備え ている。この演算子はプール演算子のように作用する。ただし、ＬＩＳＰプール 原始記号Ｔは記号ＹＥＳで置換され、プール原始記号ＮＩＬは記号Ｎｏで置換さ れる。 好ましい実施例において、関数により返されたリストは必ず、第一要素として、 関数により定義されたターム２１１が必要とする値を有する。「不知Ｊ依存がな ければ、第一要素はそれ自身リストとなる。リストの第一要素は返された値、つ まり、　「不知コを表すＮＩＬあるいは見積である。次の要素は不知依存表示で ある。返された値がＮＩＬならば、依存表示はターム２１１のリストである。タ ーム２１１の「不知」債のために「不知」値の返却が必要となる。返された値が 見積であれば、依存表示はそれぞれの要素がタームから成るリストである。この タームの「不知］値が見積の必要性および見積情報を作り出す。たとえば、ＰＨ ０ＮＥ　ＬＩＳＴにより返された必要な値であれば、下記のようなフオームのリ ストとなる。 ぐ°５５５−１１１１ 間６−２２２２０９　（ＰＨＯＮＥ　１３））もちろん、このテキストストリン グはＣ０ＬＬＥＣＴ関数によって作られたものである。値９がテキストストリン グにおける最初の「不知」値の位置インデックス（復帰改行文字を入れて）であ る。ＰＨ０ＮＥは、Ｃ０ＬＬＥＣＴがストリングを得るために読む列のためのフ ィールド名である。最後の１３は合計フィールド三つのうち一つが「不知Ｊ値で あることを示す。 上述の特性を有する「不知」値を備えた定義型エキスパートシステムの利点は明 らかである。ユーザが自身の不知状態を示すことができるだけでなく、本定義型 エキスパートシステムは「不知」が変化を生じさせることができるかどうかを決 め、もし変化させることが可能であれば、見積が可能かどうかを決める。さらに 「不知」依存情報によって、定義型エキスパートシステムはどのターム２１１が 依存ソースであるかを決めることができ、見積の場合には、見積がなされた値に 「不知」値が与える影響の度合いを決めることができる。 ２３　定義型エキスパートシステムを利用したドキュメント生成システムコレマ でセクションｌ乃至２２で開示された定義型エキスパートシステムは、新しい演 算子を一つ追加するだけでドキュメント生成システムとなる。この演算子は文書 処理テキスト演算子と呼ばれる。後述においてまずこの文書処理テキスト演算子 について説明し、次いでドキュメントテンプレートの例を挙げ、その上で好まし い実施例における文書処理テキスト演算子が実現する内容を概説し、最後に好ま しい実施例を詳述する。 ２４　文盲処理テキスト演算子 この文書処理テキスト演算子はテキスト型のターム２１１を、ワン・ラボラトリ ーズ社製のＷＰ十エディタを用いて書かれたテンプレートドキュメントの一１分 として定義するために用いられる。このｗＰ十エディタについては、米国時。 第４６３３４３０号「ドキュメント処理システムのための制御構造」　（出願人 工−ムズ・リー・クーパー、発行日１９８６年１２月３０日）に詳細に開示さ１ ている。引用したこの特許の開示内容はすべて、本明細書の一部として開示さす る。文書処理テキスト演算子の構文は次のようなものである。 ｗｐ　ｔｅｘｔ　［ｉｆ　ＹＥＳ−Ｎｏ−Ｅ）Ｇ’ＲＥＳＳＩ定義型エキスパー トシステムが演算子により定義されたターム２１１を評価゛る場合、ターム２１ １の値はタームの定義により指定されたテンプレート部キ。 メントの一部分である。定義型エキスパートシステムがドキュメント生成シスツ ムとして使用される場合、文書処理テキスト演算子により定義されるターム２１ の値は、ドキュメント生成システムによって生成されている出カドキュメン１へ 出力される。任意の構文である、 １ｆＹＥＳ−Ｎｏ−ＥＸＰＲＥＳＳｒＯＮが存在すれば、ＹＥＳ−Ｎｏ−ＥＸＰ ＲＥＳＳｒＯＮがＹＥＳと評価されｔ１合のみ、文書処理テキスト演算子により 定義されたターム２１１は評価される。 Ｎｏと評価された場合は、ターム２１１は評価されない。ＹＥＳ−Ｎｏ−ＥＸＦ ＲＥＳＳｒＯＮがセクション２１において述べたように「不知」値と評価され人 場合は、ターム２１１がストリング「不知Ｊと評価する。 たとえば、遺言書を生成するドキュメント生成システムはターム２１１ＤＩＳＴ −ＬＩＦＥ−ＩＮＳＵＲＡＮＣＥ−ＯＮ−ＣＨＩＬＤを定義する。コｆ）　ター 　ム２１１はテンプレートドキュメントから条項を評価し、下記のように子供へ 生命保険を分配する。 ｗｐ　ｔｅｘｒ　ｉｆ　ＴＲＡＮＳＦＥＲ−［Ｎ５−ＯＮ−ＣＨＩＬＤ一部　Ｔ ＲＡＮＳＦＥＲ−ＩＮＳ−ＯＮ−ＣＨＩＬＤ！！、質問「依頼人は子にかけたト 許　生命保険の権利を子孫へ譲渡することを望むか」に対するユーザの応答とし て定・ジ　義されるイエス／ノーターム２１１である。遺言書生成システムを用 いて遺言書□れ　を作成する場合には、遺言書作成者がこの質問に答える。答え がイエスであれば、れ　ＤＩＳＴ−ＬＩＦＥ−４ＮＳＵＲＡＮＣＥ−ＯＮ−ＣＨ ＩＬＤによりＩＩ＆別されたテンプレート部が遺言書に含まれる。答えがノーで あれば、テンプレート部は含まれない。答えが「不知」であれば、ターム２１１ の値は「不知」ストリングとなる。 上述より理解されるように、定義されたストリングタームを文書処理テキスト］ す　演算子と連結させるだけでドキュメントが定義できる。たとえば、この遺言 書生ユ　成システムにはテキストタームＧＥＮＥＲＡＴＥ　ＷＩＬＬがあり、こ れは以下テ　のように定義される。 ト　遺言書タイトル； 前遺言取消； 、分配； 未成年支給； 負債支払； 場　未成年保護； 雑支給； Ｐ　遺言執行人； た この「：」は連結演算子であり、連結されるターム２１１はそれ自身文書処理Ｓ 　テキストタームであるか文書処理テキストタームを連結したものである。この よム　うに、ＧＥＮＥＲＡＴＥ　ＷＩＬＬが評価されると、その値は文書処理テ キスト欲　タームのために定義されたテンプレート部を連結したものである。ド キュメント生成において、この値はＷＰ＋ドキュメントにおいて生成される。好 ましい実施例において、ＷＰ＋ドキュメントにおける値を生成するためには二つ のステップがある。第一のステップでは、文書処理テキストタームのリストであ る値が、文書処理テキストタームの表すテンプレート部が出力ドキュメントで出 てくる順番で生成される。第二のステップでは、リストのテンプレート部がテン プレートドキュメントから出力ドキュメントへリストに現れる順序でフビーされ る。 好ましい実施例では、ターム２１１を文書処理テキスト演算子で定義するために 二つの方法がある。第一の方法では、エキスパートシステムシェル２０１が文書 処理テキスト演算子を使用してターム２１１を定義したとき、エキスパートシス テムシェル２０１の要素は自動的にワン・ラボラトリーズ社製のＷＰ十エディタ を実行する。シェル２０１のユーザは次いでＷＰ十エディタを用いてターム２１ １で表されるテキストをテンプレートドキュメントへ追加できる。第二の方法で は、シェル２０１のユーザはＷＰ十独立したシェル２０１を用いてテンプレート ドキュメントを構成できる。文書処理テキストターム２１１の名前はテンプレー トドキュメントにある。この方法が用いられると、ユーザはテンプレートドキュ メント名をシェル２０１へ与える。シェル２０１はそこでドキュメントを読み、 テンプレートドキュメントで定義された文書処理テキストターム２１１を知識ベ ースへ追加したいかどうかをユーザへ質問する。ユーザがタームを追加したいな ら、シェル２０１がタームの定義を行う。 詳細に後述するように、テキストは他のターム２１１を含んでいても良い。これ らのターム２１１はマージタームと呼ばれる。定義プロセッサ２０７は、テキス トを表す新たな文言処理テキストターム２１１をターム記憶装置２１５へ追加し 、定義プロセフす２０７はテキスト中のマージタームを照合し、マージタームが ＴＳ２１５において定義さなかどうかを決める。もし定義されていなければ、シ ェル２０１のユーザは上記セクション５で述べたような定義を与えるよう促され る。文書処理テキストターム２１１が推論エンジン２１９によって評価された場 合、文書処理テキストタームを定義するテンプレート部におけるそれぞれのマー ジタームが評価される。文書処理テキストターム２１１で表されるテンプレート １ＯＯ１の一部分が出力ドキュメントへ出力された場合、テンプレート部のマー ジタームはマージターム値によって置き換えられる。マージターム値が「不知」 であれば、この値のストリングはマージタームを置き換える。好ましい実施例で は、文書処理テキスト型で定義される他のターム２１１であっても良い。 ２５　テンプレートドキュメント：１Ｎ１０図１０は、好ましい実施例で使用さ れた、文書処理テキストタームを定義するテンプレートドキュメント１００１の 例を示す。この実施例では、テンプレートドキュメント１００１はＷＰ十エディ タを用いて記述される。図中、文書処理テキストタームを定義するテンプレート ドキュメント１００１の一部分が断片１゜Ｏ２として現れる。それぞれの断片１ ００２は断片ターム１００３がら始まり、断片ターム１００３は断片で定義され コロン（：）で終わる文書処理テキストターム２１１と一致する。断片ターム１ ００３およびコロン１ｏ０９は、ｗｐ＋エディタが断片ターム１００３を表すテ キストストリングおよびコロン１００９へ割り当てる断片ターム属性により識別 される。図１０では、断片ターム属性を割り当てられたテキストはアップライト ボールドタイプで表される。 断片ターム１００３とコロンの間のテキストは、断片テキスト１００５である。 すでに示したように、断片テキスト１００５は、図】０で参照番号１００７で示 したマージタームを含む。マージターム１００７は断片テキスト１００５におい て、ＷＰ十エディタがマージターム１００７を表すテキストストリングへ割り当 てるマージターム属性により識別される。図１０において、マージターム属性を 割り当てられたテキストは下線を引いたイタリックボールドフェイス文字で表さ れる。マージタームＣ１１ｅｎｔはマージターム１．００７の良い例である。Ｃ １：ｅｎｔは、クライアント名を含むテーブルタームのフィールドとして定義さ れるテキストタームである。遺言書が生成されると、Ｃ１１ｅｎｔはテーブルタ ームからの名前によって置き換えられる。好ましい実施例では、文書処理テキス トマージターム１００７以外のマージターム１０ｏ７の第一文字が大文字になる と、マージタームを置換する値の第一文字も大文字となる。さらに好ましい実施 例では、これらの属性を持ったテキストストリングが表示されるがプリントされ る方法に変更することで、エディタでも断片ターム属性およびマージターム属性 に応答することができる。したがって、ドキュメント生成システムのユーザは画 面表示あるいはプリントアウトされたテンプレートドキュメント１００１から、 どのテキストストリングが断片により定義された断片ターム１００３であって、 どのテキストストリングがマージターム１００７であるかを決定することができ る。 テンプレートドキュメント１００１はさらにコメントを持っており、そのテキス トはテンプレートドキュメントに入っているものの断片１００２にはさほど必要 ではない。好ましい実施例として、コメントに属するテキストはコメント属性で 示される。さらに、このコメント属性は、属性を持つテキストストリングが画面 表示されるかプリントされるように方法を変える。 ２６　好ましい環境において文書処理テキスト演算子を実現する場合に関する概 説９図１１ 図１１は、図２で示した定義型エギスバートシステムに文書処理テ土スト演算子 の利用を加えたイ）のに基づく、ドキュメント生成システム１１ｏ２を実現した 場合のブロック図である。図１１では、図２の定義プロセッサ２０７、ターム推 論エンジン２１９、ターム記憶装置２１５に加えて、文ｌ処理テキスト演算子に 必要な要素を示しである。図１１に方かれてぃない図２の部分は図２と同様に理 解されるものとする。図２のように、矢印は要素間のデータの流れを示す。ここ で追加された要素は、定義プロセッサ２０７の文書処理テキスト演算子定義要素 １１０１、ターム推論エンジン２１９の文書処理テキスト解決要素１１０３、エ ディタ１１０５、インデックス１１０６、テンプレートドキュメント１０（Ｎ、 生成ドキュメント１．１１１である。好ましい実施例では、要素１１０１および １１０３がＬｕ５Ｐ場境５６１により実行されるＬＩＳＰ関数である。 エディタ１１０５はＷＰ十エディタのバージョンの一つで、マイクロソフト社製 のＭＳ−ＤＯ５（ＴＭ）オペレーティングシステムを実行できるマイクロプロセ ッサ上で命令できるようになっている。ＬＩＳＰインタプリタ５０３は、セクシ ョン１６の最後に説明したように、ｓｙｓ：ｄｏｓ関数を利用Ｉ−でエディタ１ １０５を呼び出す。他のエディタも同様にしてＷＰ＋エディタとして利用できる 。 エディタ１１０５は対話型編集ができるだけでなく、アプリケーションインタフ ェースでもある。これによって、他のアプリケーションプログラムでもこのエデ ィタを使用し、ドキュメントの編集命令を実行できる。 テンプレートドキュメント１００１はテンプレートテキストを有し、ドキュメン トはドキュメント生成システムにより、このテンプレートテキストから生成され る。好ましい実施例では、ＷＰ＋エディタがテンプレート１００１に断片１００ ２を配置する際に、名付けられたマーク、すなわち、テンブレーＬ１００１の位 置と対応する名前を利用する。生成ドキュメント１１１１は定義型エキスパート システムを用いて、断片ターム１００３のための断片テキスト１００５に含まれ た断片ターム１００３およびマージタームの値から生成される。インデックス１ １０６は、テンブレー）１００１から断片ターム１００３およびマージターム１ ００７を高速で位置づけるために使用される。インデックス１１０６にはテンプ レート１００１の名前、およびテンプレート１００１が定義型エキスパートシス テム（ＣＴＲＲＥＣ１１０８）および二つのリストによって最後に更新された日 時を有する制御コードがある。二つのリストとは、断片ターム１００３であると 同時に、断片がテンブレー）１００１に位置づけるために使用できる名付けられ たマークであるＦＴツリト１１０７であり、もう一つは、それぞれの断片１００ ２の断片テキスト１００５に含まれるマージターム１００７のリストであるＭＴ ツリト１１０９である。好ましい実施例では、この二つのリストはＢツリーで実 現される。他の実現方法でも高速検索はもちろん可能である。 上述の新たな要素は、断片ターム１００３の定義および断片タームを利用したド キュメント生成の双方に利用される。以下では、断片ターム１００３から説明し 、続いてドキュメントの生成を説明する。 ２７　断片ターム１００３の定義 定義型エキスパートシステムシェル２０１が断片ターム１００３を含むＤＥＦＩ ＮＥ関数を実行している場合、セクション７で述べたＤＥＦＩＮＥ関数はＷＰＴ 　ＤＥＦｌｌｏｌを呼び出し、断片ターム１００３へ与える。ＷＰＴ　ＤＥＦｌ ｌｏｌはまず定義を決める人１１壜ご断片ターム１００３が現存するテンプレー ト１００１あるいは新たなテンプレート１００１に含まれているべきかどうかを たずねる。ユーザが新たなテンプレート１００１を示せば、ＷＰＴ　ＤＥＦＩＩ Ｏｌは新たなテンプレート１００１の名前を要求し、３ｙｓ：ｄｏｓを用いてエ ディタ１１０５を呼び出しドキュメントを作成する。ユーザが現存するテンプレ ート１００１へ連携したければ、ＷＰＴ　ＤＥＦＩＩＯＩはテンプレートの名前 を要求する。 一度ＷＰＴ　ＤＥＦｌｌｏｌへテンプレート１００１の名前が与えられれば、テ ンプレート１００１のためのインデックス１１０６が存在するかどうかを決める 。存在しなければ、ＷＰＴ　ＤＥＦＩＩＯＩは新たなテンプレートのためにイン デックス１１０６を作成し、ドキュメント名をＣＴＲＲｕｎ１１０３へ配置する 。次にユーザはテンプレートを編集したいかどうかを示す。そのように示せば、 ＷＰＴ　ＤＥＦＩＩＯＩはエディタ１１０５を使って一時的なドキュメントを作 成する。ＷＰＴ　ＤＥＦＩＩＯＩは、定義を行う人間のために、エディタ１１０ ５ヘアクセスする。この人間がエディタ１１０５を用い、一時的なドキュメント 中に断′キターム１００３で表された断片テキストｌ　００５を作成する。そう すれば、断片テキストのいかなるマージターム１００７でもマージターム属性へ 与えることができる。作業を終えて、ユーザがエディタ１１０５から抜けるとＷ ＰＴ　ＤＥＦＩＩＯＩが実行を再開する。 次に、ＷＰＴ　ＤＥＦＩＩＯＩはＦＴツリト１１０７に断片ターム１００３のた めに項目を作る。この項目は断片ターム１００３を名付けられたマークへ関係さ せる。この名付けられたマークによって、エディタ１１０５はテンプレート１０ ０１に断片を位置づけることができる。ＷＰＴ　ＤＥＦ１１０７は、断片ターム １００３から名付けられたマーク　（以下、断片芯１１１３という）を作る。断 片ターム１００３の実用長はどんな長さでも良いが（好ましい実施例では３０文 字が限界である）、ＷＰ＋により名付けられたマークの最大長さは１０文字とな る。断片芯が必要ならば、断片ターム１００３を切り捨てさえすればＷＰＴ　Ｄ ＥＦｌｌｏｌが開始する。続いてＷＰＴ　ＤＥＦＩＩＯＩは同−断片芯がすでに 存在するかどろかを決めるためにＦＴツリト１１０７を探索する。存在すれば、 ＷＰＴ　ＤＥＦＩＩＯＩは新たな断片芯を固有のものにする。好ましい実施例で は、このときＷＰＴ　ＤＥＦＩＩＯＩは、断片芯の最後の文字から始めて、文字 を順に照合しながら作動している。固有の断片芯が得られるまで、ＷＰＴ　ＤＥ ＦＩＩＯＩは断片芯の最後の文字を照合順序で次の文字で置き換えていき、断片 芯が固有であるかどうか照合し決定する。その照合順序では固有の名前が見つか らない場合、その名前の最後から二文字目から始めて、もう一度順番に照合して いく。固有の断片芯が見つかれば、ＷＰＴ　ＤＥＦＩＩＯＩはエディタ１１０５ を呼び出して断片ターム１００３をテンプレート１００１の最後へ追加すると同 時に、断片ターム１００３を断片ターム属性へ与える。次いでエディタ１１０５ により、テンプレート１００１の断片芯１１１３を用いて名付けられたマークを 作成する。名付けられたマークは断片ターム１００３における最後の文字の位置 を示す。次のステップでは、エディタ１１０５を用いて断片を一時的なドキュメ ントからテンプレート１００１ヘコピーする。その後、一時的なドキュメントは 削除される。最後のステップでは、エディタ１１０５を用いてコロン１００９を 断片へ追加し、コロン１００９を断片ターム属性へ与える。 これらが完了した後で、ＷＰＴ　ＤＥＦｌｌｏｌはエディタ１１０５で、マージ ターム属性を持ったテキストを探索することで、断片１００２のマージターム１ ００７を探索する。エディタ１１０５がマージタームを見つけてＷＰＴ　ＤＥＦ ＩＩＯＩへ返すたびに、ＷＰＴ　ＤＥＦＩＩＯＩはマージタームを、ＭＴリスＨ １０９における断片１００２のためのマージターム１００７のリストへ追加する 。断片１００２のためのすべてのマージタームがＭＴツリト１１０９にあれば、 定義プロセッサ２０７はそれぞれのマージターム１００７を断片としてとらえ、 マージターム１００７がターム記憶装置２１５に定義を持っているかどうかを決 める。定義されていなければ、セクション５ですでに述べたように、定義プロセ ッサ２０７はユーザにマージターム１００７を定義するよう要求する。ＷＰＴ　 ＤＥＦＩＩＯＩがＤＥＦＩＮＥ関数へ返る場合、ＤＥＦＩＮＥ関数は、セクショ ン７ですでに説明したように、ターム記憶装置２１５の断片ターム１００３のた めにターム２１１およびＤＥＦ２１３を作成する。好ましい実施例では、ＤＥＦ ２１３にはＷＰＴ　Ｒｕｎ１１０３を表すＬＩＳＰ記号が含まれる。それぞれの 断片ターム１００３は上述のように定義される。ユーザがシェル２０１を抜ける と、シェル２０１はＣＴＲＲＥＣｌｌｏｇの日時を示す。 上述のように、定１１型エキスパートシステムシェルにも、事前に定義されたタ ーム２１１を再定義するためのＲＥＤＥＦＩＮＥ演算子が含まれる。再定義され ｆ、−’Ｉ−ム２１１　ｆＪｔ断片９−ム１００３テあｆ’Ｌｌｆ、ＲＥＤＥＦ 　Ｉ　ＮＥ　１０１　ハＷＰＴ　ＤＥＦｌｌｏｌを呼び出し、回定ａされた断片 ターム１００３を与える。この場合、ＷＰＴ　ＤＥＦＩＩＯＩはエディタ１１０ ５を利用して温時ドキュメントを作成し、断片ターム１００３およびＦＴツリト １１ｏ７を利用して断片ターム１００３に対応する断片名１１１３を得る。さら に断片名１１１３をエディタ１１０５へ与え、断片ターム１００３により！Ｉｉ 別された断片１００２をテンプレートｔｏｏｌに配置し、その上でエディタ１１ ｏ５を利用して断片ターム１００３の最後に続くテキストを温時ドキュメントヘ コビーする。ＷＰＴ　ＤＥＦＩＩＯｌがフロン１００９を見つけ、断片ターム属 性からそれと認識するまでコピーは続く。タームを再定義する人間はエディタ１ １ｏ５を用いて、上述のように温時ドキュメントのテキストを編集する。ユーザ が編集を終えると、ＷＰＴ　ＤＥＦｌｌｏｌは上述のように進むが、ただし、古 い断片テキスト１００１を削除し、一時ドキュメントの新たな断片テキスト１０ ０２と置き換える。 上記のように、テンプレートドキュメント１００１は、定義型エキスパートシス テムシェル２０１とは独豆して、エディタ１１０５を使用して編集できる。この 場合、テンプレートドキュメント１ｏｏｔを編集する人間が、断片ターム属性を 断片ターム１００３であるテキストストリングへ割り当てるＷＰ十エディタを用 いて、！！ｆｒ片ターム１００３を示す。さらに、マージターム属性をマージタ ーム１００７であるテキストストリングへ割り当てるＷＰ十エディタを用いて、 マージターム１００７を示す。さらに、断片の最後にコロン１００９を配置しコ ロン１００９に断片ターム属性を割り当てるＷＰ十エディタを用いて、断片の最 後を示す。エディタ１１０５は自動的に、ドキュメントに関して維持している情 報内にテンプレートドキュメント１００１が編集された日時を記録しておく。 ターム記憶装置２１５に新たな断片ターム１００３を持つために、エキスパート システムシェルのユーザがエキスパートシステムシェル２０１を上述のように？ シフ１／−トドキユメント１００１へ連結する。テンプレートドキュメント１０ ０１が新しいか、あるいは編集日時がＣＴＲＲＥＣ１１０８でテンプレートドキ ュメントのために示された８時より後である場合には、ＷＰＴ　ＤＥＦＩＩＯｌ はテンプレートドキュメント１００１を確認する。インデックス１１０６を削除 し、テンブレー）ｔｏｏｌのための新たなインデックス１．　ｌ　０６を作るこ とで確認が始まる。ＷＰＴ　ＤＥＦＩＩＯＩは、それぞれの断片ターム１００３ がすでにターム記憶装置２１５で定義されているかどうかを決め、ユーザにター ム記憶装置へ定義を追加したいかどうかたずねる。追加したいなら、定義は上述 のように追加される。未定義の断片ターム１００３を定義する間に、ＷＰＴ　Ｄ ＥＦｌ　１０１はマージターム１００７のための断片ターム１００３のための断 片テキスト１００５を探索し、上述のようにそれぞれのマージターム１００７を 処理する。どの断片ターム１００３をユーザがターム記憶装置２１５へ追加した いか選択できる際の利点は、テンプレート１００１が断片ターム１００３を利用 して他のアプリケージ１ンにも対応でき、ユーザが自分のドキュメント生成アプ リケージ１ンに必要なテンプレート１００１からこれらの断片ターム１００３だ けを選択できるということである。 ２８　ドキュメント生成１１１１ 好ましい実施例では、書類の生成１１１１は二つのステップから成る。第一のス テップはスクリプトの生成である。スクリプトには、出力ドキュメントに現れる すべての断片１００２のための断片ターム１００３がある。第二のステップは、 このスクリプトから出力ドキュメントを生成することである。 第一のステップでは、定義型エキスパートシステム２０２のユーザがエキスパー トシステム２０２にテキストターム２１１を解決するよう要求する。テキストタ ーム２１１は断片ターム１００３であるか、あるいは断片ターム１００３を含む 連結として定義されたものである。タームを解決するためにエキスパートシステ ム２０２で利用する一般的な方法は、上記セクション７のＷＨＡＴ関数の記述の 中で説明した。解決されるタームが断片ターム１００３である場合、ターム推論 エンジン２１９はＷＰＴ　５ＯＬＶＥ関数１１０３を利用する。ターム推論エン ジンはそれぞれの断片タームをＷＰＴ　５ＯＬＶＥへ適当に与える。ＷＰＴＳＯ ＬＶＥは、断片ターム１００３の定義型エキスパートシステムを含むあらゆる条 件から、タームにより表される断片テキスト１００５が出力ドキュメントに含ま れるべきかどうかを決めることで、断片ターム１００３を評価する。含めること になれば、ＷＰＴ　５ＯＬＶＥ１１０３は適当に範囲を決めた断片ターム１００ ３を、ＷＨＡＴＩＭＩ数へ断片タームｌ　００３として与える。断片が含まれる 場合には、ＷＰＴ　５ＯＬＶＥ１１０３はさらに断片タームｌ　００３を用いて 断片名１１１３を断片タームタームリスト１１０７へ配置し、エディタエ１０５ および断片名１１１３を利用して断片テキスト１００５をテンプレート１００１ に配置する。またエディタ１１０５を用いてそＦＬ−′れのマージターム１００ ７を断片テキスト１００５へ配置し、それぞれのマージターム１００７を評価す るために推論エンジン２１９へ与える。推論エンジン２１９はこのタームを評価 し、セクション７ですでに説明したようにその評価に必要なあらゆる外部値を保 存する。 ＷＨＡＴ関数を実行した結果がスクリプトとなる。スクリプトでは、断片ターム １００３がテキスト値において制限を受けるため、テキスト値によって他のテキ ストと区別され、断片テキスト１００５が出カドキュメン）１１１１に現れる順 序で現れる。ＷＨＡＴ関数の結果より、通常、スクリプトが表示される。スクリ プト表示は便利なものである。これによってテンプレート１００１の開発業者は 、ドキュメント１１１１を生成せずにターム定義が正しいかどうが決めるための テンプレート１００１をターム定義セットに含むことができるからである。他の 実施例では、スクリプトは表示されず、ＷＰＴ　５ＯＬＶＥによりＷＨＡＴ関数 へ与えられた値が、それらの値で置き換えられたすべてのマージターム１００７ を有するテキスト１００５を表すことができる。また、ＷＨＡＴ関数へ与えられ た値は直接エディタ１１０５へ出力し、生成ドキュメント１１１１に入れること ができる。 推論エンジン２１９がスクリプトを表示する場合、ユーザは生成ドキュメント１ １１１を作成するかどうか選択することができる。生成する場合、ＷＰＴ　５Ｏ ＬＶＥ１１０３がユーザに生成ドキュメント１１１１の名前をたずね、エディタ １１０５を用いて生成ドキュメント１１１１を作成し、スクリプトを読み取る。 スクリプト内のそれぞれの断片タームｌ　００３があるために、ＦＴツリト１１ ０７を用いて対応する断片名１１１３を獲得し、断片テキスｌ−１００５を配置 するためにエディタ１１０５へ送り、エディタ１１０５を用いて断片テキスト１ ００５をテンプレート１００１から生成ドキュメント１１１１ヘコピーする。さ らにマージターム１００７が見つかるまでエディタ１１０５で生成ドキュメント １１１１の断片テキスト１００５を読み取る。マージターム１００７を読み取る と、記憶外部値を使って値を計算している推論エンジン２１９からマージターム １００７の値を獲得し、マージタームの値が大文字になっているかどうかＭＴツ リト１１０９から決める。さらにエディタ１１０５でマージターム１００７を記 憶値で置き換え、ＭＴツリト１１０９がそのように示せば１文字目を大文字にす る。 マージターム１００７が断片ターム１００３であれば、ＷＰＴ　５ＯＬＶＥＩＩ ０３は、断片１００２が断片ターム１００３で表される場合と同様に進む。 ２９　テンプレート１００１およびインデックス１１０６を実現する詳細：図１ ２乃至１４ 好ましい実施例で採用されたドキュメントは、すべてＷＰ十エディタで使用され るドキュメント構造で表されていた。図４２乃至１３は本発明に関するドキュメ ント構造の７スペクトを示す。ドキュメント構造に関しては、米国特許第４７５ １７４０号「ドキュメント構造を別構造へ翻訳するための装置およびその方法お よびその構造」　（出願人Ｔ、ライト、発行日１９８８年６月１４日）において さらに詳しく論じられている。この特許の中で特に関係の深い部分は第１３欄２ １行目から第１５欄９行目、および図１０である。米国特ｔＩｆ第４７５１７４ ０号は本明細書の一部として開示されるものとする。図４３から理解できるよう に、ＷＰ＋エディタで使用されるドキュメント構造は、ブロック番号でアドレス 指定可能な一組のブロックで表されている。ブロックはナベで同一サイズである が、別個の三つの関数グループに別れる。すなわち、管理ブロック、インデック スプロ７り、テキストブロックである。 管理ブロックは、図１２においてドキュメント情報プロ７り１２０１およびドキ ュメントチ−プル１２０３として示される。ドキュメント情報ブロック１２０１ には、構造で表されたドキュメントについての情報があり、ドキュメントが最後 に編集された日時を示すフィールド１２０９も含まれる。上述のように本発明で は、このフィールドはテンプレート１００１が定義型エキスパートシステム２０ １の外側で編集されたものかどうかを把握するために利用される。ドキュメント テーブル１２０３にはインデックスの番号を指すポインタ１２０５がある。氷原 に重要なものは唯一、名前インデックスポインタ１２０７であり、これはテキス トブロックの位置へ名前を関係づける名前インデックスを指す。この名前インデ ックスは一つ以上の名前インデックスブロック１２０９から成り、その一つだけ が図」２に示される。名前インデックスブロック１２０９が二つ以上必要ならば 、チェーンあるいはツリー構造にすることができる。名前インデックスブロック にはそれぞれ、アルファベット類で配置された名前インデックスエントリ１２１ １がある。本願に重要なこのエントリは断片名１１１３をテキストブロック位置 へ関係づける。 テキストブロックにはドキュメントのテキストがある。それぞれのテキストブロ ック１２１１には、中にテキストの構成文字が格納されるテキスト部１２１３が あり、さらにテキスト部１２１３の位置に関する情報を持った属性部１２１５が ある。テンブレー［００１において、属性部には、テキスト部１２１３における 一連の文字が断片ターム１００３あるいはマージターム１００７であることを示 す情報がある。テキストブロックは、二重連結されたテキストブロックチェーン １２１７で編成されている。テンブレー）１００１では、断片］００２はテキス トブロックチェーン１２１７として表される。二つの断片１００２がテキストブ ロックチェーン１２１７で示される。それぞれの断片１００２は最初に８府イン デックスで配置？２される。断片名１１１３は、自身のための名前インデックス エンド１月２１１を配置するために使用される。ブロックポインタの後にチェー ンを開始するブロックが続く。エディタ１１０５が名付けられたマーク２決める と、テキストチェーンのブロックを分割する。［不明］テキストブロック１２１ １のテキス）−１２１３において第一文字［不明１６エデイタ１１０５による、 さらに特別なルーチンがある。これよればアプリケーションプログラムが使用で き、その機能はドキュメント情報ブロック１２０１から情報を返し、テキストブ ロック１２１１から文字および属性を読み取り、テキストブロック１２１１へ文 字および属性を書き込み、テキストブロックチェーン１２１７で名付けられた位 置を見つけ、テキストブロックチェーン１２１７ヘコピーし、テキストブロック チェーン１２１７から削除することができる。 図１３に示すのは、短表示属性語１３０１であり、テンプレート１００１で断片 ターム属性およびマージターム属性を示すために用いられる属性部の種類である 。テキストブロック１２１１のテキスト１２１３におけるテキスト用属性語は、 そのテキストブロックの属性領域１２１５にある。属性部はテキストから逆の順 序で格納される。つまり、テキスト部１２１３の第一文字に該当する属性は属性 部１２１５の最後にある。エディタ１１０５がテキストブロック１２１１を書き 込むとき、テキスト部１２１３の始めから後方へ文字を追加していき、属性部１ ２１５の最後から前方へ文字用属性を追加していく。テキスト部１２１３の最後 と属性部１２１５の最後との間に空スペースがなくなれば、ブロックが一杯にな ったことになる。エディタ１１０５はテキスト部１２１３からテキストを読み取 る場合、同時に属性部１２１５から属性を読み取り、その文字に該当する属性が 現在読み取り中であることを示すコードを与える。属性部１３０１には四つのフ ィールドがある。その語がどんな種類の属性を表しているかを示すタイプフィー ルド、そのタイプに関する追加情報を提供する補助タイプフィールド１３０５、 その属性が該当する一連の文字の第一文字がテキスト部１２１３のどの位置にあ るかを示す開始フィールド、その文字列の最終文字がテキスト部１２１３のどの 位置にあるかを示すエンドフィールド１３０９である。好ましい実施例では、断 片ターム属性およびマージターム属性がタイプフィールド１３０３の異なる値に よって示される。断片ターム属性およびマージターム属性のための属性部１３０ １からの情報を利用することで、ＷＰＴ　ＤＥＦＩＩＯＩおよびＷＰＴ　５ＱＬ ＶＥ１１０３は、断片１００２の一連の文字が断片タームであるかマージターム であるか決めることができ、さらに断片の終端を識別することができる。 図１４にはインデックス１１０６の要素のエントリを詳細に示す。与えられたテ ンプレート１００１のためのインデックス１１０６には制御レコード１１０８が 一つだけある。これには、二つの情報項目がある。インデックス〕１０６が属す るテンプレートドキュメント１００１の名前を示すテンプレート名前１４０１、 およびインデックス１１０６が属するテンプレートドキュメント１００１をＷＰ Ｔ　ＤＥＦＩＩＯＩが最後に編集した日時を示す最終編集日時１４０３である。 テンプレート１００１のそれぞれの断片のために断片タームリストエントリ１４ ０５がある。上述のように、このリストはＢツリーで編成されているため、断片 ターム１００３が高速で断片タームリストエントリエ４０５ヘアクセスすること ができる。それぞれの断片タームリストエントリ１４０５には断片１００２およ び断片ターム１００３で識別される断片１００２のための断片名１１１３がある 。 最後に、テンプレート１００１の断片１００２には、それぞれのマージターム１ ００７のためのマージタームリストエントリ１４０７がある。さらに、このマー ジタームリストはＢツリーで編成されているため、断片１００２のための断片タ ーム１００３が断Ｐ、１００２のためのマージタームリストエントリ１４０７へ 高速でアクセスできる。それぞれのマージタームリストエントリ１４０７には、 マージターム１００７が属する断片１００２のための断片ターム１００３、マー ジターム１００７、大文字使用フラグ１４０９がある。大文字使用フラグ１４０ ９はＷＰＴ　ＤＥＦＩＩＯＩでセットされ、マージターム１００７が解決された 場合にマージターム１００７を置き換える値の第一文字目が大文字使用されるこ とを示す。上述のように、定義型エキスパートシステムシェル２０１のユーザは 、マージタームの第一文字を大文字にし、それにより値が大文字使用されること を示す。与えられた断片ターム１００３のためのマージタームエントリ１４０７ が、マージターム１００７によってＭＴツリト１１０９でアルファベット類に配 置される。 追加された上記の開示では、上記セクション１乃至２２で開示された定義型エキ スパートシステム、ＷＰ半エディタ、そしてＷＰ＋エディタにより生成されるテ ンプレートドキュメント１０（１１を利用することで、ドキュメント生成システ ムがどのように発展したかを示した。定義型エキスパートシステム、ＷＰ十エデ ィタ、このＷＰ＋エディタによって使用されるドキュメント構造はすべて本発明 を実現するのに！適であるものの、本発明は他の型のエキスパートシステム、他 のエディタ、他のドキュメント構造を利用しても実現できる。特に、テンプレー ト１００１の断片タームとマージタームを識別したり、テンプレート１００１で 断片を位置づけたり、断片タームあるいはマージタームがすでに定義されたかど うか決める作業については、ここで開示された以外の技術を利用することができ る。さらに、ある実施例では、スクリプトを生成するステップは省かれても良い し、解決命令によって生成ドキュメントを直ちに出力しても良い。この場合、開 示された実施例はすべての点で説明するためのものであって限定的ではないもと する。また本発明の範囲は上記の説明以外に追加されたクレームで示されるもの とし、クレームと同等の意味および範囲内で考えられるすべての変更はそのクレ ームに含まれるものとする。 ユーザーコマンド 図１ ユーザーコマンド ＩＩＩＩＡ ユーザーコマンド 図２ ターム２０６　記述（ＤＥＳＣ）２０５詐　欺　虚偽−認識および有害−信頼 旺識一虚偽　虚偽および虚偽−認識したー被告虚偽 イエスノ一式質問「彼はあなたに嘘を ついた被告−認識したーか？」 虚偽−認識した一被告　虚偽イエスノ一式質問［あなたに話したことが嘘である ことを彼は認識して １１？−Ａ）７＋ 有害な一信頼　原告−による−信頼および原告−による−損失 原告＝による一信頼　イエスノ一式質問［彼が話した内容のせいであなたは何か 特別なことをした か？」 原告−による−損失　イエスノ一式質問［虚偽のために、あなたは失ったものが あるか？」 図５ 図７ や 復元６３３がら 図８ 図１Ｏ 遺言書タイトル−断片ターム１００３ 遺　言　書←断片テキス）　１００５　−断片１００２テンブレー）　１００１ ドキュメント情報ブロック１２０１ 図１２ 図１３ 図１４ 国際調査報告 国際調査報告

Claims (9)

【特許請求の範囲】
1. １．テンプレートドキュメントと、 知識ベース項目を格納するためのエキスパートシステム知識ベースと、テンプレ ートドキュメントおよび出力ドキュメントを編集するための編集手段と、 第一のユーザ入力に反応して前記知識ベース項目を定義し、前記テンプレートド キュメント部分に従ってドキュメント部知識ベース項目を定義するために第一の ユーザ入力の一つに直ちに応答するドキュメント部定義手段を含み、前記動作を 、前記編集手段をユーザへ与え前記部分を編集し、前記編集された部分を前記知 識ベースにおける前記ドキュメント部知識ベース項目と関係づけることにより行 うエキスパートシステム知識ベース定義手段と、第二のユーザ入力および前記知 識ベース項目に反応してエキスパート応答を与え、ドキュメント部知識ベース項 目に直ちに反応する出力ドキュメント生成手段を含むことで、前記ドキュメント 部知識ベース項目および前記第二のユーザ入力が必要とする場合に、前記編集手 段を採用して前記ドキュメント部知識ベース項目と関係のある前記ドキュメント 部を前記出力ドキュメントへ提供する、エキスパートシステム推論エンジン手段 とを有することを特徴とする出力ドキュメントを生成するためのドキュメント生 成システム。
2. ２．前記編集手段が、前記エキスパートシステム推論エンジン手段により返され た値を表すタームとしてドキュメント部においてテキストストリングを識別する ための手段を有し、 前記出力ドキュメント手段が、前記与えられたドキュメント部において前記識別 されたタームを検出し、前記識別されたタームを前記推論エンジンへ与え、前記 識別されたタームの前記値を前記推論エンジンから受け取り、前記識別されたタ ームの代わりに前記受け取られに値を前記出力ドキュメントへ出力することを特 徴とする請求項１に記載のドキュメント生成システム。
3. ３．テンプレートドキュメントと、 前記テンプレートドキュメントおよび出力ドキュメントを編集するための手段と 、 階層的に定義されたタームと、その定義と、一つ以上の前記値を用いるか、およ びまたはそれらタームの定義が前記階層の低レベルにありタームの前記値とは無 関係に一つ以上のターム独立値を用いて、それぞれのタームを定義するタームに 対応する前記定義とを有する知識ベースと、第一のユーザ入力に反応して前記タ ームを定義し、前記テンプレートドキュメント部に従う前記タームのドキュメン ト部タームを定義するためのドキュメント部ターム定義手段を有し、前記ドキュ メント部ターム定義手段が前記編集手段をユーザへ与え前記部分を編集させると 同時に前記編集された部分と前記知識ベースにおいて前記ドキュメント部ターム の定義と関係づける、知識ベース定義手段と、 第二のユーザ入力に応答するだめに前記知識ベースから与えられたタームの前記 定義を獲得し、その対応する定義から与えられたタームの前記値を計算するため 、前記対応する定義におけるあらゆるタームおよびあらゆるターム独立値の前記 値を獲得し、ドキュメント部タームの前記値を獲得するため、前記ドキュメント 部知識ベース項目および第二のユーザ入力が必要とした場合に、前記編集手段を 採用し、前記ドキュメント部タームに従う前記ドキュメント部を前記出力ドキュ メントへ提供する出力ドキュメント生成手段を有する推論エンジン手段とを有す ることを特徴とする出かドキュメントを生成するためのドキュメント生成システ ム。
4. ４．前記編集手段がドキュメント部においてテキストストリングをタームとして 識別するための手段を有し、 前記ドキュメント部ターム定義手段が前記ドキュメント部において前記識別され たタームを検出し、前記検出されたタームを前記知識ベース定義手段へ提供し、 前記知識ベース定義手段が前記検出タームへ応答するために、前記知識ベースに おいて前記検出タームに対する定義が存在するかどうかを決め、もし存在しなけ れば前記ユーザから第一のユーザ入力を要求し、ユーザから前記検出タームを定 義し、 前記出力ドキュメント生成手段が前記提供されたドキュメント部において前記識 別タームを検出し、前記識別タームを前記推論エンジンへ提供し、前記推論エン ジンから前記識別タームの前記値を受け取り、前記識別タームの代わりに前記出 力ドキュメントへ前記受け取った値を出力することを特徴とする請求項３に記載 の前記ドキュメント生成システム。
5. ５．前記識別タームが他のテンプレートドキュメント部分を参照するドキュメン ト部タームである請求項４に記載のドキュメント生成システム。
6. ６．ドキュメント部ターム定義手段が、前記ドキュメント部タームの前記定義に おいて他のタームの前記値に従属する条件を有し、前記推論エンジン手段によっ て前記他のタームの前記値を計算し、さらに前記出力ドキュメント生成手段が、 前記条件が溝たされた場合にのみ、前記ドキュメント部タームの前記値を獲得で きるようにすることを特徴とする請求項３に記載のドキュメント生成システム。
7. ７．前記編集手段が前記ドキュメント部ターム定義手段とは無関係に前記テンプ レートドキュメントを追加的に編集し、第一の識別手段を採用して、前記ドキュ メント部タームを定義する前記ドキュメント部のテキストストリングを前記ドキ ュメント部タームであると識別し、 前記ドキュメント部ターム定義手段が、前記第一識別手段により前記ドキュメン ト部の前記ドキュメント部タームを追加的に検出し、前記知識ベースの前記ドキ ュメント部タームを定義することでそれに対して応答し、前記ドキュメント部タ ームを有する前記ドキュメント部を定義されたドキュメント部タームと関係づけ ることを特徴とする請求項３に記載のドキュメント生成システム。
8. ８．前記編集手段が第二識別手段を追加的に採用して、ドキュメント部のテキス トストリングを、前記ドキュメント部により定義された前記ドキュメント部ター ム以外のタームとして識別し、 前記ドキュメント部ターム定義手段が、前記第二識別手段によりドキュメント部 において識別された他のタームを検出し、前記検出された他のタームを前記知識 ベース定義手段へ提供し、 前記知識ベース定義手段が前記検出された他のタームへ応答するために、前記知 識ベースにおいて検出されたタームに対して定義が存在するかどうかを決め、も し定義が存在しなければ、ユーザに第一のユーザ入力を要求し、ユーザからの前 記検出された他のタームを定義し、 前記出力ドキュメント生成手段が、前記第二識別手段により前記提供されたドキ ュメント部で識別された他のタームを検出し、前記識別された他のタームを前記 推論エンジンへ提供し、前記推論エンジンから前記識別された他のタームの前記 値を受け取り、前記受け取った値を前記識別された他のタームの代わりに前記出 力ドキュメントへ出力することを特徴とする請求項７に記載のドキュメント生成 システム。
9. ９．ドキュメント部タームを指定する第一識別手段により識別された第一テキス トストリングおよび、前記指定ドキュメント部タームを定義し、第一テキストス トリングにより指定されるドキュメント部ターム以外のタームを指定する第二識 別手段により識別される第二テキストストリングを有するドキュメント部テキス トを有する少なくとも一つのドキュメント部を有し、出力ドキュメントを生成す るためのドキュメント生成システムにおいて使用され、前記ドキュメント生成シ ステムが、階層的に定義されたタームおよびその定義を有する知識ベースおよび 前記ドキュメント部と、前記他のタームと、それぞれのタームの定義が階層の低 レベルにある一つ以上のターム値を用いるかおよびまたはタームの前記値とは無 関係な一つ以上のターム独立値を用いてそれぞれのタームを定義するそれぞれの タームに対する前記対応する定義する前記タームと、前記ドキュメント部を読み 取ることで前記ドキュメント部を定義するドキュメント部ターム定義手段を有し 、前記第一識別手段によりドキュメント部のドキュメント部タームを検出し、前 記ドキュメント部タームを前記知識ベースの前記ドキュメント部と関係づけ、前 記ドキュメント部手段がさらに第二識別手段により前記他のタームを検出し、前 記他のタームを前記知識ベース定義手段へ提供することで前記他のタームが前記 知識ベースにおいて定義されているかどうかを決め、もし定義されていなければ 前記他のタームを定義する、前記タームを定義するための知識ベース定義手段と 、 前記知識ベースから与えられた前記定義を獲得し、前記対応する定義におけるあ らゆるタームおよびあらゆるターム独立値を獲得することでその対応する定義か ら前記与えられたタームの前記値を計算することでユーザ入力に応答する推論エ ンジンであって、前記出力ドキュメントへ前記関係づけられたドキュメント部の 前記テキストを出力することで前記ドキュメント部タームの前記値を獲得し、さ らに前記第二識別手段によりドキュメント部の前記他のタームを検出し、前記推 論エンジン手段へ前記他のタームを提供し、前記推論エンジンから前記他のター ム値を受け取り、前記受け取った値を前記出力ドキュメントへ前記他のタームの 代わりに出力する出力ドキュメント生成手段を有する推論エンジン手段と、を有 することを特徴とするテンプレートドキュメント。