MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
川崎重工株式会社は、フィールドオペレーションにおける制約ベースの知識処理システムを使用して、形鋼装置用のスケジューリングシステムを作りました。
スケジューリング部品は、日本及び東南アジア用に、川崎重工にて建造される鉄鋼設備中での制御システムの一部おなっています。
このアプリケーション特有のソフトウェアおよび制約ソルバーは、KIS-V(川崎推論システム V)と呼ばれ、これは、IF/Prologを使用して開発されました。
「我々は、制御システムをPrologで実装しました。これにより、以前Cで7万行のプログラムであったものが、制約宣言により30行のif-then形式になりました。」と、川崎重工株式会社電装制御設計部のマネジャーである庵原 滋氏は述べています。
このシステムの説明および作動効果は、SICE-96(日本、鳥取)及びエキスパートシステム世界会議 96(韓国、ソウル)で紹介されました。
この論文では、多目的マシンフロースケジューリングにおけるブロッキング、デッドロックを避ける方法の適応性・自動的に誘導される輸送手段の制御・複合的な生産ラインで効果的に使用できるその他の資源割り当てタスクについて詳しく説明されています。
この中で、3つの常温のこぎりと5の検査ベッドを有する最終工程装置ラインのスケジューリングは、人間の専門家が作ったプランより良い結果がでたと報告されています。そして、このシステムの知識ベースの作成時間は、人間の専門家が手書きの表の作成に要した時間の10分の一にすぎなくなっていると報告されています。
別途報告されている5つの運送車とランダムな運航要求用の閉鎖運航システムでは、運送車の無駄時間は60%短縮され、その潜在能力は145%も上昇しました。
ソフトウェア
IF/Prolog
ハードウェア
DEC Alpha/VMSマシン(DEC)
| 
