研究ぶーろぐ

★ルールベースシステム
　　　if 条件 then アクション



【前向き推論】
　与えられたアサーションに対してルールの「条件」の部分に対してマッチングを行い、アクションを実行していく。
（例）「AはBである」という事実と、「BならばC」という規則から、「AはCである」という結論を導く推論方式
　　　事実から結果を求める作業を繰り返して、最終的な結論を導き出す方法

【後ろ向き推論】
　与えられた仮説が現在のアサーション集合において成り立つかどうかをルールを用いて検証していく。
「Ａ＝Ｃを証明するためには，Ｂ＝Ｃ，が示されればよい」と「目標Ａ＝Ｃ」の「副目標Ｂ＝Ｃ」を導く推論