[旧: 論理] アブダクション

abduction

不明推測法 (バーバラ・ミント=著, 山 康史=訳 : 新版 考える技術、書く技術 (ダイヤモンド社, 1999) p.271.)

三中 信宏: 系統樹思考の世界 (講談社現代新書, 2006) p.178.

>　人工知能におけるアブダクションの研究史の中でとくに大きな影響を及ぼしたジョセフセン夫妻は、アブダクションの推論様式を次のように定式化しました。

　　前提1 データＤがある。
　　前提2 ある仮説ＨはデータＤを説明できる。
　　前提3 Ｈ以外のすべとの対立仮説Ｈ'はＨほどうまくＤを説明できない。
　　結 論 したがって、仮説Ｈを受け入れる。

三中 信宏: 系統樹思考の世界 (講談社現代新書, 2006) p.179.

>　ジョセフソン夫妻は、アブダクションによりある仮説がベストであると判定されるための諸条件を箇条書きに要約しました(John R. Josephson and Susan G. Josephson 編, 1994)。

　　(1) 仮説Ｈが対立仮説Ｈ'よりも決定的にすぐれていること。
　　(2) 仮説Ｈそれ自身が十分に妥当であること。
　　(3) データＤが信頼できること。
　　(4) 可能な対立仮説Ｈ'の集合を網羅的に比較検討していること。
　　(5) 仮説Ｈが正しかったときの利得とまちがったときの損失を勘案すること。
　　(6) そもそも特定の仮説を選び出す必要性があるかどうかを検討すること。