後ろ向き推論

後ろ向き推論は、人工知能での推論規則のひとつ。もうひとつは、前向き推論。makeやprologなどで利用されています。ゴール駆動型と呼ばれ、目的のものに繋がる推論規則を見出すことに適しています。