うしろむきすいろん【後ろ向き推論】 〔backward reasoning〕 ある結論が正しいかどうかを，それが成立する条件とルールを繰り返し探索して求める人工知能の手法の一。後方推論。