JPH04293128A - エキスパートシステム - Google Patents

Abstract

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

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、専門家が作成した知識
により推論を行なうエキスパートシステムに関する。

【０００２】このシステムでは作成された知識にルール
群が記述され、それらルールをルール群単位で実行する
ことにより、推論が行なわれる。

【０００３】

【従来の技術】ルールａ（属性Ａがａ１ならば、処理Ｐ
を実行して属性Ａの値をａ２にする），ルールｂ（属性
Ａがａ１ならば、処理Ｑを実行する）からなるルール群
が知識に記述されていたときに、ルールａ，ルールｂが
その順で実行されると、処理Ｐのみが実行される。

【０００４】また、ルールａ，ルールｂが逆の順で実行
されると、処理Ｑが実行されてから処理Ｐが実行される
。

【０００５】すなわち、ルールの適用順序で処理内容が
異なる場合が生じ、場合によっては期待した推論結果が
得られない。

【０００６】そこで、ルールｂ，ルールａの順で推論を
行なうべきときには、この順でルールａ，ｂを検索させ
る推論制御の情報がシステム設計者によって付加される
。

【０００７】あるいは、”ルールｂを調べた後に実行す
る”という条件がシステム設計者によりルールａへ追加
される。

【０００８】

【発明が解決しようとする課題】従来においては、ルー
ルの実行順序を決定する推論制御の情報をシステム設計
者が入力していたので、知識の作成作業に時間，労力が
費やされていた。

【０００９】本発明は上記従来の事情に鑑みてなされた
ものである、その目的は、知識の作成作業をより容易に
しかも迅速に行なうことが可能となるエキスパートシス
テムを提供することにある。

【００１０】

【課題を解決するための手段】上記目的を達成するため
に、本発明にかかるエキスパートシステムは以下のよう
に構成されている。

【００１１】図１では第１発明の構成が説明されており
、同図のシステムは、ルール群の記述が含まれる知識を
入力に従って作成する知識作成手段１０と、作成された
知識に記述のルール群よりルールを逐次取り出してルー
ル間の関連性からルール実行の順序を決定するルール実
行順序決定手段１２と、作成された知識に記述の各ルー
ルを決定された順序に従いルール群単位で逐次実行する
ルール実行手段１４と、を有する。

【００１２】また、図２では第２発明の構成が説明され
ており、同図のシステムは、ルール群の記述が含まれる
知識を入力に従って作成する知識作成手段１０と、作成
された知識に記述のルール群よりルールを逐次取り出し
てルール間の関連性からルール実行の順序を決定するル
ール実行順序決定手段１２と、作成された知識に記述の
各ルールを決定された順序に従いルール群単位で逐次実
行するルール実行手段１４と、作成された知識の内容を
入力に応じて修正する知識修正手段１６と、ルール実行
の順序が決定されているルールのいずれかに関する記述
が知識の修正で変更されたか否かを判断するルール記述
変更判断手段１８と、ルールに関する記述の変更が確認
されたときに該変更に応じてルール実行の前記順序を更
新するルール実行順序更新手段２０と、を有する。

【００１３】さらに、図３では第３発明の構成が説明さ
れており、同図のシステムは、ルール群の記述が含まれ
る知識を入力に従って作成する知識作成手段１０と、作
成された知識に記述のルール群からルールを逐次取り出
して各ルールを分類するルール分類手段２２と、作成さ
れた知識に記述の各ルールを分類順に逐次実行するルー
ル実行手段２４と、を有する。

【００１４】

【作用】第１の発明においては、知識（専門家が作成）
が調べられてルールの適用順序を決定する推論制御の情
報（推論制御知識）が自動的に生成される。

【００１５】また第２の発明においては、知識が修正さ
れた場合でルールに関する記述が変更されたときに、こ
れに応じて推論制御の情報が自動更新される。

【００１６】そして第３の発明においては、知識のルー
ルを分類した推論制御の情報が自動的に生成される。

【００１７】

【実施例】以下、図面に基づいて本発明にかかるエキス
パートシステムの好適な実施例を説明する。

【００１８】図４では実施例の構成が説明されており、
専門家は知識エディタ４２を使用して知識ベース４４を
作成する。

【００１９】そして、制御知識抽出部４６は作成された
知識ベース４４の内容を調べ、推論制御知識を生成する
。

【００２０】また推論エンジン５０は知識ベース４４，
ワーキングメモリ５２を用いて推論を行ない、その際に
推論制御知識４８を参照する。

【００２１】さらに、ユーザ５４はユーザインタフェー
ス５６を介してシステムと会話し、推論結果を取得する
。

【００２２】図５では本実施例の概略的な作用が説明さ
れており、専門家４０が知識ベース４４を作成すると、
制御知識抽出部４６に知識ベース４４から推論制御知識
４８が自動的に生成され（ステップ５００）、この推論
制御知識４８が登録される（ステップ５０２）。

【００２３】その後、知識ベース４４とワーキングメモ
リ５２の内容が突き合わされ、推論制御知識４８に従っ
て推論が行なわれる（ステップ５０４）。

【００２４】図６では推論の処理手順が説明されており
、推論の終了状態でないことが確認されると（ステップ
６００でＮＯ）、現在の状態に適用するルール群が知識
ベース４４に存在しているか否かが判断される（ステッ
プ６０２）。

【００２５】その際にルール群の存在が確認されると（
ステップ６０２でＹＥＳ）、存在の確認されたルール群
が知識ベース４４から取り出され、このルール群の推論
が行なわれる（ステップ６０４）。

【００２６】以上の処理は推論終了の状態となったとき
（ステップ６００でＹＥＳ）、あるいは現在の状態に適
用するルール群が知識ベース４４に存在しなくなったと
き（ステップ６０２でＮＯ）に、終了する。

【００２７】図７ではルール実行の作用が説明されてお
り、知識ベース４４からルール群のルール全てを取り出
していないことが確認されると（ステップ７００でＮＯ
）、このルール群に属するルールが取り出される（ステ
ップ７０２）。

【００２８】そして、取り出されたルールの条件部（の
条件）が成立するか否かが判断され（ステップ７０４）
、条件不成立のときには（ステップ７０４でＮＯ）、知
識ベース４４からルール群のルール全てを取り出したか
否かの判断（ステップ７００）、次ルールの取り出し（
ステップ７０２）が行なわれる。

【００２９】また、条件部の条件成立が確認されたとき
には（ステップ７０４でＹＥＳ）、帰結部が実行され（
ステップ７０６）、知識ベース４４からルール群のルー
ル全てを取り出したか否かの判断（ステップ７００）、
次ルールの取り出し（ステップ７０２）が行なわれる。

【００３０】その後、現在のルール群からルールを全て
取り出したことが確認されると（ステップ７００でＹＥ
Ｓ）、処理が終了する。

【００３１】ここで、 ［ルール１］条件部：属性Ａの値がａ１帰結部：処理Ｘ
を行なう　　属性Ａの値をａ２にする［ルール２］条件
部：属性Ａの値がａ１帰結部：処理Ｙを行なう のルール群αが記述されていた場合において、ルール１
が先に実行されたときには、属性Ａの値がａ２に書替え
られてしまうので、ルール２の条件部が条件不成立とな
る。

【００３２】本実施例ではこのルール２の条件部で条件
を成立させるために、図８の処理が行なわれる。

【００３３】その処理は知識ベース４４が作成されたと
きに開始され、全てのルール群が調べられたか否かが最
初に判断される（ステップ８００）。

【００３４】このときに全てのルール群を調べたことが
確認されると処理が終了するが（ステップ８００でＹＥ
Ｓ）、全てのルール群を調べていないことが確認される
と（ステップ８００でＮＯ）、知識ベース４４から次の
ルール群が取り出され（ステップ８０２）、そのルール
群から全てのルールが逐次取り出される（ステップ８０
４，８０６）。

【００３５】そしてルールが取り出される毎に、条件部
の属性名がリストの条件部部分に記録され（ステップ８
０８）、帰結部に属性名の書かれていることが確認され
ると（ステップ１０でＹＥＳ）、帰結部の効果（属性名
）がリストの帰結部部分に記録される（ステップ８１２
）。

【００３６】このようにして帰結部の効果がリストの帰
結部部分に記録されたとき（ステップ８１２）、あるい
は、取り出されたルールの帰結部に属性名が書かれてい
なかったとき（ステップ８１０でＮＯ）には、ルール群
から全てのルールが取り出されたか否かが再び判断され
る（ステップ８０４）。

【００３７】その後、ルール群から全てのルールが取り
出されたことが確認されると（ステップ８０４でＹＥＳ
）、まず、全てのリストデータを調べたか否かが判断さ
れ（ステップ８１４）、全てのリストデータを調べてい
ないことが確認されると（ステップ８１４でＮＯ）、最
初のリストデータが取り出される（ステップ８１６）。

【００３８】次いで、帰結部部分に属性名が書かれてい
るか否かが判断され（ステップ８１８）、属性名が書か
れていないとき（ステップ８１８でＮＯ）には、全ての
リストデータを調べているか否かが再び判断される（ス
テップ８１４でＮＯ）。

【００３９】また、帰結部部分に属性名が書かれていた
とき（ステップ８１８でＹＥＳ）には、その属性名が他
のリストデータの条件部部分に書かれているか否かが判
断され（ステップ８２０）、属性名が他のリストデータ
の条件部に書かれているとき（ステップ８２０でＹＥＳ
）には両ルール名と属性名とが図９のように現在のルー
ル群と対応して記録される（ステップ８２２）。

【００４０】さらに属性名が他のリストデータの条件部
部分に書かれていなかったとき（ステップ８２０でＮＯ
），ルール名の記録が行なわれれたとき（ステップ８２
２）には、全てのリストデータを調べたか否かが再び判
断される（ステップ８１４）。

【００４１】そして、全てのリストデータを調べたこと
が確認されると（ステップ８１４でＹＥＳ）、全てのル
ール群を調べたか否かが再び判断され（ステップ８００
）、全てのルール群を調べたことが確認されると（ステ
ップ８００でＹＥＳ）、処理が終了する。

【００４２】以上の処理で得られた図９の表は推論制御
知識４８として保存される（同図においては、ルール群
αに関しルール２，ルール１の順でルール１，２を実行
することが表されており、その根拠として属性Ａが示さ
れている）。

【００４３】図１０ではこの推論制御知識４８を用いた
推論の手順が説明されており、推論制御知識４８が参照
されてルールの実行順序が推論制御知識４８のリスト内
容に示されるものへ修正されてから（ステップ１０００
）、その順序で、図７と同様に、各ルールが逐次実行さ
れる（ステップ１００２，１００４，１００６，１００
８）。

【００４４】次に、専門家４０が知識ベース４４のルー
ル編集（ルールを追加，削除，修正）を行なった場合に
ついて説明する。

【００４５】この場合には図１１の処理が制御知識抽出
部４６で開始され、新たなルールが入力されたときには
図１２の処理が起動される（ステップ１１００）。

【００４６】また、既存ルールの削除を指示する入力が
確認されたときには図１３の処理が起動され（ステップ
１１０２）、既存ルールの修正を指示する入力が確認さ
れたときには図１４の処理が起動される（ステップ１１
０４）。

【００４７】図１２においては、追加されたルールの属
するルール群から全てのルールが取り出され（ステップ
１２００）、新たなルールの帰結部（これに記述した属
性）と他の既存ルールの条件部との一致が判断される（
ステップ１２０２）。

【００４８】その際に両者の一致が確認されると（ステ
ップ１２０２でＹＥＳ）、一致確認された既存ルールの
次へ新たなルールが挿入されるように、推論制御知識４
８（順序表＿図９参照）の内容が変更される（ステップ
１２０４）。

【００４９】この追加が行なわれたとき（ステップ１２
０４）、または、新たなルールの帰結部が他の既存ルー
ルの条件部と一致しなかったとき（ステップ１２０２で
ＮＯ）には、新たなルールの条件部（これに記述した属
性）と他の既存ルールの帰結部との一致が判断される（
ステップ１２０６）。

【００５０】そのときに両者の一致が確認されると（ス
テップ１２０６でＹＥＳ）、一致確認された既存ルール
の次へ新たなルールが挿入されるように、推論制御知識
４８（順序表＿図９参照）の内容が変更される（ステッ
プ１２０８）。

【００５１】この追加が行なわれたとき（ステップ１２
０８）、または、新たなルールの条件部が他の既存ルー
ルの帰結部と一致しなかったとき（ステップ１２０２で
ＮＯ）には、処理が終了する。

【００５２】また図１３においては、削除対象のルール
が推論制御知識４８（順序表）に記録されているか否か
が判断され（ステップ１３００）、そのルールが推論制
御知識４８で記録されていたとき（ステップ１３００で
ＹＥＳ）には、このルールの根拠となった属性の項目が
推論制御知識４８から削除される（ステップ１３０２）
。

【００５３】そして図１４においては、対象のルールＸ
の属するルール群の部分が推論制御知識４８から取り出
され（ステップ１４００）、そのルールＸがこれに記述
されていなかったとき（ステップ１４０２でＮＯ）には
、図１２の追加処理が行なわれる。

【００５４】また、そのルールＸが取り出しの部分に記
述されていたとき（ステップ１４０２でＹＥＳ）には、
前後のルールＹ，Ｚ及び根拠となる属性Ｐが取り出され
（ステップ１４０４）、ルールＸの帰結部が変更された
か否かが判断される（ステップ１４０６）。

【００５５】このときにルールＸの帰結部変更が確認さ
れると（ステップ１４０６でＹＥＳ）、属性Ｐが変更さ
れたか否かが判断され（ステップ１４０８）、変更され
たとき（ステップ１４０８でＹＥＳ）には、属性Ｐの値
が変更されたか否かが判断される（ステップ１４１０）
。

【００５６】その際に属性Ｐの値変更が確認されると（
ステップ１４１０でＹＥＳ）、前ルールＹの存在有無が
判断され（ステップ１４１２）、ルールＹが存在しない
場合（ステップ１４１２でＮＯ）には、図１２の追加処
理が行なわれる。

【００５７】また、ルールＹの存在が確認された（ステ
ップ１４１２でＹＥＳ）場合には、ルールＸ，Ｙが削除
される（ステップ１４１４）。

【００５８】そのルール削除が行なわれたとき（ステッ
プ１４１４），ルールＸの帰結部が変更されなかったと
き（ステップ１４０６でＮＯ），属性Ｐが変更されなか
ったとき（ステップ１４０８でＮＯ），属性Ｐの値が変
更されなかったとき（ステップ１４１０でＮＯ）には、
ルールＸの条件部が変更されたか否かが判断される（ス
テップ１４１６）。

【００５９】このときにルールＸの条件部を変更してい
ないことが確認された場合（ステップ１４１６でＮＯ）
には、処理が終了する。

【００６０】また、その変更が確認されると（ステップ
１４１６でＹＥＳ）、ルールＸの条件部の属性が属性Ｐ
と一致するか否かが判断され（ステップ１４１８）、一
致していないことが確認された場合（ステップ１４１８
でＮＯ）には処理が終了し、一致していることが確認さ
れた場合（ステップ１４１８でＹＥＳ）には属性Ｐの値
が変更されたか否かが判断される（ステップ１４２０）
。

【００６１】このときに属性Ｐの値が変更されない（属
性Ｐを別の属性に変更した）ことが確認されたとき（ス
テップ１４２０でＮＯ）には処理が終了するが、変更さ
れたことが確認されたとき（ステップ１４２０でＹＥＳ
）には、後ルールＺが存在しているか否かが判断される
（ステップ１４２２）。

【００６２】その際に後ルールＺの存在が確認されなか
った場合（ステップ１４２２でＮＯ）には図１２の追加
処理が行なわれるが、ルールＺの存在が確認された場合
（ステップ１４２２でＹＥＳ）においては、ルールＸの
条件部とルールＺの帰結部が一致しなくなるので、ルー
ルＸ，Ｚが削除され（ステップ１４２４）、処理が終了
する。

【００６３】次に、以下のルール群（ルール群β）を記
述した知識ベースが作成されたときの作用について説明
する。

【００６４】［ルール３］条件部：値Ｂ＞１帰結部：処
理Ｐを行ない　　値Ｂ＝Ｂ−０．１［ルール４］条件部
：値Ｃ＝１ 帰結部：処理Ｑを行ない　　値Ｃ＝０ ［ルール５］条件部：値Ｂ＝１ 帰結部：処理Ｒを行ない　　ルール群γを実行する［ル
ール６］条件部：値Ｂ＝１ 帰結部：処理Ｓを行ない　　ルール群Δを実行する

【０
０６５】これらのうち、ルール３（タイプ１）は条件が
成立する限り何回でも実行でき、ルール４（タイプ２）
は条件判定を１回行なうだけで良い。

【００６６】また、ルール５，６（タイプ３）は条件部
が全く同一で、帰結部が異なる。したがって、いずれか
を選んで実行することが必要となる。

【００６７】そこで、ルール３，４，５，６はタイプ別
に実行される。これを図１５，１６，１７により説明す
る。

【００６８】図１５ではルール３のように繰り返し実行
が可能なタイプ１のものを推論する手順が説明されてお
り、ルールの存在が確認されると（ステップ１５００で
ＮＯ）、存在を確認したルールが取り出される（ステッ
プ１５０２）。

【００６９】そして、条件部が成立するか否かが判断さ
れ（ステップ１５０４）、条件部の成立が確認されると
（ステップ１５０４でＹＥＳ）、帰結部が実行される（
ステップ１５０６）。

【００７０】この帰結部の実行（ステップ１５０６）は
条件部が不成立となるまで繰り返され、条件部が不成立
となると（ステップ１５０４でＮＯ）、ルールの存在確
認（ステップ１５００）が行なわれる。

【００７１】図１６ではルール４のように条件判定が１
回行なわれるタイプ２（競合解消が不要なタイプ）のも
のを推論する手順が示されており、ルールの存在が確認
されると（ステップ１６００でＮＯ）、存在を確認した
ルールが取り出される（ステップ１６０２）。

【００７２】そして、条件部が成立するか否かが判断さ
れ（ステップ１６０４でＹＥＳ）、条件部の成立が確認
されると（ステップ１６０４でＹＥＳ）、帰結部が実行
され（ステップ１６０６）。

【００７３】帰結部が実行されると（ステップ１６０６
）、ルールの存在確認（ステップ１６００）が行なわれ
、条件部が不成立のとき（ステップ１６０４でＮＯ）に
もルール存在の確認（ステップ１６００）に戻る。

【００７４】図１７では、ルール５，６のように条件が
成立するものから実行対象となるものを選択することが
必要となるタイプ３（競合解消が必要となるタイプ）を
推論する手順が示されている。

【００７５】図１７において、ルールの存在が確認され
ると（ステップ１７００でＮＯ）、そのルールが取り出
され（ステップ１７０２）、条件部が成立するか否かが
判断される（ステップ１７０４）。

【００７６】このときに条件部の不成立が確認されると
（ステップ１７０４でＮＯ）、ルールの存在確認（ステ
ップ１７００）へ直ちに戻り、条件部の成立が確認され
ると（ステップ１７０４でＹＥＳ）、ルール名の記録（
ステップ１７０６）を行なってからルールの存在確認（
ステップ１７００）に戻る。

【００７７】そして、ルールが存在しなくなったことが
確認されると（ステップ１７００でＹＥＳ）、条件部が
成立したルールの記録有無が判断され（ステップ１７０
８）、条件部が成立したルールが記録されていなかった
場合（ステップ１７０８でＮＯ）には、推論の失敗とな
って処理が終了する。

【００７８】また、条件部が成立したルールが記録され
ていた場合（ステップ１７０８でＹＥＳ）には、実行す
べきルールが競合解消の戦略に基づいて選択され（ステ
ップ１７１０）、選択されたルールが実行される（ステ
ップ１７１２）。

【００７９】以上のタイプ１，２，３のルールは図１８
で示される手順に従って分類されている。

【００８０】同図において、全てのルール群を調べてか
否かが最初に判断され（ステップ１８００）、全てのル
ール群を調べ終ったとき（ステップ１８００でＹＥＳ）
には処理が終了する。

【００８１】そして、全てのルールを調べ終っていない
ことが確認されると（ステップ１８００でＮＯ）、ルー
ル群が取り出される（ステップ１８０２）。

【００８２】次に、このルール群に属する全てのルール
を調べたか否かが判断され（ステップ１８０４）、全て
のルールを調べてないとき（ステップ１８０４でＮＯ）
には、現在のルール群からルールが取り出される（ステ
ップ１８０６）。

【００８３】さらに、そのルールの帰結部を実行したと
きに条件部が成立するか否かが判断され（ステップ１８
０８）、条件の成立することが確認されると（ステップ
１８０８でＹＥＳ）、このときのルールがタイプ１とし
て記録される（ステップ１８１０）。

【００８４】また、取り出されたルールの帰結部を実行
しても条件部が成立しないことが確認されたときには（
ステップ１８０８でＮＯ）、次に適用するルール群が帰
結部に書かれているか否かが判断される（ステップ１８
１２）。

【００８５】このときに、次に適用するルール群が書か
れていなかったことが確認されると（ステップ１８１２
でＮＯ）、そのルールがタイプ２として記録され（ステ
ップ１８１４）、書かれていたことが確認されると（ス
テップ１８１２でＹＥＳ）、そのルールがタイプ３とし
て記録される（ステップ１８１６）。

【００８６】これらの処理（ステップ１８１４・・・１
８１６）は全てのルールを調べ終るまで繰り返され、全
てのルールが取り出されると（ステップ１８０４でＹＥ
Ｓ）、次のルール群が取り出される（ステップ１８００
，１８０２）。

【００８７】図１９では以上の処理で作成された推論制
御知識４８の内容が説明されており、図２０ではこれを
用いた推論の手順が説明されている。

【００８８】図２０において、推論の終了した状態か否
かが最初に判断され（ステップ２０００）、推論が終了
した状態でないことが確認されると（ステップ２０００
でＮＯ）、適用可能なルール群が存在しているか否かが
判断される（ステップ２００２）。

【００８９】このときに適用可能なルール群の存在が確
認されると（ステップ２００２でＹＥＳ）、各ルールの
タイプ（１，２，３）が順に調べられ（ステップ２００
４，２００８，２０１２）、存在の確認されたルールが
タイプ順に逐次実行される（ステップ２００６，２０１
０，２０１４）。

【００９０】以上説明したように本実施例によれば、専
門家４０が知識（４４）を作成したときにルールの適用
順序を決定する推論制御知識４８が生成され、また、専
門家４０が知識（４４）を変更したときにその推論制御
知識４８が更新され、さらに、知識が作成されると繰り
返しや競合解消の有無に応じてルールが推論戦略別に分
類され、その分類に従ってルールが適用されるので、推
論制御知識４８の編集作業を自動化することが可能とな
り、しかも、推論制御の内容を意識することなく専門家
４０が知識を記述できる。

【００９１】

【発明の効果】以上説明したように本発明によれば、知
識の作成時にルールの適用順序を決定する情報が自動的
に生成され、また、その情報が知識の変更時に自動更新
され、さらに、知識の作成時にルールが推論戦略別に分
類されて推論時にルールが分類順に適用されるので、知
識を効率的に作成することが可能となる。

【図面の簡単な説明】

【図１】第１発明の原理説明図である。

【図２】第２発明の原理説明図である。

【図３】第３発明の原理説明図である。

【図４】実施例の構成説明図である。

【図５】実施例の概略作用を説明するフローチャートで
ある。

【図６】推論の作用を説明するフローチャートである。

【図７】ルール実行作用を説明するフローチャートであ
る。

【図８】推論制御知識の作成手順を説明するフローチャ
ートである。

【図９】推論制御知識の内容説明図である。

【図１０】推論の手順を説明するフローチャートである
。

【図１１】知識変更時の判断処理を説明するフローチャ
ートである。

【図１２】ルール追加時の処理を説明するフローチャー
トである。

【図１３】ルール削除時の処理を説明するフローチャー
トである。

【図１４】ルール修正時の処理を説明するフローチャー
トである。

【図１５】タイプ１のルールの推論手順を説明するフロ
ーチャートである。

【図１６】タイプ２のルールの推論手順を説明するフロ
ーチャートである。

【図１７】タイプ３のルールの推論手順を説明するフロ
ーチャートである。

【図１８】ルールの分類手順を説明するフローチャート
である。

【図１９】タイプ別に分類された推論制御知識の説明図
である。

【図２０】タイプ別に分類されたルールの適用手順を説
明するフローチャートである。

【符号の説明】

４０　専門家 ４２　知識エディタ ４４　知識ベース ４６　制御知識抽出部 ４８　推論制御知識 ５０　推論エンジン ５２　ワーキングメモリ ５４　ユーザ ５６　ユーザインタフェース

Claims (3)

【特許請求の範囲】
1. 【請求項１】　　ルール群の記述が含まれる知識を入力
   に従って作成する知識作成手段（１０）と、作成された
   知識に記述のルール群よりルールを逐次取り出してルー
   ル間の関連性からルール実行の順序を決定するルール実
   行順序決定手段（１２）と、作成された知識に記述の各
   ルールを決定された順序に従いルール群単位で逐次実行
   するルール実行手段（１４）と、を有する、ことを特徴
   としたエキスパートシステム。
2. 【請求項２】　　ルール群の記述が含まれる知識を入力
   に従って作成する知識作成手段（１０）と、作成された
   知識に記述のルール群よりルールを逐次取り出してルー
   ル間の関連性からルール実行の順序を決定するルール実
   行順序決定手段（１２）と、作成された知識に記述の各
   ルールを決定された順序に従いルール群単位で逐次実行
   するルール実行手段（１４）と、作成された知識の内容
   を入力に応じて修正する知識修正手段（１６）と、ルー
   ル実行の順序が決定されているルールのいずれかに関す
   る記述が知識の修正で変更されたか否かを判断するルー
   ル記述変更判断手段（１８）と、ルールに関する記述の
   変更が確認されたときに該変更に応じてルール実行の前
   記順序を更新するルール実行順序更新手段（２０）と、
   を有する、ことを特徴としたエキスパートシステム。
3. 【請求項３】　　ルール群の記述が含まれる知識を入力
   に従って作成する知識作成手段（１０）と、作成された
   知識に記述のルール群からルールを逐次取り出して各ル
   ールを分類するルール分類手段（２２）と、作成された
   知識に記述の各ルールを分類順に逐次実行するルール実
   行手段（２４）と、を有する、ことを特徴としたエキス
   パートシステム。