用語説明

前向き推論

問題を解決していくための手法の1つで,「AならばBである」というルール(知識)を利用して,「Aは真である」という事実から「Bも真でなければならない」という結論を導き出す方法。