アブダクション

abduction。演繹の反対。
「演繹」とか「帰納」みたいなかっこいい訳語を用意して欲しい。「仮説推論」長いな。

演繹：A->B, B->C ならば A->C
アブダクション：A->B, A->Cだ。B->Cかもしれない

論理的に正しくはない。論理学の範疇じゃないと思う。
ひらめきとか創造とかの部類。
ああでも帰納もそこまで論理的じゃないか。