ソフトウェア特論 講義資料
前向き推論，後ろ向き推論

稲葉 雅幸
inaba@jsk.t.u-tokyo.ac.jp

ここでは知識に基づく推論を行うシステムとして 前向き推論を行うプロダクションシステムと， 後ろ向き推論を行う論理形言語Prologの仕組みを 学ぶことにします． ここでの知識は，変数を用いて一般的なルールの集合と 変数は含まない事実の集合とからなると考えます． この知識に対して，ある事実が成り立つかどうかを 調べる際に，すでに知っている事実をルールに基づいて 新しい事実を増やしながら調べる前向き推論と， 成り立つかどうか調べたい事実をルールから逆に 成り立つためにはどういう事実が成り立っていないと いけないかを調べながら進む後ろ向き推論の 二通りが考えられます．