OPS5はルールベースまたはプロダクション システムのコンピュータ言語であり、成功したエキスパート システム(VAXコンピュータの構成に使用されたR1/XCONシステム)で使用された最初の言語として有名です。
OPS（「Official Production System（公式プロダクションシステム）」の略称と言われている）ファミリーは、1970年代後半にカーネギーメロン大学在学中のチャールズ・フォーギーによって開発されました。アレン・ニューウェルの人工知能研究グループは以前からプロダクションシステムに取り組んでいましたが、フォーギーのReteアルゴリズムに基づく実装は特に効率的で、数百、数千のルールを含む大規模な問題にも対応できるほどでした。
OPS5は前向き連鎖推論エンジンを使用します。プログラムは「ワーキングメモリ要素」（クラスと属性を持つ、オブジェクトのような要素）をスキャンし、「プロダクションメモリ」内のルールと一致する要素を探して実行されます。ルールには、一致した要素を変更または削除したり、新しい要素を作成したり、出力などの副作用を実行したりするアクションが含まれます。一致する要素がなくなるまで実行が継続されます。
この意味で、OPS5 は抑制アークで拡張された ペトリ ネットの実行エンジンです。
OPS5 のフォワード チェーニング プロセスにより、マッチング フェーズでの並列化が非常に容易になり、いくつかの自動並列化コンパイラが作成されました。
OPS4は初期のバージョンであり、OPS83は後に登場しました。OPS4の開発は、ARPA命令番号3597によって後援され、空軍航空電子工学研究所の契約番号F33615-78-C-1151に基づいて監視されました。[ 1 ]
OPS5 の最初の実装はLispで書かれ、後に速度向上のためにBLISSで書き直されました。
DEC OPS5 は、 OpenVMS、RISC ULTRIX、およびDEC OSF/1オペレーティング システム で使用するために開発された、OPS5 言語定義の拡張実装です。
参考文献
- ^ McDermott, John (1982-09-01). 「R1: ルールベースのコンピュータシステム構成ツール」 .人工知能. 19 (1): 39– 88. doi : 10.1016/0004-3702(82)90021-2 . ISSN 0004-3702 .
- Charles Forgy、OPS5 ユーザーズマニュアル、技術レポート CMU-CS-81-135 (カーネギーメロン大学、1981)
- Lee Brownston、Robert Farrell、Elaine Kant、Nancy Martin、『OPS5によるエキスパートシステムのプログラミング』（Addison-Wesley、1985年）ISBN 0-201-10647-7
- Anoop Gupta、Miland Tambe、Dirk Kalp、Charles Forgy、Allen Newell、「Encore マルチプロセッサにおける OPS5 の並列実装: 結果と分析」
- ロブ・ルイス『OPS5 再訪』（Amazon 2016）
外部リンク
- OPS5の概要
- OPS5 リファレンスマニュアル
- RuleWorks - OPS5 をベースにしたオープンソース言語で、モジュール構造が追加されています。
- OPS5: RETEベースのエキスパートシステムシェル- CMU人工知能リポジトリ
- ソースコード- GitHub 上の OPS5 ソースコード
- .Net Core での無料 OPS5 実装
