OPS5

OPS5
OPS5はルールベースまたは生産システムの コンピュータ言語であり、成功したエキスパート システム( VAXコンピュータの構成に使用されるR1/XCONシステム)で使用された最初の言語として注目に値します。
系譜: OPS シリーズとそれらがインスピレーションを受けた、またはインスピレーションを得たシステム。
OPS (“Official Production System” の略) ファミリは、1970 年代後半にカーネギー メロン大学のチャールズ フォーギーによって開発されました。Allen Newellの人工知能の研究グループは、しばらくの間実稼働システムに取り組んでいましたが、Rete アルゴリズムに基づく Forgy の実装は特に効率的であり、数百または数千を含むより大きな問題にスケールアップすることが可能でした。ルール。
OPS5 はフォワード チェーン 推論エンジンを使用します。プログラムは、「作業メモリ要素」（クラスと属性を備えた漠然としたオブジェクトのようなもの）をスキャンして実行し、「プロダクションメモリ」内のルールとの一致を探します。ルールには、一致した要素の変更または削除、新しい要素の作成、出力などの副作用の実行などのアクションが一致が見つからなくなるまで実行が続きます。
この意味で、OPS5 は、インヒビター アークで拡張されたペトリ ネットの実行エンジンです。
OPS5 のフォワード チェーン プロセスにより、マッチング フェーズでの並列化が非常に容易になり、いくつかの自動並列化コンパイラが作成されました。
OPS4 は初期のバージョンで、OPS83 はその後に登場しました。
OPS5 の最初の実装はLispで書かれ、後にスピードのためにBLISSで書き直されました。
DEC OPS5 は、 OPS5 言語定義の拡張実装であり、OpenVMS、RISC ULTRIX、および DEC OSF/1 オペレーティング システムで使用するために開発されました。

参考文献
Charles Forgy、OPS5 User’s Manual、Technical Report CMU-CS-81-135 (Carnegie Mellon University、1981)
Lee Brownston、Robert Farrell、Elaine Kant、Nancy Martin、Programming Expert Systems in 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 実装 ·