OPS5 のプロダクションルールの例

ウィキペディア小見出し辞書

OPS5 のプロダクションルールの例

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 07:18 UTC 版)

「プロダクションシステム」の記事における「OPS5 のプロダクションルールの例」の解説

単純なシミュレーション世界で、部屋の中の猿が他のオブジェクトをつかんだり、その上に登ったりできるとする。以下の例は天井からつるされたオブジェクトをつかむプロダクションルールである。 (p Holds::Object-Ceiling {(goal ^status active ^type holds ^objid ) } {(physical-object ^id ^weight light ^at

^on ceiling) } {(physical-object ^id ladder ^at

^on floor) } {(monkey ^on ladder ^holds NIL) } -(physical-object ^on )--> (write (crlf) Grab (crlf)) (modify ^on NIL) (modify ^holds ) (modify ^status satisfied)) この例では、ワーキングメモリ内のデータは構造化されており、変数は山括弧で囲まれて示される。"goal" や "physical-object" といったデータ構造名は条件部の最初のリテラルである。データ構造のフィールド名には "^" がプレフィックスとして付いている。"-" は条件の否定を表す。 OPS5 のプロダクションルールは、条件に適合し変数束縛を満たす全てのデータ構造のインスタンスに適用される。この例では天井からつるされたオブジェクトがいくつか存在し、手ぶらの猿の近くにはしごがあった場合、プロダクションルール "Holds::Object-Ceiling" からプロダクションルールのインスタンスが多数生成され、それらが競合集合となる。競合解消ステップでそれらインスタンスから点火すべきプロダクションインスタンスを選択する。 条件部でパターンマッチによって変数束縛された結果がアクション部で更新されたデータを参照するために使用される点に注意されたい。また、ワーキングメモリには「ゴール」データ構造のインスタンスの形で明確な制御構造データを含んでいる。この例では、猿がつるされたオブジェクトをつかんだら、ゴールの状態は満たされ、同じプロダクションルールは最初の条件が偽となるために必ず失敗する。