JPH07508844A - ユーザのマシン制御ステートメント集合の生成を容易にするための方法，および装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 抜歪分Ｉ 本発明の目的は、コンピュータのようなマシンの動作を制御するために用いられ る、マシン制御ステートメント集合をユーザが生成するのを容易にするための方 法、及び装置に関するものである。

箆旦役蓑 多くのマシン、特にコンピュータは、その動作中に決定プロセスを実行する。こ うした決定プロセスは、一般に、い（つかの条件因子の値を確認し、所定の決定 機能に基づいて所望の結果値を決定することを含んでいる。この決定機能は、条 件因子の値の組み合わせと特定の結果値を関連付けるいくつかの独立したステー トメントの形をとることが可能である。一般に、こうしたステートメントは、プ ログラム・コードに組み込まれるか、又は知識ベースに蓄えられる。いずれにせ よ、このステートメントは、コンピュータの専門家以外には許されていない環境 の中にある。更に、知識ベースに対して、いわゆる「ユーザ・フレンドリな」イ ンタフェイスが提供されても、ステートメントの追加、又は修正を望む者は誰で も、一貫性のあるステートメント集合を生成するために、構文、及び論理の厳格 な規Ｑ１１に従わなければならない。このことは、訓練を受けていないスタッフ の能力をかなり超えるので、マシン制御ステートメント集合に基づいて決定機能 を作成し、保守する仕事は、依然として、コンピュータ・スタッフが責任を負う ことになる。

本発明の目的は、まとまって決定機能を構成するマシン制御ステートメント集合 の生成、及び修正を容易にすることにある。

灸匪■皿示 概して言えば、本発明は構造化表現でマシン制御ステートメントを表示し、より 特定されたステートメントが、より一般的なステートメントに対して優先される という基本的原則に基づいて、どのステートメントを優先すべきかが明瞭である 場合に、ユーザが明らかに矛盾するステートメントを指定できるようにすること によって、エンド・ユーザが容易にマシン制御ステートメント集合の生成、及び 修正をできるものである。

より形式的に言うと、本発明の態様の１つによれば、所定の条件因子の集合にお ける特定値の組み合わせと、対応する結果値集合における特定の結果値を関連付 ける決定機能がマシン制御ステートメント集合のまとまりで構成され、それぞれ 、個々のマシン制御ステートメントが、１つ、又は複数の条件因子の値の組み合 わせ（ここではＣＦＶＣとする）と、ある結果値を関連付けるようなマシン制御 ステートメント集合を、容易に生成する方法が提供され、この方法が、−ＣＦＶ Ｃ集合と、対応する結果値との間の視覚的関連によって表されるマシン制御ステ ートメントに関する構造化表現をユーザに対して表示するステップと、 一少なくとも１つの新しいマシン制御ステートメントの作成、及び／又は少なく とも１つの既存のマシン制御ステートメントに対する修正に関するユーザ入力を 受信し、それによって新しいマシン制御ステートメント集合と、新しい、及び／ 又は修正された、構造化表現によって表されるステートメントを生成するステッ プと、−新しいマシン制御ステートメント集合に対する一貫性の検査が、（ａ） 全てが同じ結果値を指定することのない複数のステートメントに共通した、少な くとも１つのＣＦＶＣからなるあらゆるグループを識別することによって、ステ ートメント間の矛盾を識別するステップと、 （ｂ）対応するＣＦＶＣグループが、複数の、より一般的な任意のステートメン トに現れるステートメント（ここでは例外ステートメントと称する）によって包 含される全てのＣＦＶＣの集合に等しいかどうかを判定することによって、より 特定されたステートメントが、より一般的なステートメントに対して優先される とする根拠に従い、こうした矛盾が解決可能かどうかを判定し、例外ステートメ ントが他のどのステートメントに対しても優先される前記複数のステートメント とは別の、任意のステートメントに関連付けられている例外ステートメントによ って、前記矛盾を解決可能かどうかを判定するステップと、 （Ｃ）解決できない矛盾が存在する新しいステートメント集合の受け入れを禁止 するステップから構成される。

本発明の１つの実施例において、構造化表現はセルを定義する各行、及び列の交 差部分によって、複数の行、及び列に配置された表であり、各行／列によって表 内に表される各マシン制御ステートメント、及びそれぞれの列７行に関連付けら れた各条件因子、及び少なくとも１つの列７行と関連付けられた前記結果値によ って任意の特定のステートメントに関連した条件因子、及び結果値が、そのステ ートメントを表す行／列に対応するセルにおいて指定される。

本発明の別の実施例において、構造化表現は、新しい／修正されたＣＦＶＣのス テートメント集合を、使用可能な全てのＣＦＶＣ集合のある部分集合に加え、そ れによって新しい／修正されたステートメントの矛盾に関する可能性を、前記部 分集合内の、ＣＦＶＣ集合を備えた既存ステートメントに制限することであると 言える。本発明の好適実施例によれば、ｋ記所定の条件因子の集合が、少なくと も２つの一次条件因子から構成され、構造化表現が、−次条件因子の使用可能な 全てのＣＦＶＣのそれぞれの部分集合を表す、少なくとも１つの表から構成され 、この部分集合は、他のどの表によって表される部分集合とも重複しない。６表 は、対をなす一次条件因子の値を関連付ける働きをする行、及び列を備えており 、行が、対をなす第１の一次条件因子に関するそれぞれの特定の値を表し、列が 、対をなす第２の一次条件因子に関するそれぞれの特定の値を表しており、同時 に、各行、及び列の交差部分はセルを定義する。表によって表される部分集合に 包含されるＣＶＣＦ集合を有し、例外ステートメントでない前記各マシン制御ス テートメントは、次に、対応する表においてそれぞれのセルによって表され、そ のセルはセルを定義する行と列、及びそのセル内に指定されているそのステート メントの結果値に関連する条件因子の組み合わせに対応する、そのステートメン トに関する第１と第２の一次条件因子の値を有している。構造化表現が複数の曲 記表から構成される場合、６表は、個々に選択でき、表示可能であることが望ま しい。

一般に、先行パラグラフにおいて解説の実施例の場合、所定の条件因子の集合は 、更に、例外ステートメントの指定に用いられる少なくとも１つの二次条件因子 を含んでおり、どの例外ステートメントのＣＦＶＣ集合も、 一前記セル、及び対応する非例外ステートメントの存在と関係する一次条件因子 の値の組み合わせ、及び −少なくとも１つの二次条件因子の少なくとも１つの値の両方を含んでおり、例 外ステートメントは、前記の対応する非例外ステートメントに対して異なる結果 値を指定し、これによって、後者に対して例外を指定する。例外ステートメント の存在は、対応する非例外ステートメントが、非例外ステートメントを表す表セ ルに関連した、ユーザが識別可能な表示によって表されている表において表示さ れるのが望ましく、例外ステートメントに対するユーザ・アクセスが、セルに関 係したユーザの識別に応答して提供される。

使用される構造化表現の形式に関係な（、前述の一貫性検査は、一般に、少なく とも１つの新しい／修正されたステートメントを作成するためのユーザ入力に続 （、ユーザの要求に基づいて実施される。都合の良いことに、一貫性検査によっ て、解決できない矛盾が存在することを確認すると、この矛盾、及び／又は矛盾 するステートメントの識別に関する視覚表示が、ユーザに対して表示される。

解決できない矛盾が存在する場合、ユーザは、選択されたステートメントを、そ れと矛盾する他の任意のステートメントに優先するものとして指定することによ って、矛盾の解消に介入できることが望ましい。

一貫性のあるマシン制御ステートメント集合が導き出された時、これらは、単一 化され、平坦化された、決定機能を表すツリー構造に変換されるのが望ましく、 このツリー構造を利用して、決定プロセスが実行される。

本発明の別の態様によれば、所定の条件因子の集合における特定値の組み合わせ と、対応する結果値集合における特定の結果値を関連付ける決定機能がマシン制 御ステートメント集合のまとまりで構成され、それぞれ、個々のマシン制御ステ ートメントが、１つ、又は複数の条件因子の値の組み合わせ（ここではＣＦＶＣ とする）と、ある結果値を関連付けるようなマシン制御ステートメント集合を、 容易に生成する装置が提供され、この装置が、−前記マシン制御ステートメント を記憶する手段と、−ＣＦＶＣ集合と、対応する結果値との間の視覚的関連によ って表される前記既存マシン制御ステートメントの構造化表現をユーザに対して 表示するための表示装置と、 一部しいマシン制御ステートメントの作成、及び／又は少なくとも１つの既存の マシン制御ステートメントに対する修正に関するユーザ入力を受信し、それによ って新しい前記マシン制御ステートメント集合と、新しい、及び／又は修正され た、構造化表現によって表される１１：１記ステートメントを生成するための入 力手段と、−新しい前記マシン制御ステートメント集合に対する一貫性の検査を 行うための、一貫性検査手段が、 （ａ）全てが同じ結果値を指定することのない複数の前記ステートメントに共通 した、少なくとも１つのＣＦＶＣからなるあらゆるグループを識別することによ って、ステートメント間の矛盾を識別する手段と、 （ｂ）対応する前記ＣＦＶＣグループが、複数の、より一般的な任意のステート メントに現れる前記ステートメント（ここでは例外ステートメントと称する）に よって包含される全てのＣＦＶＣの集合に等しいかどうかを判定することによっ て、より特定されたステートメントが、より一般的なステートメントに対して優 先されるとする根拠に従い、こうした矛盾が解決可能かどうかを判定し、例外ス テートメントが他のどのステートメントに対しても優先される前記複数のステー トメントとは別の、任意の前記ステートメントに関連付けられている前記例外ス テートメントによって、前記矛盾を解決可能かどうかを判定する手段と、 （ｃ）解決できない矛盾が存在する新しい前記ステートメント集合の受け入れを 禁止する手段から構成される。

鳳皿虫１里久鳳旦 マシン制御ステートメントの生成を容易にする、本発明による方法、及び本発明 を具体化する装置が、添付図面を参照し、実施例を用いてここで説明される。又 、実施例は説明のだめのものであって、これによって発明の範囲が限定されるも のではない。

図１は、本発明が実施可能な、クライアント／サーバ・コンピユー図２は、マシ ン制御ステートメント集合を示す図であり、マシン制御ステートメント集合は、 まとまって決定機能を構成する。

図３は、決定機能の２つのそれぞれのマシン制御ステートメントに対応するドメ イン領域を示す、決定機能に関するドメイン図である。

図４は、マシン制御ステートメントの１つに対応するドメイン領域が、他のステ ートメントに対応するドメイン領域内に完全に含まれる場合の、図３と同様のド メイン図である。

図５は、２つのマシン制御ステートメントに対応するドメイン領域が、互いに重 複する場合の、図３と同様のドメイン図である。

図６は、決定機能のマシン制御ステートメントを表すだめの第１の表フす一マッ トをプロトタイプ形式で示す図である。

図７は、決定機能例の構成要素であるマシン制御ステートメントを図６の表フォ ーマットで表した図である。

図８は、決定機能のマシン制御ステートメントを表すための第２の表フォーマッ トをプロトタイプ形式で示す図である。

図９は、図７に示されているものと同じ決定機能例の構成要素であるマシン制御 ステートメントを図８の表フォーマットで表した図である。

図１ＯＡは、まとまって決定機能を構成するマシン制御ステートメント集合の作 成／修正のだめの決定編集プロセスのフローチャートである。

図１０Ｂは、アプリケーション・プログラムの決定実行ステップを示すフローチ ャートである。

図１１は、図１ＯＡの決定編集プロセスの一貫性検査手順に含まれる主ステツプ を示す図である。

ｒ；４１２Ａは、別の決定機能例の構成要素であるマシン制御ステートメントを 図６の表フォーマットで示す図である。

図１２Ｂは、図１２八に示す決定機能のマシン制御ステートメントに対応するド メイン領域を示すドメイン図である。

図１２Ｃは、図１２Ａのマシン制御ステートメントに関する包含グラフである。

図１２Ｄは、図１１の一貫性検査手順の間、ユーザに利用可能となるヘルプ注釈 の表示を示す図である。

図１３Ａは、図１２Ａと同様であるが、図１１の一貫性検査実行の後に追加され た追加マシン制御ステートメントを有する。

図１３Ｂは、図１３＾に示すマシン制御ステートメントのドメイン図である。

図１３Ｃは、図１３Ａのマシン制御ステートメントの包含グラフである。

図１４は、図１１の一貫性検査手順の一部として実行される問題分割操作を示す 表である。

日　施　るための　良態 添付図面の図１には、本発明を実施することが可能な典型的コンピユーテイング 環境が示されており、この環境はクライアント１０（例えば、ＰＣ）が適当な通 信リンクを介してサーバ１１と通信を行う、クライアント／サーバ環境である。

サーバ１１は自律的に、又はクライアントｌＯによって入力されるコマンドに基 づいて、アプリケーション・プログラム１２を実行し、アプリケーション・プロ グラム１２の実行中に、アプリケーション・データベース１３に記憶されたデー タの参照が行われる。図示されたアプリケーション・プログラム１２の処理操作 の一部として、決定条件因子の数の値に基づいた決定を実行する必要がある。当 該構成において、この決定タスク１４が、決定記憶域１５に記憶された決定機能 （例えば、平坦化された決定ツリーの形をとる）を参照することによって実行さ れる。

アプリケーション・プログラム１２本体から決定機能を分離することによって、 決定機能の作成、及び編集が容易になるが、その場合、この決定機能の作成、及 び編集は、クライアント１０からのコマンドによる決定編集プロセス１６によっ て実行される。本発明は、コンピュータの専門家より、むしろエンド・ユーザに よる決定機能の作成、及び編集を容易にする、決定編集プロセス１６の一形態を 提供することに関連する。もちろん、決定編集プロセス１６が、図１に示すクラ イアント／サーバ環境以外の環境においても実行可能であることは明らかである 。

本発明は、所定の条件因子の集合の特定の値の組み合わせと、前記集合に対する 結果値集合の対応する特定の結果値を関連付ける決定機能に関するものである。

図２に示すように、こうした決定機能を、条件因子の値の１つ、又は複数の組み 合わせ（ここでは、条件因子の値の組み合わせ、即ちＣＦＶＣ）の集合と、特定 の結果値をそれぞれ関連付ける、マシン制御ステートメントの集合の形で表すこ とができる。従って、ｎ個の条件因子ＣＦＩ〜ＣＦ口から成る集合に関して、第 １のマシン制御ステートメント１７は、条件因子ＣＦＩ〜ＣＦｎに関する値から 成る第１の組み合わせと第１の結果値（図２の結果値１）を関連付けることが可 能であり、第２のマシン制御ステートメントは、条件因子の値から成る別の組み 合わせと第２の結果値を関連付けることが可能であり等々、同様にに個のマシン 制御ステートメントについて可能である。

図３〜５には、２つのマシン制御ステートメントＭＣ５−１とＭＣ５−２との関 係が、グラフの形で示されている。図３〜５において、各ステートメントｌＩＣ ３−１、ＭＣ３−２は、特定の決定機能に関連した全ての条件因子の値から成る 、使用可能な全ての組み合わせを表す全体ドメイン２０内におけるそれぞれの領 域１８．１９によって表される。マシン制御ステートメントＭＣ３−１，及びＭ Ｃ３−２のそれぞれは、３つの条件因数ＣＦＩ、　ＣＦ２、及びＣＦ３の値と、 対応する結果値を関連付ける。

図３で、マシン制御ステートメントＭＣ５−１に関して、第１の条件因子ＣＦＩ は値がａｌであり、第２の条件因子ＣＦ２は値がｂｌであり、第３の条件因子Ｃ Ｆ３はその取りうる値の集合のうちの任意の値を持つが、条件因子ＣＦ３は２つ 以上の値を取りうるという事実によって、第１のマシン制御ステートメントＭＣ ３−１は、複数の条件因子の値の組み合わせ（ＣＦＶＣ）と該ステートメントに 関して指定された結果値（ここでは結果値０１）を関連付けるものとみなすこと ができる。第２のマシン制御ステートメントＭＣ３−２において、第１の条件因 子ＣＦＩは値がａｌであり、第２の条件因子ＣＦ２は値がｂ２〜ｂ４の範囲であ り、第３の条件因子ＣＦ３はｃｌ以外の任意の値（このことは、図３において、 Ｃ１を除く全ての値を取ることを示すように、Ｃ１を括弧で括ることによって示 されている。）を取る。更に、このマシン制御ステートメントＭＣ５−２は複数 のＣＦＶＣと特定の結果値（この場合は、結果値０２）を関連付けるものとみな すことができる。マシン制御ステートメントＭＣ５−１、及びＭＣ３−２のＣＦ ＶＣ集合は、両方のステートメントに共通したＣＦＶＣが存在しないような集合 であり、このことは、図３において、２つのステートメントを表す重複のない領 域１８と１９として視覚的に明らかに示されている。

図４では、第１のマシン制御ステートメントＭＣ３−１は、図３の対応するステ ートメントと同じである。しかし、図４の第２のマシン制御ステートメントＭＣ ３−２は、第２の条件因子ＣＦ２に関連した値がｂｌに修正されている。結果と して、第２のマシン制御ステートメントＭＣ５−２によって包含されるＣＦＶＣ 集合が、ここでは第１のマシン制御ステートメントＭＣ３−１のＣＦ〜Ｃ集合に よって完全に包含されることになり、このことが、図４において、領域１９が領 域１８内に含まれることによって示されている。２つのマシン制御ステートメン トＭＣ３−１、及びＭＣ８−２が、異なる結果値を指定しているので、２つのス テートメントの間には明らかに矛盾が存在する。より限定されたステートメント 、即ちマシン制御ステートメントＭＣ３−２がその限定された範囲内の所望の結 果値を正確に指定するものと仮定すると、２つのステートメントの間における明 らかな矛盾を解決可能な１つの方法は、第１のマシン制御ステートメントＭＣ５ −１を書き直して、そこからマシン制御ステートメントＭＣ３−２に対応するＣ ＦＶＣ集合を取り除くことであり、この場合、マシン制御ステートメントｌＩＣ ５−１の条件因子ＣＦ３によって包含される値を値ｃｌに限定する必要がある。

しかし、ｌ１ｉｉ１′４のステートメントＭＣ５−１とＭＣ３−２の間の明らか な矛盾を調べる、より直観的な方法は、ＭＣ５−２を第１のステートメントｌ１ ＣＳ−１に関する例外を表すものとみなし、ＭＣ５−２のような例外ステートメ ントが、それと矛盾する１つ、又は複数のステートメントに対して優先するヒユ ーリスティックを操作することである。全てが同じ結果値を指定することのない 複数のマシン制御ステートメントに共通した、少なくとも１つのＣＦＶＣのグル ープが存在し、このグループが複数のステートメントのうちの１つによって包含 される、ＣＦＶＣの集合の全てと等しいものと確認されうる場合に、本発明にお いて、この直観的ヒユーリスティックが使用され、この１つのステートメントが 例外ステートメントであるとみなされ、その後、他のステートメントに対して優 先されるように他のステートメントに関連付けされる。

図５では、第１のマシン制御ステートメントＭＣ３−１は、やはり、図３の対応 するステートメントから変更されていない。但し、この場合、第２のマシン制御 ステートメントにＣ３−２の第２の条件因子ＣＦ２には値ｂｌ−ｂ５が割り当て られている。この結果、２つのマシン制御ステートメントによって包含されるＣ ＦＶＣ集合の間には、今回、重複が存在することになり、この重複は図５の領域 １８、及び１９の重複によって示されている。どちらのステートメントも他のス テートメントによってカバーされる、より大きなフィールド内の限定された例外 を提供することができないので、図４に関して上述した例外ヒユーリスティック では、もはやこの２つのマシン制御ステートメント間の矛盾を解決することがで きない。従って、訂正処理が必要であり、これには３つの案が存在する。第１案 では、重複を回避するために、一方、又は両方のステートメントを修正すること が可能である。第２案では、ステートメントの一方を、他方に対して優先するも のとして選択することが可能である。第３案では、第１、及び第２のマシン制御 ステートメントとの間の重複領域と正確に一致する領域を指定する、追加の１つ 、又は複数のステートメントを定義することが可能であり、この新しい１つ、又 は複数のステートメントが上述の例外ヒユーリスティックを適用し得る、第１、 及び第２のマシン制御ステートメントの両方に関する例外ステートメントとして の働きをする。

図６には決定機能を構成するマシン制御ステートメントを表すだめの第１の表フ ォーマットが示されている。図６の表フォーマットには、決定機能に含まれる条 件因子ＣＦＩ−ＣＦｎのそれぞれ１つの値をそれぞれ含む複数の列２３があり、 更に１つ、又は複数の列２３が結果値を指定するために使用される。表の複数の 行２４は、それぞれのマシン制御ステートメントを指定するために使用されてお り、これらのステートメントの名前は、表の左側に記されている。各行２４、及 び列２３が交差する部分に、行２４に関連付けられたマシン制御ステートメント に関連する列２３に関連付けられた条件因子の値、又は結果値を含んだ、対応す るセル２５が設けられている。従って、条件因子の値、及び特定のマシン制御ス テートメントに関連付けられた結果値は、表の対応する行を横方向に読むことに よって、読み取ることができる。

図７には、図６の表フォーマットで表された決定例が示されている。この決定機 能は、様々な販売チャネル（「顧客タイプ」条件因子、及び「顧客」条件因子に よって指定される）を通じて販売される、ある範囲の様々な製品（「製品ライン 」条件因子、及び「製品番号」条件因子）に適用するディスカウント率の値に関 するものである。顧客タイプ、顧客、製品ライン、及び製品番号条件因子の値は 、それぞれ表の列３０．３１．３２、及び３３によって与えられ、適用可能なデ ィスカウント率の値は表の列３４によって与えられる。それぞれの行３５〜４１ には、それぞれ７つの異なるマシン制御ステートメントが示されている。行３５ には「転売業者」と名付けられた第１のステートメントが示されており、顧客タ イプの値が「卸売り業者」、又はｒＯＥＭＪであるその行ではＤＩ％のディスカ ウント率が指定されており、これは、顧客、製品ライン、又は製品番号条件因子 に関係なく当てはまる。行３６にはｒＯＥＭ／プロッタ」と名付けられた第２の 規則マシン制御ステートメントが示され、ＯＥＭに販売されるプロッタに関連し た、転売業者ステートメントに対する例外を指定しており、これらの条件因子の 値は、それぞれ、製品ライン、及び顧客タイプに指定されている。転売業者規則 の範囲内に完全に含まれていることが明らかな、この場合には、第１、及び第２ のステートメント間における明らかな矛盾にもかかわらず、Ｄ２％のディスカウ ント率を適用することになる。第２のステートメントは、それが第１のステート メントに対する例外であり、ユーザにとって、そうであることが直観的に理解で きるので使用可能である。

行３７には、ｒＯＥＭ／ＰＩＪと名付けられた第３のステートメントが示されて おり、特定のプロッタＰ１がＯＥＭに販売されると、関連付けられたディスカウ ント率をＤ６％にするように指定されているので、第３のステートメント自体が 第２のステートメントに対する例外である。更に、このステートメントは例外ヒ ユーリスティックの根拠に基づいて受け入れられる。同様のことがｒ　ＸＹＺ／ 特別」と名付けられた第４のステートメントにも当てはまり、行３８に示されて いるが、それは、プロッタＰ２がＯＥＭチャネルを介して顧客のＸ７２社に販売 される場合、Ｄ７％のディスカウント率を受け取るように指定されており、この 第４のステートメントは、第２のステートメントＯＥＭ／プロッタに対する例外 である。

行３９．４０、及び４１に示される第５、第６、及び第７のマシン制御ステート メントは全て、卸売り業者以外、及びＯＥＭ以外の販売チャネルに関するもので あり、それぞれの製品ライン（それぞれ、プロッタ、ディスク、及びコンピュー タ）を取り扱う。従ってこれらのステートメントは、互いに、あるいは図７の表 の他のステートメントと矛盾することはなく、それ故使用可能である。

図８には、決定機能を構成するマシン制御ステートメントを表すだめの第２の表 フォーマットが示されている。実際、２つの条件因子だけしかない場合を除けば 、図８の表は、以下の説明で明らかになるように、決定機能の部分的な表現のみ から構成されている。ｎ個の条件因子が存在する一般的な場合に関して、こうし た条件因子のうち少な（とも２つは一次条件因子として扱われ、１つ、又は複数 の追加条件因子は二次条件因子として扱われる。そして図８の形態の表は、対を なす一次条件因子の値の組み合わせに関する結果値を指定するために使用される 、特に、図８において、−次条件因子ＣＦ−１の値夏は表のそれぞれの列４３に 示され、一方、第２の一次条件因子ＣＦ−２の値ｊは表のそれぞれの行４４に示 されており、各行、及び列の交差部分に位置するセル４５を、関連する行、及び 列で表される条件因子の値の組み合わせに対応する結果値を指定するために使用 できる。従って、値の入った各セル４５は、対応するマシン制御ステートメント を表している。特定の表に表されている一次条件因子に追加される、他の一次条 件因子が存在する場合、これらの他の一次条件因子は、関係する表に関して特定 の値を備えることになる。実際、それぞれ、対をなす一次条件因子を表した図８ のフォーマットの複数の表が設けられているのが普通であり、表に表されていな い一次条件因子のそれぞれについて特定の値を有している。このような６表は、 −次条件因子の使用可能な全てのＣＦＶＣのそれぞれの部分集合を表しているも のとみなすことができ、この部分集合は、互いに重複する２つの部分集合が存在 しないようなものである。結果として、表の任意のセル４５に作成される結果値 は、−次条件因子に関する唯一のＣＦＶＣに関連付けられており、従って、表セ ル４５において指定された他のいずれの結果値とも矛盾することはない。

しかし、表セル４５に指定された結果値は、１つ、又は複数の２次条件因子の値 の特定の組み合わせによって限定することができる。

この場合、こうした限定の存在は、関連セルに（又は、他の適当な方法で）表示 され、ユーザに対して二次条件因子に関する例外の存在について注意を促す。こ れらの例外は、任意の適当な方法で表示可能である（例えば、二次条件因子の特 定の組み合わせから生じる例外は、図６のフォーマットの表に表示することがで きる）。

図９には、図６の表のフォーマットに関して図７に示されたのと同じ決定例が、 図８の表のフォーマットで示されている。図９では、製品ライン条件因子、及び 顧客タイプ条件因子は、−次条件因子として選択され、図９のフォーマットの表 ６０に示されている。より詳しくは、プロッタ、ディスク、及びコンピュータの 製品ライン条件因子の値は、列４６．４７、及び４８に示されており、一方、卸 売り業者、ＯＥＭ、及びその他の顧客タイプ条件因子の値は、行４９．５０、及 び５１に示されている。表６０から明らかなように、顧客タイプの値が卸売り業 者の場合、適用可能なディスカウント率は、製品ラインに関係なく０１％である 。顧客タイプがＯＥＭの場合、適用可能なディスカウント率は、製品ラインの値 がディスク、及びコンピュータであるものに関して、０１％、製品ラインの値が プロッタであるものに関して、９２％であり、顧客タイプがその他である場合、 適用可能なディスカウント率は、プロッタに関してＤ３％、ディスクに関してＤ ４％、コンピュータに関してＤ５％である。実際、ＯＥＭチャネルによって供給 されるプロッタに適用可能なディスカウント率は、あらゆる場合において９２％ ではな（、表示されたディスカウント率に対する例外の存在が斜体文字で（もち ろん、強調、フラッシュ、下線等のような他の視覚的表示も可能である）ディス カウント率の値Ｄ２％を示すことによって、図６０の対応するセル５７に表示さ れている。

顧客タイプ　ＯＥＭ、製品ライン・プロッタに関して表６０に示されたディスカ ウント率の値Ｄ２％に対する例外が、図９の表６１に示されている。表６１は、 二次条件因子の製品番号、及び顧客に関連した図６のフォーマットの表である。

表６１では、行５５、及び５６に（特定の名１１１ｊは備えていないが）２つの 二次マシン制御ステートメントが示され、列５２、及び５３に、製品番号、及び 顧客条件因子が示され、列５４に、結果値としてのディスカウント率が示されて いる。表から分かるように、行５５に示された二次ステートメントは、製品番号 Ｐ１をディスカウント率の値Ｄ６％に関連付け、一方、行５６に示される二次ス テートメントは、製品番号Ｐ２、及び顧客ｘＹＺ社をディスカウント率の値Ｄ７ ％に関連付けるが、両方の二次ステートメントとも、表６０のセル５７によって 示されたマシン制御ステートメントに対する例外である。

図６、及び図８の表フォーマットの両方に関する図７、及び９に示す例から明ら かなように、コンピュータ専門家でない者が簡単に理解できる、他のステートメ ントに対する例外を形成する、マシン制御ステートメントの明確な表現が存在す る。

図１の決定編集プロセス１６は、図１ＯＡに示す４つの主ステツプ６５〜６８か ら構成される。特に、第１ステツプにおいて、特定の決定機能を実施するマシン 制御ステートメント集合はユーザによって作成、及び／又は修正が行われる（ス テップ６５）。次に、プロセス１６が一貫性検査を実施して（ステップ６６）マ シン制御ステートメントが互いに一貫性を有していることを確認するが、この一 貫性検査の実施時に、上述の例外ヒユーリスティックが適用され、例外ステート メントが存在できるようにする。この一貫性検査にパスすると（ステップ６７） 、決定編集プロセス１６が続行され、決定タスク１４の実行時にアプリケーショ ン・プログラム２３で使用するために決定記憶域１５に記憶される、平坦化され た決定ツリー（ステップ６８）が作成される。一貫性検査が失敗に終わると（ス テップ６７）、編集プロセスはステップ６５に戻る。

マシン制御ステートメント集合の作成／修正を行うステップ６５は、ユーザに対 して図６、又は図８のいずれかの形態の表フォーマットでマシン制御ステートメ ントを表現すること（例えば、ＰＣクライアント１０の表示装置を用いて）を含 む。例えば、マシン制御ステートメントが、図６のフォーマットの表で示される 場合、こうした表は、事前に指定されたリストから条件因子を選択することによ って、追加／′削除が行われ（これによって、表の列数が増加／減少する）、新 しいステートメント名を指定するか、又は既存のステートメントを選択すること によって追加／削除が行われる（これによって、表の行数が増加／減少する）。

更に、最初に適当なセルを選択し、次に、所望の値を入力する（又は、事前に指 定された値のリストから所望の値を選択する）ことによって、条件因子の値、及 び結果値が入力され、変更される。

ユーザと表示された表とのインタフェイスは、周知のスプレッドシートの技法と 類似した方法で実施可能であり、ユーザが、グラフィック環境でマウスを用いて 項目の選択、及び位置決めを行うことができるようにするのが望ましい。行、及 び列の値を関連付けるのに適した技法は、スプレッドシートの技法において周知 であり、従って、ここで特に説明を行わない。どんな実施技法が用いられるにせ よ、表の作成／編集プロセスの終了時に、決定編集プロセス１６を実行するコン ピュータ内に保持される内部表現形式で、指定の条件因子の特定の値が特定の結 果値に関連付けられる、それぞれのマシン制御ステートメントに対応する関連の 集合が存在する。しかし、この時点で、全てのステートメントが互いに一貫性を 有しているかどうか、又は１つ、あるいは複数のステートメントが、他のステー トメントに対する例外を構成するかどうかは分からない。

表の作成／編集が終了すると、ユーザは決定編集プロセス１６を要求し、一貫性 検査を実施する（図１ＯＡのステップ６６）。図１１には、この一貫性検査の実 施に必要な手順が示されており、これを図１２、及び図１３に記載の決定機能例 を参照して解説する。より詳しくは、図１２Ａには、表８０のそれぞれの行８４ ．８５．８６、及び８７に示された転売、内部、ストック、及びデモと名付けら れた４つのマシン制御ステートメントから構成される決定機能が、図６の表フォ ーマットで示されている。これらのマシン制御ステートメントは、列８１、及び ８２に関連する２つの条件因子、注文タイプ、及びＩＤコードに関して定義され ており、各ステートメントの結果値は、列８３に示されたディスカウント率の値 である。図１２Ｂは、図１２Ａの４つのマシン制御ステートメントのグラフィッ ク表現であり、これらのステートメント、転売、内部、ストック、及びデモが、 決定の全体ドメイン９０内の各領域９１．９２．９３、及び９４によって表現さ れている。内部ステートメントに関連した領域９２とストック・ステートメント に関連した領域９３との重複によって明らかなように、内部ステートメントとス トック・ステートメントの間には矛盾が存在する。

図１１における一貫性検査手順の第１ステツプは、検討中の決定機能のマシン制 御ステートメントに関する内部表現を互いにリンクさせる包含グラフを作成する ことである。包含グラフは、ステートメントＢに関連したドメイン領域が、ステ ートメントＡに関連したドメイン領域の部分集合であり、ステートメントＢの領 域を含み、ステートメントＡの領域に含まれる、別のステートメントＣに関連し たドメイン領域が存在しない場合に限って、各ステートメントを、ステートメン トＡに関連したノードＡからステートメントＢに関連したノードＢに方向付けさ れた辺を有する、グラフ内のノードとして取り扱うものである。

図１２Ｃには、図１２Ａ１及び１２Ｂに示す決定機能の４つのマシン制御ステー トメントに関して導き出された包含グラフが示されている。

図１２Ｃでは、グラフは全体ドメインに対応する根ノード９５から始まる。図１ ２Ｃのグラフは更に、４つのマシン制御ステートメント、即ち、転売、内部、ス トック、及びデモに関連したそれぞれのノード９６．９７．９８、及び９９を含 む。方向付けられた辺をグラフに含める時の前述の規則を適用することによって 、ノード９６．９７．９８、及び９９のそれぞれが、それぞれの根ノード９５に 対して方向付けされた辺によって接続される場合、即ち、ノード９６．９７．９ ８、及び９９が、他のどのノード９６〜９９とも従属していない場合に、図１２ Ｃに示すグラフの形式が導き出される。

包含グラフの作成プロセスは、各マシン制御ステートメントを単純に１つずつ順 次選択し、他の全てのマシン制御ステートメントに関連するそのＣＦＶＣを検査 して、第１のステートメントが、任意の第２のステートメントの適当な部分集合 となるかを判定し、適当な部分集合となる場合は、第１のステートメントが同様 に部分集合となる第３のステートメントの有無を判定する。このプロセスによっ て、第１のステートメントが、第２のステートメントの部分集合であることが分 かれば、第１のステートメントが部分集合であり、それ自体が第２のステートメ ントの部分集合であるような第３のステートメントが見つからない限り、２つの ステートメント間において方向付けられた辺を示した表示が、適当に示されるこ とになる（一般に、第２のステートメントと関連付けて）。この方法で各マシン 制御ステートメント毎の系統的な検査を行うと、包含グラフの内部表現が作成さ れる。包含グラフを作成するためのアルゴリズムの実施については、当該技術の 熟練者には容易に明らかになろう。

包含グラフが作成されると、一貫性検査手順はステップ７５に進み、矛盾（基本 的問題）が識別される。ステップ７５のプロセスには、作成された包含グラフに おいて対をなす各同胞ステートメント（２つのステートメントが、包含グラフに おいて共通の親を有している場合、それらは同胞ステートメントである）を検査 することが含まれる。対をなす各同胞ステートメントＡ、　Ｂに関して、■がそ のステートメントに関連付けられたドメイン領域の交差部分（即ち、ｌが重複領 域）であり、Ｄが、検討中の対をなす同胞ステートメントにおいて両方のステー トメントの子孫になるステートメント集合であり、Ｕが集合りと関連付けられた 全ての領域の合併集合である場合、（１−Ｕ）が空集合でなければ、結果のドメ イン領域は矛盾領域を表しており、問題集合Ｐに加えられる。

図１２の例にステップ７５のプロセスを適用すると、対をなす各ステートメント 、即ち、転売、内部、ストック、及びデモ（これらのステートメントは、全て、 図１２Ｃの包含グラフに関して同胞である）が順次検討され、検討中の対をなす ステートメントに関して対応するドメイン領域の全ての交差部分が、共通の子孫 の集合りにおける全領域の合併集合として導き出される。実際、図１２の例では 、集合りは全ての対に関して空集合であり、■は対をなす内部、及びストック・ ステートメント（即ち、図１２Ｂで重複する領域９２、及び９３におけるステー トメント）に関してのみ非ゼロとなる。前述の、この対をなすステートメントに 関して、（１−Ｕ）が空集合でなく、■に等しいので、これは、図１２Ｂの領域 ９２、及び９３の重複領域に対応する。内部、及びストック・ステートメントの 領域におけるこの交差部分工は、問題集合Ｐに加えられるが、実際は、その集合 の唯一のメンバである。

図１１の一貫性検査手順のステップ７５において、基本的問題が見つかれば、例 えば、図１２Ｄに示すように、アイコンからのアームが矛盾ステートメントを指 すような「？」アイコン１００を表示することによって、１つ、又は複数の問題 の存在がユーザに知らされる。この時点で、ユーザは、任意の方法でマシン制御 ステートメント集合に修正を施すために、図１ＯＡの決定編集プロセスの編集ス テップ６５に戻り、識別された１つ、又は複数の矛盾を解決するよう選択できる 。代替案として、ユーザが一貫性検査手順に対して、問題の識別に関して更に援 助し、可能性のある解決策を示唆するように要求することが可能であり、これは 、図１１のプロセスのステップ７６．７７、及び７８において実施される。ステ ップ７６〜７８については、更に詳細に後述するが、現段階では、それらが、問 題に対応する新しい例外ステートメントを提示することによって、問題を解決し ようとするものであることを述べておけば十分である。

従って、図１２の例において、ステップ７６〜７８を適用すると、図１２Ｂの領 域９２、及び９３（即ち、値が１１の条件因子である注文タイプ、及び値が９３ の条件因子であるＩＤコードに対応する領域）の重複部分と一致する例外ステー トメントとして、新しいマシン制御ステートメント１０１が提示される。図１２ Ｄに示すように、矛盾する内部、及びストック・ステートメントから新しいステ ートメント１０１の領域の導出は、アーム１０２によってグラフィック表示され うる。提示される新しいステートメント１０１は、例外ステートメントの形をと るが、その結果値（ディスカウント率の値）は、ステートメントの完了前に、ユ ーザが指定しなければならない。

図１３Ａには、新しい規則（表の行１０３においてストック−９３と名付けられ た）が追加された後の表８０が示されている。図１３Ｂには、この新しいストッ ク−９３・ステートメントに対応する領域１０４が示されているが、見て分かる ように、この領域１０４は、内部、及びストック・ステートメントの領域９２、 及び９３の重複領域に一致する。

図１１の一貫性検査手順が繰り返されると、結果の包含グラフは、ストック−９ ３・ステートメントに対応するノード１０５が内部、及びストック・ステートメ ントに関連付けられたノード９７、及び９８に従属している、図１３Ｃに示す形 態をとる。一貫性検査手順のステップ７５において、対をなす同胞の内部、及び ストック・ステートメントの検討を行う今回の場合、検討中の対をなす同胞ステ ートメントの子孫であるステートメント集合りには、ストック−９３・ステート メントが含まれており、Ｄの全領域の合併集合が、ストック−９３・ステートメ ントの領域に対応する。結果として、ストック−９３・ステートメントの領域は 、内部、及びストック・ステートメントの領域の交差部分Ｉと同じであるため、 もちろん（１−Ｕ）は空集合になる。

従って、表８０に表示のステートメント集合は、一貫性があるものとして検査を パスする。

次に、図１１の一貫性検査手順のステップ７６〜７８の検討に戻ると、前述のよ うに、これらのステップの一般的な効果は、識別された問題領域に対応する新し い例外ステートメントを提示することであり、全体に一貫性のあるステートメン ト集合が得られる。図１２、及び１３に関連して上述した例は、他のステートメ ントとの一貫性があり、対応する新しい例外ステートメントに直接変換可能な初 期問題が１つだけしかない、最も単純な事例に関するものである。この単純なケ ースが、図１４の例Ａによって示されている。

例Ａで、２つの初期マシン制御ステートメント＾１１＾２は互いに重複しく列Ｉ に示すように）、列ＩＩに示す形式の関連付は包含グラフ（図１１のステップ７ ４において形成される）を備えており、ステートメントＡｔとＡ２の重複領域が 図１１のステップ７５において識別され、列ＩＩＩにグラフィック表示された問 題ＰＡ（１，２）を構成する。この問題ＰＡ（１，２）は、直接、新しい例外ス テートメントＸＰＡ（１，２）として提示することができ（図１１のステップ７ ８）、列Ｖに示すように、改訂された包含グラフが得られる。

しかし、多くの場合、最初に識別された問題が、新しい例外ステートメントとし て直接提示されると、新しい矛盾、及び問題を生じるので、そうすることはでき ない。図１１のステップ７６、及び７７は、提示された新しい例外ステートメン トの対応する集合の根拠として直接使用可能な、問題集合を生成するように、最 初に識別された問題を分割する働きをする。

ステップ７６は、例外ステートメントとして識別された問題が直接提示されると 、包含グラフにおいて同胞ステートメントとなるべき既存のステートメントとの 矛盾が生じることになる、図１４の例Ｂｉこよって示されるタイプのケースに関 するものである。例Ｂで１よ、３つの初期マシン制御ステートメントＢ１、Ｂ２ 、及びＢ３が存在し、最後のステートメントはＢ２に対する例外であり、従って 、包含グラフ（二おいて８２の子となる（列Ｉ、及びＨ参照）。図１１のステ・ ノブ７５で１よ、ステートメントＢ１、及びＢ２の重複の結果生じる単一の問題 ＰＢ（１，２）が識別される。この問題ＰＢ（１，２）が、新しい例外ステート メントとして直接提示されると、今度は、提案された新しい例外ステートメント と既存の例外ステートメントＢ３によって構成されるその同胞ステートメントと の間に、新しい矛盾が生じることになる。このケースを扱うため、図１１のステ ・ノブ７６では、まず、各問題と同胞となる可能性のあるステートメント（即ち 、グラフに対するステートメントとして問題が加えられることになる場合の包含 グラフ内の同胞）との間のこうした矛盾の可能性を識別し、次に、矛盾の識ＭＩ Ｊされたゾーンに基づいて、その問題を適当に分割することによって矛盾を解決 する。例Ｂの場合、この解決は問題ＰＢ（１，２）を２つの部分、即ち、問題Ｐ Ｂ（１，２）ａ、及びＰＢ（１，２）ｂに分割することである力く（タリＩＶ参 照）、問題ＰＢ（１，２）ｂは、もとの問題ＰＢ（１，２）と同胞ステートメン トの可能性のあるＢ３との間の重複領域に対応する。ここで、問題ＦＢ（１゜２ ）ａ、及びＰＢ（１，２）ｂに対応する例外ステートメントＸＰＢ（１，２）ａ 、及びＸＰＢ（１，２）ｂが提示された場合、ＸＰＢ（１，２）ｂは、もちろん 、ステートメントＢ３に対する有効な例外を形成するので、新しい、又は未解決 の矛盾は存在しない。対応する包含グラフが、列Ｖに示されている。

ステップ７７は、新しい例外ステートメントとして識別された問題が直接提示さ れると、提示されたこれらの新しいステートメント間に矛盾を生じるような、図 １４の例Ｃによって示されるタイプのケースに関するものである。例Ｃでは、互 いに重複する３つの初期マシン制御ステートメントＣＩ、Ｃ２、及びＣ３が存在 するが、これらは、包含グラフにおいて同胞ステートメントである（列１１及び ＩＩ参照）。

図１１のステップ７５では、それぞれ、ステートメントＣＩと０２、Ｃ２とＣ３ 、及びＣ１とＣ３の重複によって生じる３つの問題ＰＣ（１，２）、ＰＣ（２， ３）、及びＰＣ（１，３）が識別される。これらの問題を新しいステートメント として直接提示すると、今度は、提示された新しいステートメント自身の間に、 新しい矛盾を生じることになる。このケースを処理するため、図１１のステップ ７７では、初めから識別されている問題を未検査問題集合に含め、次に、この集 合から各問題を順次取り出して、この集合の残りの問題との重複を検査する。検 討中のある特定の問題に関して、重複が見つからなければ、その問題は、検査済 みプログラム集合に移され、未検査問題集合に含まれることはない。しかし、未 検査問題集合に残っている問題との重複が識別されると、検討中の問題は、重複 の識別されたゾーンに基づいて、新しい問題に分割され、これらの新しい問題が 未検査問題集合に含められる（同一の問題が既に存在しない限り）。やがて、未 検査問題集合が空集合になり、検査済み問題集合には、矛盾のない例外ステート メントに関する根拠として利用可能な、重複のない問題が含まれることになる。

例Ｃでは、ステップ７７の結果、列Ｉ■に示すように、３つの問題ＰＣ（１，２ ）、ＰＣ（２，３）、及びＰＣ（１，３）が、４つの新しい問題ＰＣ（１，２） ａ、　ＰＣ（２，３）ａ、　ＰＣ（１，３）ａ、及びＰＣ（１，２，３）ｂに分 割され、見て分かるように、これらの新しい問題は互いに重複していない。問題 ＰＣ（１，２）ａ、　ＰＣ（２゜３）ａ、　ＰＣ（１，３）ａ、及びＰＣ（１， ２，３）ｂに対応する例外ステートメントＸＰＣ（１，２）ａ、　ＸＰＣ（２， ３）ａ、　ＸＰＣ（１，３）ａ、及びＸＰＣ（１，２，３）ｂが提示され、列Ｖ には、対応する包含グラフが示されている。

次に、図１０Ａの検討に戻ると、検討中のマシン制御ステートメント集合が一貫 性検査手順にパスすると、決定編集プロセス１６は（自動的に、又はユーザの要 求によって）先に進み、平坦化決定ツリーの形で決定機能を作成する（図１ＯＡ のステップ６８）。こうしたツリーは、ノードによって表されたステートメント の対応する条件因子の値の集合の存在に関して各ノード毎に行われるテストを用 いて、対応する包含グラフを系統的に横断することによって形成することが可能 である。平坦化決定ツリーの導出については、当該技術の熟練者であれば容易に 明らかになろう。

決定タスク１４の実行と共にアプリケーション・プログラム１２を実行させてい る間に、決定機能を表現する平坦化決定ツリーが決定記憶域１５から呼び出され る。その後、図１０Ｂに示すように、適当な方法で（例えば、事実情報データ・ ベース１３へのアクセス、ユーザ照会、又はモニタ装置のようなアクセス可能な ハードウェアの参照によって）決定機能に関連した全ての条件因子の値が導き出 される。

次に、平坦化決定ツリーを葉ノードまで下降しくステップ７１）、そのノードの 結果値が示される。この結果値は、次に、決定機能に適した結果値として戻され る（ステップ７２）。

包含グラフの形式自体、及び結果として生じる決定ツリーによって、例外ステー トメントは、矛盾のある、より一般的なステートメントに対して、自動的に優先 される。これは、例外ステートメントが、例外の存在するステートメントに従属 しているためである（例えば、図１３ｃの包含グラフにおけるストック−９３・ ステートメント参照）。従って、平坦化決定ツリーが形成される場合、例外ステ ートメントは、それが例外となるステートメントに対応したレベルに一度達する と実行されるテストの形をとる。結果として、決定機能が実行された場合、より 一般的なステートメントに対する任意の例外ステートメントのテストが行われ、 テストにパスすれば、処理が続行される。しかし、他の実施例では、一貫性検査 手順が、例外ステートメントの存在を明示的に示し、この知識と、より一般的な 当該実施例におけるステートメントをリンクさせるために必要とされる。

もちろん、本発明の上述の実施例に対して多（の修正が可能である。例外ステー トメントを含むマシン制御ステートメント集合の生成は図６、及び８の表フォー マットとは異なるユーザ・インターフェイスによって実施することが可能である 。更に、図１１の一貫性検査手順によって、２つ以上のマシン制御ステートメン ト間における矛盾（問題）が識別された場合、ユーザには、ステートメントが例 外ステートメントでなくても、ステートメントの１つを、それと矛盾するステー トメントに対して優先されるものとして指定するオプションが与えられつる。

ＦＩＧ　３ ＦＩＧ　４ ６１″ 、　、、−ｍ−−ＰＣＴ／ＱＢ　９２１０１２５３フロントページの続き （７２）発明者　ウェルス、アンドリュー、デイヴイッドイギリス国ブリストル ・ビーニス１２・６キユーエフ、ストーク・ギッフオード、ハシプルツク・レイ ン・７３ （７２）発明者　マリオツド、ロイ、ステイーブンイギリス国ブリストル・ビー ニス９・１ピーエヌ、スネイド・パーク、グッドイヴ・ロード、工ヴアースリー 、フラット・２（７２）発明者　ブリクス、エイトリアン、アーノルドイギリス 国ブリストル・ビーニス７・８エスエヌ、ホーフィールド、ロスリング・ロード ・３１

Claims (14)

【特許請求の範囲】
1. １．所定の条件因子の集合における特定値の組み合わせと、対応する結果値集合 における特定の結果値を関連付ける決定機能がマシン制御ステートメント集合の まとまりで構成され、それぞれ、個々のマシン制御ステートメントが、１つ、又 は複数の条件因子の値の組み合わせ（ここではＣＦＶＣとする）と、前記結果値 を関連付けるようなマシン制御ステートメント集合を、容易に生成する方法が提 供され、前記方法が、 −ＣＦＶＣ集合と、対応する結果値との間の視覚的関連によって表されるマシン 制御ステートメントに関する構造化表現をユーザに対して表示するステップと、 −少なくとも１つの新しいマシン制御ステートメントの作成、及び／又は少なく とも１つの既存のマシン制御ステートメントに対する修正に関するユーザ入力を 受信し、それによって新しいマシン制御ステートメント集合と、新しい、及び／ 又は修正された、構造化表現によって表されるステートメントを生成するステッ プと、−新しいマシン制御ステートメント集合に対する一貫性の検査が、（ａ） 全てが同じ結果値を指定することのない複数の前記ステートメントに共通した、 少なくとも１つのＣＦＶＣからなるあらゆるグループを識別することによって、 ステートメント間の矛盾を識別するステップと、 （ｂ）対応する前記ＣＦＶＣグループが、前記複数の、より一般的な任意のステ ートメントに現れる前記ステートメント（ここでは例外ステートメントと称する ）によって包含される全てのＣＦＶＣの集合に等しいかどうかを判定することに よって、より特定されたステートメントが、より一般的なステートメントに対し て優先されるとする根拠に従い、こうした矛盾が解決可能かどうかを判定し、例 外ステートメントが他のどの前記ステートメントに対しても優先される前記複数 の前記ステートメントとは別の、任意のステートメントに関連付けられている前 記例外ステートメントによって、前記矛盾を解決可能かどうかを判定するステッ プと、 （ｃ）解決できない矛盾が存在する前記新しいステートメント集合の受け入れを 禁止するステップから構成される。
2. ２．前記構造化表現がセルを定義する各行、及び列の交差部分によって、複数の 行、及び列に配置された表であり、前記各行／列によって表内に表される前記各 マシン制御ステートメント、及びそれぞれの列／行に関連付けられた前記各条件 因子、及び少なくとも１つの列／行と関連付けられた前記結果値によって任意の 特定の前記ステートメントに関連した条件因子、及び結果値が、そのステートメ ントを表す前記行／列に対応するセルにおいて指定されることを特徴とする、請 求項１に記載の方法。
3. ３．構造化表現が、新しい／修正されたＣＦＶＣのステートメント集合を、使用 可能な全てのＣＦＶＣ集合のある部分集合に加え、それによって前記新しい／修 正されたステートメントの矛盾に関する可能性を、前記部分集合内の、ＣＦＶＣ 集合を備えた既存ステートメントに制限することを特徴とする、請求項１に記載 の方法。
4. ４．前記所定の条件因子の集合が、少なくとも２つの一次条件因子から構成され 、前記構造化表現が、前記一次条件因子の使用可能な全てのＣＦＶＣのそれぞれ の部分集合を表す、少なくとも１つの表から構成され、この部分集合は、他のど の表によって表される前記部分果合とも重複しない。前記少なくとも１つの表は 、対をなす前記一次条件因子の値を関連付ける働きをする行、及び列を備えてお り、前記行が、前記対をなす第１の前記一次条件因子に関するそれぞれの特定の 値を表し、前記列が、前記対をなす第２の前記一次条件因子に関するそれぞれの 特定の値を表しており、同時に、各行、及び列の交差部分はセルを定義する。表 によって表される前記部分集合に包含されるＣＶＣＦ集合を有し、例外ステート メントでない前記各マシン制御ステートメントは、次に、対応する表においてそ れぞれの前記セルによって表され、そのセルはセルを定義する行と列、及びその セル内に指定されているそのステートメントの結果値に関連する条件因子の組み 合わせに対応する、そのステートメントに関する前記第１と第２の一次条件因子 の値を有していることを特徴とする、請求項１に記載の方法。
5. ５．前記構造化表現が、表示のために個々に選択されることが可能な、複数の前 記表から構成されることを特徴とする、請求項４に記載の方法。
6. ６．所定の条件因子の集合か、更に、少なくとも１つの二次条件因子を含んでお り、どの前記例外ステートメントのＣＦＶＣ集合も、−前記セル、及び対応する 非例外ステートメントの存在と関係する前記一次条件因子の値の組み合わせ、及 び−少なくとも１つの前記二次条件因子の少なくとも１つの値の両方を含んでお り、例外ステートメントは、前記の対応する非例外ステートメントに対して異な る結果値を指定し、これによって、後者に対して例外を指定することを特徴とす る、請求項５に記載の方法。
7. ７．前記例外ステートメントの存在が、対応する前記非例外ステートメントが、 非例外ステートメントを表す表セルに関連した、ユーザが識別可能な表示によっ て表されている前記表において表示され、前記例外ステートメントに対するユー ザ・アクセスのための前記方法が、セルに関係したユーザの識別によって提供さ れることを特徴とする、請求項６に記載の方法。
8. ８．前記一貫性検査が、少なくとも１つの新しい／修正されたステートメントを 作成するためのユーザ入力に続く、ユーザの要求に基づいて実施されることを特 徴とする、請求項１−７のいずれかに記載の方法。
9. ９．前記一貫性検査によって、前記の解決できない矛盾が存在することを確認す ると、この矛盾、及び矛盾するステートメントの識別に関する視覚表示が、ユー ザに対して表示されることを特徴とする、請求項１−８のいずれかに記載の方法 。
10. １０．ユーザは、選択された前記ステートメントを、それと矛盾する他の任意の ステートメントに優先するものとして指定することによって、別の解決できない 矛盾を解決することができるということを特徴とする、請求項１−９のいずれか に記載の方法。
11. １１．前記一貫性検査によって、前記解決できない矛盾が存在することを確認す ると、ユーザに対して、前記矛盾を１つ、又は複数の新しい例外ステートメント に関する根拠として使用することによって、前記矛盾の解決を可能にするように 提示がなされることを特徴とする、請求項１−１０のいずれかに記載の方法。
12. １２．ユーザが、前記構造化表現に修正を施し、追加条件因子のリストからの選 択によって、こうした因子の追加を行うことができることを特徴とする、請求項 １−１１のいずれかに記載の方法。
13. １３．前記マシン制御ステートメントを、単一化され、平坦化された、前記決定 機能を表すツリー構造に変換するステップを更に含むことを特徴とする、請求項 １−１２のいずれかに記載の方法。
14. １４．所定の条件因子の集合における特定値の組み合わせと、対応する結果値集 合における特定の結果値を関連付ける決定機能がマシン制御ステートメント集合 のまとまりで構成され、それぞれ、個々のマシン制御ステートメントが、１つ、 又は複数の条件因子の値の組み合わせ（ここではＣＦＶＣとする）と、ある結果 値を関連付けるようなマシン制御ステートメント集合を、容易に生成する装置が 提供され、この装置が、 −前記マシン制御ステートメントを記憶する手段と、−ＣＦＶＣ集合と、対応す る結果値との間の視覚的関連によって表される前記既存マシン制御ステートメン トの構造化表現をユーザに対して表示するための表示装置と、 −新しいマシン制御ステートメントの作成、及び／又は少なくとも１つの既存の マシン制御ステートメントに対する修正に関するユーザ入力を受信し、それによ って新しい前記マシン制御ステートメント集合と、新しい、及び／又は修正され た、構造化表現によって表される前記ステートメントを生成するための入力手段 と、−新しい前記マシン制御ステートメント果合に対する一貫性の検査を行うた めの、一質性検査手段が、 （ａ）全てが同じ結果値を指定することのない夜数の前記ステートメントに共通 した、少なくとも１つのＣＦＶＣからなるあらゆるグループを識別することによ って、ステートメント間の矛盾を識別する手段と、 （ｂ）対応する前記ＣＦＶＣグループが、複数の、より一般的な任意のステート メントに現れる前記ステートメント（ここでは例外ステートメントと称する）に よって包含される全てのＣＦＶＣの集合に等しいかどうかを判定することによっ て、より特定されたステートメントが、より一般的なステートメントに対して優 先されるとする根拠に従い、こうした矛盾が解決可能かどうかを判定し、例外ス テートメントが他のどのステートメントに対しても優先される前記複数のステー トメントとは別の、任意の前記ステートメントに関連付けられている前記例外ス テートメントによって、前記矛盾を解決可能かどうかを判定する手段と、 （ｃ）解決できない矛盾が存在する新しい前記ステートメント集合の受け入れを 禁止する手段から構成される装置。