next up previous
Next: 1 変数を含むパターンとデータのマッチング Up: ソフトウェア特論 講義資料 前向き推論，後ろ向き推論 Previous: ソフトウェア特論 講義資料 前向き推論，後ろ向き推論

$<$前向き推論$>$

プロダクションシステムでは，すでに知っている 事実から推論に利用できるルールを調べる際に， 事実とルールのパターンが合うものを調べてゆく ということを行います．そこで，その最初の 事実データと変数を含むパターンとの照合を 行う手続きの実現法を調べてゆくことにします．
next up previous
Next: 1 変数を含むパターンとデータのマッチング Up: ソフトウェア特論 講義資料 前向き推論，後ろ向き推論 Previous: ソフトウェア特論 講義資料 前向き推論，後ろ向き推論
generated through LaTeX2HTML. M.Inaba 平成18年5月21日