論理的推論
演繹
仮定と結論から規則を推論する
帰納
仮定と結論から規則を推論する
abduction
結論と規則から仮定を推論する
https://ja.wikipedia.org/wiki/論理的推論