abduction
仮説形成
個別の事象を最も適切に説明しうる仮説を導出する論理的推論
結論と規則から仮定を推論する
この仮説は正しいかどうかはわからない
そのため演繹などで正しいことを検証する必要がある
例: デバッグ
プログラムが、特定の入力で予期しない出力をしている (観察)
プログラムの特定の部分がバグを引き起こしている可能性がある (仮説)
あとは、その仮説が正しいかどうかを検証すれば良い
実際に修正してバグが再現するかどうかを見れば良い
形式的には論理学でいう後件肯定に等しい ref
https://ja.wikipedia.org/wiki/アブダクション
Code is Engineering, Types are Science - Tweag
https://gyazo.com/5e62a358a4c771b84fde5260ef49f323
Bが観察された
自分はA→Bを知っているので、これを仮説とする