JPH07141410A - 配置装置 - Google Patents

Abstract

(57)【要約】 【目的】本発明は、新たにルールを追加・修正すること
なく、専門家が修正した結果のルールに反する配置を含
む解と本質的に同じである解の生成を行なえることを最
も主要な目的としている。 【構成】本発明は、解決しようとする問題である配置物
を入力し、これらの配置物の中から、反ルール配置記憶
手段に記憶されている配置物の組み合わせを検索し、こ
の検索された配置物の組み合わせを一つの配置物に変換
し、この変換された配置物と変換されなかった配置物の
生成・検査の繰り返しによって配置の解を求め、この配
置の解の中にある変換された配置物を、元の配置物の組
み合わせに逆変換して配置の解を出力し、さらに必要に
応じて、専門家が配置の解をチェック・修正した配置の
解を入力することにより、その配置の解に含まれるルー
ルに反する部分的な配置を検索して反ルール配置記憶手
段に記録することを特徴とする。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、配置問題を、配置に関
するルールを利用してプロダクションシステムにより解
くエキスパートシステムを利用した配置装置に係り、特
に新たにルールを追加・修正することなく、専門家が修
正した結果のルールに反する配置を含む解と本質的に同
じである解の生成を行なうことを可能にした配置装置に
関するものである。

【０００２】

【従来の技術】従来から、配置問題を解くエキスパート
システムを利用した配置装置においては、配置する物
（以下、配置物と称する）と配置場所に関する知識であ
るルールを利用して、プロダクションシステムにより配
置問題に対する解を求めている。この場合、その結果得
られた配置の解は、必ずしも十分ではないことから、専
門家がチェック・修正して、最終的な解を生成してい
る。その後、この専門家が生成した最終的な解を生成で
きるように、新たにルールを追加・修正している。

【０００３】ところが、このようなエキスパートシステ
ムを利用した配置装置が求めた解を、専門家がチェック
・修正を行なって最終的な配置の解を生成した場合、そ
の解の中には、その時点のルールに反するような配置が
含まれることがある。そして、これらのルールに反する
配置を可能にするために、ルールの中に組み込もうとし
てルールを追加・修正するプロセスによりルールを増や
していくと、ルールの数が非常に膨大となり、またルー
ル全体の構造が複雑になり易く、後になってルールを追
加・修正しようとした場合の労力が多大になる。

【０００４】

【発明が解決しようとする課題】以上のように、従来の
エキスパートシステムを利用した配置装置においては、
解の中にルールに反するような配置が含まれる場合、新
たにルールを追加・修正しなければならないという問題
があった。

【０００５】本発明の目的は、ルールに反する配置を一
つの大きな配置物として見なすことにより、新たにルー
ルを追加・修正することなく、専門家が修正した結果の
ルールに反する配置を含む解と本質的に同じである解の
生成を行なうことが可能な極めて信頼性の高い配置装置
を提供することにある。

【０００６】

【課題を解決するための手段】上記の目的を達成するた
めに、配置問題を、配置に関するルールを利用してプロ
ダクションシステムにより解くエキスパートシステムを
利用した配置装置において、まず、請求項１に記載の発
明では、配置の解を生成・検査により生成する際に使用
される生成と検査の知識をルールの形で記憶しているル
ールベースと、ルールに反する部分的な配置を記憶して
いる反ルール配置記憶手段と、配置物の組み合わせとそ
の変換された配置物のペアを記録する配置変換記録手段
と、解決しようとする問題として与えられる配置物を入
力する配置物入力手段と、配置物入力手段により入力さ
れた配置物の中から、反ルール配置記憶手段に記憶され
ている配置物の組み合わせと同じ配置物の組み合わせを
検索し、これらの配置物の組み合わせを出力すると共
に、残りの配置物を出力する反ルール配置検索手段と、
反ルール配置検索手段により検索された配置物の組み合
わせを一つの配置物に変換し、配置物の組み合わせと変
換された配置物のペアを配置変換記録手段へ記録すると
共に、変換された配置物を出力する配置物変換手段と、
反ルール配置検索手段および配置物変換手段から出力さ
れた配置物を、ルールベースに記憶されているルールに
基づいて配置の解を生成・検査により求める配置探索手
段と、配置探索手段により求められた配置の解の中にあ
る、配置物変換手段において変換された配置物を配置変
換記録手段を参照して見つけ、当該配置物を変換される
前の配置物の組み合わせに変換して配置の解を出力する
配置物逆変換手段とを備えて成る。

【０００７】また、請求項２に記載の発明では、配置の
解を生成・検査により生成する際に使用される生成と検
査の知識をルールの形で記憶しているルールベースと、
ルールに反する部分的な配置を記憶している反ルール配
置記憶手段と、配置物の組み合わせとその変換された配
置物のペアを記録する配置変換記録手段と、解決しよう
とする問題として与えられる配置物を入力する配置物入
力手段と、配置物入力手段により入力された配置物の中
から、反ルール配置記憶手段に記憶されている配置物の
組み合わせと同じ配置物の組み合わせを検索し、これら
の配置物の組み合わせを出力すると共に、残りの配置物
を出力する反ルール配置検索手段と、反ルール配置検索
手段により検索された配置物の組み合わせを一つの配置
物に変換し、配置物の組み合わせと変換された配置物の
ペアを配置変換記録手段へ記録すると共に、変換された
配置物を出力する配置物変換手段と、反ルール配置検索
手段および配置物変換手段から出力された配置物を、ル
ールベースに記憶されているルールに基づいて配置の解
を生成・検査により求める配置探索手段と、配置探索手
段により求められた配置の解の中にある、配置物変換手
段において変換された配置物を配置変換記録手段を参照
して見つけ、当該配置物を変換される前の配置物の組み
合わせに変換して配置の解を出力する配置物逆変換手段
と、配置物逆変換手段により出力された配置の解を専門
家が生成した結果の配置の解を入力する修正解入力手段
と、修正解入力手段により入力された配置の解の中か
ら、ルールベースに記憶されているルールに基づいて、
ルールに反する部分的な配置の組み合わせを検索し、反
ルール配置記憶手段に記憶する反ルール配置取出手段と
を備えて成る。

【０００８】

【作用】従って、本発明の配置装置においては、配置物
入力手段により配置物を入力すると、これらの配置物の
中から、反ルール配置記憶手段に記憶されている配置物
の組み合わせが検索され、この検索された配置物の組み
合わせが一つの配置物に変換される。そして、この変換
された配置物と変換されなかった配置物の生成・検査の
繰り返しにより、配置の解が求められる。次に、この求
められた配置の解の中にある変換された配置物が、元の
配置物の組み合わせに逆変換されて、配置の解が出力さ
れる。

【０００９】さらに、請求項２に記載の発明の配置装置
においては、専門家が修正解入力手段により、上記配置
の解をチェック・修正した配置の解を入力すると、その
配置の解に含まれるルールに反する部分的な配置が検索
され、反ルール配置記憶手段に記録される。

【００１０】

【実施例】以下、本発明の一実施例について図面を参照
して詳細に説明する。図１は、本発明による配置装置の
全体的な構成例を示す機能ブロック図である。

【００１１】すなわち、本実施例の配置装置は、図１に
示すように、ルールベース１と、反ルール配置記憶部２
と、配置変換記録部３と、配置物入力部４と、反ルール
配置検索部５と、配置物変換部６と、配置探索部７と、
配置物逆変換部８と、修正解入力部９と、反ルール配置
取出部１０とから構成している。

【００１２】ここで、ルールベース１は、配置の解を生
成・検査により生成する際に使用される生成と検査の知
識をルールの形で記憶しているものである。また、反ル
ール配置記憶部２は、反ルール配置取出部１０により取
り出されたルールに反する部分的な配置を記憶している
ものである。

【００１３】さらに、配置変換記録部３は、配置物変換
部６により出力された配置物の組み合わせとその変換さ
れた配置物のペアを記録するものである。一方、配置物
入力部４は、解決しようとする問題として与えられる配
置物を入力するものである。

【００１４】また、反ルール配置検索部５は、配置物入
力部４により入力された配置物の中から、反ルール配置
記憶部２に記憶されている配置物の組み合わせと同じ配
置物の組み合わせを検索し、これらの配置物の組み合わ
せを配置物変換部６へ出力すると共に、残りの配置物を
配置探索部７へ出力するものである。

【００１５】さらに、配置物変換部６は、反ルール配置
検索部５により検索された配置物の組み合わせを一つの
配置物に変換し、配置物の組み合わせと変換された配置
物のペアを配置変換記録部３へ記録すると共に、変換さ
れた配置物を配置探索部７へ出力するものである。

【００１６】一方、配置探索部７は、反ルール配置検索
部５および配置物変換部６から出力された配置物を、ル
ールベース１に記憶されているルールに基づいて配置の
解を生成・検査により求めるものである。

【００１７】また、配置物逆変換部８は、配置探索部７
により求められた配置の解の中にある、配置物変換部６
において変換された配置物を配置変換記録部３を参照し
て見つけ、この配置物を変換される前の配置物の組み合
わせに変換して配置の解を出力するものである。

【００１８】さらに、修正解入力部９は、配置物逆変換
部８により出力された配置の解を専門家が生成した結果
の配置の解を入力するものである。さらにまた、反ルー
ル配置取出部１０は、修正解入力部９により入力された
配置の解の中から、ルールベース１に記憶されているル
ールに基づいて、ルールに反する部分的な配置の組み合
わせを検索し、反ルール配置記憶部２に記憶するもので
ある。

【００１９】次に、以上のように構成した本実施例の配
置装置の動作について、図２ないし図１２を用いて説明
する。なお、ここでは、時間的な要素を対象とした配置
問題を解く場合を例として述べる。

【００２０】図２は、配置物入力部４に与えられる配置
物の具体例である、空港におけるフライトスケジュール
の一覧を示す図である。図２において、各々のフライト
スケジュールのフォーマットは、表示記号、航空会社
名、到着時刻、出発時刻の各々の部分からなっている。

【００２１】図３は、図２における各々のフライトを配
置するスポットの一例を示す図である。図４は、反ルー
ル配置記憶部２の記憶内容の一例を示す図である。

【００２２】図４において、フライトスケジュールのペ
アであり、例えば （B1，B ，10：00，13：00） の各値は、左から順に、表示記号、航空会社、到着時
刻、出発時刻をそれぞれ表わしている。

【００２３】さて、いま図２に示すようなフライトスケ
ジュールが、配置物入力部４から反ルール配置検索部５
に入力されると、反ルール配置記憶部２に記録されてい
るフライトスケジュールの組み合わせが、入力したフラ
イトスケジュールの中にあるかどうかを調べる。図２に
示すフライトスケジュールの中には、 （B1，B ，10：00，13：00） と （B2，B ，13：20，15：00） のフライトスケジュールがあるため、反ルール配置記憶
部２に記憶されている （（B1，B ，10：00，13：00），（B2，B ，13：20，1
5：00）） のフライトスケジュールの組み合わせを見つける。

【００２４】そして、 （（B1，B ，10：00，13：00），（B2，B ，13：20，1
5：00）） を配置物変換部６へ出力する。

【００２５】また、残りの２つのフライトスケジュール
である （A1，A ，10：00，12：00） と （A2，A ，12：10，14：00） を配置探索部７へ出力する。

【００２６】次に、配置物変換部６では、 （（B1，B ，10：00，13：00），（B2，B ，13：20，1
5：00）） を入力して、このフライトスケジュールの組み合わせ
を、一つのフライトスケジュール （X1，B ，10：00，14：00） に変換する。

【００２７】この場合における変換の方法を示すと、以
下のようになる。 表示記号 ＝入力したフライトスケジュールのいずれの
表示記号とも異なるもの。 航空会社名＝一番左側のフライトスケジュールの航空会
社名。 時着時刻 ＝フライトスケジュールの到着時刻の一番早
い時刻。 出発時刻 ＝フライトスケジュールの出発時刻の一番遅
い時刻。

【００２８】そして、配置物変換部６では、配置変換記
録部３の記録内容を全て消去した後に、変換されたフラ
イトスケジュールと元のフライトスケジュールとの組み
合わせのペア： （（X1，B ，10：00，15：00）, （（B1，B ，10：00，
13：00），（B2，B ，13：20，15：00））） を配置変換記録部３へ記録すると共に、変換されたフラ
イトスケジュール （X1，B ，10：00，15：00） を配置探索部７へ出力する。

【００２９】配置探索部７では、３つのフライトスケジ
ュール （A1，A ，10：00，12：00） （A2，A ，12：10，14：00） （X1，B ，10：00，15：00） を入力する。

【００３０】そして、ルールベース１に記録されている
ルールに従い、生成・検査の繰り返しによって配置の解
を生成する。この場合、ルールには生成ルールと検査ル
ールとがあり、検査ルールは、 「出発時刻と到着時刻の時間間隔は３０分以上離す」 のみとする。

【００３１】この意味は、例えば図５に示すように、 （A1，A ，10：00，12：00） と （A2，A ，12：10，14：00） がスポット１に配置されている場合、Ａ１の出発時刻と
Ａ２の到着時刻の時間間隔は１０分であって３０分未満
なので、上記の検査ルールに反する。

【００３２】図６は、配置探索部７が生成した配置の解
の一例を示す図である。次に、配置物逆変換部８では、
図６に示すような配置の解の中のフライトスケジュール
の中から、配置変換記録部３に記録されている変換され
たフライトスケジュールを、変換される前のフライトス
ケジュールの組み合わせに変換して配置の解を出力す
る。

【００３３】すなわち、配置変換記録部３には、変換さ
れたフライトスケジュールとしてＸ１が記録されている
ので、図６に示すような配置の解のＸ１を、Ｂ１とＢ２
に変換して出力する。

【００３４】図７は、図６における配置の解のＸ１をＢ
１とＢ２に変換した結果の配置の解の一例を示す図であ
る。図８は、図７における配置の解を専門家が修正した
結果の配置の解の一例を示す図である。

【００３５】図７の配置の解は、３つのスポットを使用
しているが、図８の配置の解は、Ａ１とＡ２を同一スポ
ットに並べる配置をして、２つのスポットしか使用しな
いようにしている。しかし、Ａ１とＡ２を同一スポット
に並べるのは、図５において説明したように、検査ルー
ルに反する。

【００３６】次に、修正解入力部９では、図８に示すよ
うな専門家が修正した配置の解を入力し、反ルール配置
取出部１０へ出力する。反ルール配置取出部１０では、
入力された図８に示すような配置の解を検査ルールによ
り検査して、検査ルールに反する部分的な配置を取り出
し、これを反ルール配置記憶部２へ記録する。

【００３７】この場合、図８に示すような配置の解の中
には、検査ルールに反する部分的な配置として、 （A1，A ，10：00，12：00） と （A2，A ，12：10，14：00） がある。

【００３８】反ルール配置取り出し部１０では、Ａ１と
Ａ２のペア： （（A1，A ，10：00，12：00），（A2，A ，12：10，1
4：00） を反ルール配置記憶部２へ記録する。

【００３９】図９は、反ルール配置記録部２の記憶内容
の一例を示す図である。次に、再度、図２に示すような
問題が、配置物入力部４から入力されたとする。

【００４０】すると、反ルール配置検索部５では、図９
に示すような反ルール配置記憶部２の記憶内容を参照し
て、 （（B1，B ，10：00，13：00），（B2，B ，13：20，1
5：00） と （（A1，A ，10：00，12：00），（A2，A ，12：10，1
4：00） の２つのフライトスケジュールのペアが、図２に示すよ
うなフライトスケジュールの中にあることを調べ、配置
物変換部６へ出力する。この場合、残りのフライトスケ
ジュールは無いので、配置探索部７へは何も出力しな
い。

【００４１】配置物変換部６では、入力された （（B1，B ，10：00，13：00），（B2，B ，13：20，1
5：00） と （（A1，A ，10：00，12：00），（A2，A ，12：10，1
4：00） を、それぞれ下記のように一つのフライトスケジュール
へ変換したとする。

【００４２】（（B1，B ，10：00，13：00），（B2，B
，13：20，15：00）→（X1，B ，10：00，15：00） （（A1，A ，10：00，12：00），（A2，A ，12：10，1
4：00）→（X2，A ，10：00，14：00） 配置物変換部６では、配置変換記録部３の記録内容を全
て消去した後に、上記の２つの変換されたフライトスケ
ジュールと元のフライトスケジュールとの組み合わせの
ペア： （（X1，B ，10：00，15：00），（（B1，B ，10：00，
13：00），（B2，B ，13：20，15：00））） と （（X2，A ，10：00，14：00）（（A1，A ，10：00，1
2：00），（A2，A ，12：10，14：00））） を配置変換記録部３へ記録し、変換されたフライトスケ
ジュール （X1，B ，10：00，15：00） と （X2，A ，10：00，14：00） を配置探索部７へ出力する。

【００４３】図１０は、配置変換記録部３の記録内容の
一例を示す図である。配置探索部７では、 （X1，B ，10：00，15：00） と （X2，A ，10：00，14：00） を入力して、生成・検査の繰り返しにより配置の解を生
成する。

【００４４】図１１は、その配置の解の一例を示す図で
ある。配置物逆変換部８では、図１０に示すような配置
変換記録部３に記録されている変換されたフライトスケ
ジュールを、変換される前のフライトスケジュールの組
み合わせに変換して配置の解を出力する。

【００４５】すなわち、図１０に示すような配置変換記
録部３には、変換されたフライトスケジュールであるＸ
１とＸ２が記録されているので、図１１に示すような配
置の解のＸ１とＸ２を、それぞれＢ１とＢ２、Ａ１とＡ
２に変換して、配置の解を出力する。

【００４６】図１２は、その配置の解の一例を示す図で
ある。上述したように、本実施例の配置装置は、配置の
解を生成・検査により生成する際に使用される生成と検
査の知識をルールの形で記憶しているルールベース１
と、反ルール配置取出部１０により取り出されたルール
に反する部分的な配置を記憶している反ルール配置記憶
部２と、配置物変換部６により出力された配置物の組み
合わせとその変換された配置物のペアを記録する配置変
換記録部３と、解決しようとする問題として与えられる
配置物を入力する配置物入力部４と、配置物入力部４に
より入力された配置物の中から、反ルール配置記憶部２
に記憶されている配置物の組み合わせと同じ配置物の組
み合わせを検索し、これらの配置物の組み合わせを配置
物変換部６へ出力すると共に、残りの配置物を配置探索
部７へ出力する反ルール配置検索部５と、反ルール配置
検索部５により検索された配置物の組み合わせを一つの
配置物に変換し、配置物の組み合わせと変換された配置
物のペアを配置変換記録部３へ記録すると共に、変換さ
れた配置物を配置探索部７へ出力する配置物変換部６
と、反ルール配置検索部５および配置物変換部６から出
力された配置物を、ルールベース１に記憶されているル
ールに基づいて配置の解を生成・検査により求める配置
探索部７と、配置探索部７により求められた配置の解の
中にある、配置物変換部６において変換された配置物を
配置変換記録部３を参照して見つけ、この配置物を変換
される前の配置物の組み合わせに変換して配置の解を出
力する配置物逆変換部８と、配置物逆変換部８により出
力された配置の解を専門家が生成した結果の配置の解を
入力する修正解入力部９と、修正解入力部９により入力
された配置の解の中から、ルールベース１に記憶されて
いるルールに基づいて、ルールに反する部分的な配置の
組み合わせを検索し、反ルール配置記憶部２に記憶する
反ルール配置取出部１０とから構成したものである。

【００４７】従って、ルールに反する配置を一つの大き
な配置物として見なし、ルールベース１を新たに追加・
修正することなく、図８に示すような専門家が修正した
結果のルールに反する配置を含む解と本質的に同じであ
る図１２に示すような解の生成を行なうことが可能にな
る。

【００４８】これにより、配置の解の中にその時点のル
ールに反するような配置が含まれているような場合に、
従来のように、ルールに反する配置を可能にするため
に、ルールの中に組み込もうとしてルールを追加・修正
するプロセスによりルールを増やしていくことにより、
ルールの数が膨大となったり、またルール全体の構造が
複雑になるようなことがなくなり、ルールを追加・修正
しようとした場合の労力を著しく軽減することができ
る。

【００４９】尚、本発明は上記実施例に限定されるもの
ではなく、次のようにしても同様に実施できるものであ
る。 （ａ）上記実施例では、修正解入力部９、および反ルー
ル配置取出部１０を備えた場合について説明したが、こ
れらの要素は必要に応じて備えればよいものであり、本
発明に必要不可欠な要素ではない。

【００５０】（ｂ）上記実施例では、時間的な要素を対
象とした配置問題を解くのに本発明を適用した場合につ
いて説明したが、これに限らず、例えば距離的な要素、
あるいは組み合わせの要素（ある物の隣に別の要素を配
置してはならない等）を対象とした配置問題を解く場合
にも、本発明を同様に適用して同様の効果が得られるも
のである。

【００５１】

【発明の効果】以上説明したように本発明によれば、配
置の解を生成・検査により生成する際に使用される生成
と検査の知識をルールの形で記憶しているルールベース
と、ルールに反する部分的な配置を記憶している反ルー
ル配置記憶手段と、配置物の組み合わせとその変換され
た配置物のペアを記録する配置変換記録手段と、解決し
ようとする問題として与えられる配置物を入力する配置
物入力手段と、配置物入力手段により入力された配置物
の中から、反ルール配置記憶手段に記憶されている配置
物の組み合わせと同じ配置物の組み合わせを検索し、こ
れらの配置物の組み合わせを出力すると共に、残りの配
置物を出力する反ルール配置検索手段と、反ルール配置
検索手段により検索された配置物の組み合わせを一つの
配置物に変換し、配置物の組み合わせと変換された配置
物のペアを配置変換記録手段へ記録すると共に、変換さ
れた配置物を出力する配置物変換手段と、反ルール配置
検索手段および配置物変換手段から出力された配置物
を、ルールベースに記憶されているルールに基づいて配
置の解を生成・検査により求める配置探索手段と、配置
探索手段により求められた配置の解の中にある、配置物
変換手段において変換された配置物を配置変換記録手段
を参照して見つけ、当該配置物を変換される前の配置物
の組み合わせに変換して配置の解を出力する配置物逆変
換手段と、さらに必要に応じて、配置物逆変換手段によ
り出力された配置の解を専門家が生成した結果の配置の
解を入力する修正解入力手段と、修正解入力手段により
入力された配置の解の中から、ルールベースに記憶され
ているルールに基づいて、ルールに反する部分的な配置
の組み合わせを検索し、反ルール配置記憶手段に記憶す
る反ルール配置取出手段とを備えて構成したので、ルー
ルに反する配置を一つの大きな配置物として見なし、新
たにルールを追加・修正することなく、専門家が修正し
た結果のルールに反する配置を含む解と本質的に同じで
ある解の生成を行なうことが可能な極めて信頼性の高い
配置装置が提供できる。

【図面の簡単な説明】

【図１】本発明による配置装置の一実施例を示す機能ブ
ロック図。

【図２】同実施例における問題として入力するフライト
スケジュールの一覧を示す図。

【図３】同実施例におけるフライトを配置するスポット
の一例を示す図。

【図４】同実施例における反ルール配置記憶部の記憶内
容の一例を示す図。

【図５】同実施例における検査ルールに反するフライト
スケジュールの配置の一例を示す図。

【図６】同実施例における配置探索部が出力した配置の
解の一例を示す図。

【図７】同実施例における配置物逆変換部が出力した配
置の解の一例を示す図。

【図８】図７における配置の解を専門家が修正した配置
の解の一例を示す図。

【図９】同実施例における反ルール配置記憶部の記憶内
容の一例を示す図。

【図１０】同実施例における配置変換記録部の記録内容
の一例を示す図。

【図１１】同実施例における配置探索部が出力した配置
の解の一例を示す図。

【図１２】同実施例における配置物逆変換部が出力した
配置の解の一例を示す図。

【符号の説明】

１…ルールベース、２…反ルール配置記憶部、３…配置
変換記録部、４…配置物入力部、５…反ルール配置検索
部、６…配置物変換部、７…配置探索部、８…配置物逆
変換部、９…修正解入力部、１０…反ルール配置取出
部。

Claims (2)

【特許請求の範囲】
1. 【請求項１】 配置問題を、配置に関するルールを利用
   してプロダクションシステムにより解くエキスパートシ
   ステムを利用した配置装置において、 配置の解を生成・検査により生成する際に使用される生
   成と検査の知識をルールの形で記憶しているルールベー
   スと、 ルールに反する部分的な配置を記憶している反ルール配
   置記憶手段と、 配置物の組み合わせとその変換された配置物のペアを記
   録する配置変換記録手段と、 解決しようとする問題として与えられる配置物を入力す
   る配置物入力手段と、 前記配置物入力手段により入力された配置物の中から、
   前記反ルール配置記憶手段に記憶されている配置物の組
   み合わせと同じ配置物の組み合わせを検索し、これらの
   配置物の組み合わせを出力すると共に、残りの配置物を
   出力する反ルール配置検索手段と、 前記反ルール配置検索手段により検索された配置物の組
   み合わせを一つの配置物に変換し、前記配置物の組み合
   わせと変換された配置物のペアを前記配置変換記録手段
   へ記録すると共に、前記変換された配置物を出力する配
   置物変換手段と、 前記反ルール配置検索手段および配置物変換手段から出
   力された配置物を、前記ルールベースに記憶されている
   ルールに基づいて配置の解を生成・検査により求める配
   置探索手段と、 前記配置探索手段により求められた配置の解の中にあ
   る、前記配置物変換手段において変換された配置物を前
   記配置変換記録手段を参照して見つけ、当該配置物を変
   換される前の配置物の組み合わせに変換して配置の解を
   出力する配置物逆変換手段と、 を備えて成ることを特徴とする配置装置。
2. 【請求項２】 配置問題を、配置に関するルールを利用
   してプロダクションシステムにより解くエキスパートシ
   ステムを利用した配置装置において、 配置の解を生成・検査により生成する際に使用される生
   成と検査の知識をルールの形で記憶しているルールベー
   スと、 ルールに反する部分的な配置を記憶している反ルール配
   置記憶手段と、 配置物の組み合わせとその変換された配置物のペアを記
   録する配置変換記録手段と、 解決しようとする問題として与えられる配置物を入力す
   る配置物入力手段と、 前記配置物入力手段により入力された配置物の中から、
   前記反ルール配置記憶手段に記憶されている配置物の組
   み合わせと同じ配置物の組み合わせを検索し、これらの
   配置物の組み合わせを出力すると共に、残りの配置物を
   出力する反ルール配置検索手段と、 前記反ルール配置検索手段により検索された配置物の組
   み合わせを一つの配置物に変換し、前記配置物の組み合
   わせと変換された配置物のペアを前記配置変換記録手段
   へ記録すると共に、前記変換された配置物を出力する配
   置物変換手段と、 前記反ルール配置検索手段および配置物変換手段により
   出力された配置物を、前記ルールベースに記憶されてい
   るルールに基づいて配置の解を生成・検査により求める
   配置探索手段と、 前記配置探索手段により求められた配置の解の中にあ
   る、前記配置物変換手段において変換された配置物を前
   記配置変換記録手段を参照して見つけ、当該配置物を変
   換される前の配置物の組み合わせに変換して配置の解を
   出力する配置物逆変換手段と、 前記配置物逆変換手段により出力された配置の解を専門
   家が生成した結果の配置の解を入力する修正解入力手段
   と、 前記修正解入力手段により入力された配置の解の中か
   ら、前記ルールベースに記憶されているルールに基づい
   て、ルールに反する部分的な配置の組み合わせを検索
   し、前記反ルール配置記憶手段に記憶する反ルール配置
   取出手段と、 を備えて成ることを特徴とする配置装置。