アブダクション、仮説形成、仮説形成法、仮説的推論、発想推論、アブダクティヴな推論、最良の説明への推論、リトロダクション（/）とは、個別の事象を最も適切に説明しうる仮説を導出する論理的推論。仮説形成や仮説的推論などと訳されている。古くはアリストテレスがアパゴーゲー（）について議論している。のちにアパゴーゲーはアブダクション（abduction）と英訳された。チャールズ・サンダース・パースは演繹（deduction）、帰納（induction）に対する第三の方法としてアブダクションの語を用いた。結果や結論を説明するための仮説を形成することを言うこともある。哲学やコンピュータの分野でも定義づけされた言葉として使われている。アブダクションの意味や思考法は、演繹法や帰納法ともまた異なるものであり、失敗の原因を探ったり、計画を立案したり、暗黙的な仮説を形成したりすることにも応用できる。例えば、プログラムの論理的な誤りを探し出し直すという過程では、アブダクティヴな解釈と推論が行われており、一般的な立証論理の手法と通じるものがある。アブダクションは、関連する証拠を――真である場合に――最もよく説明する仮説を選択する推論法である。アブダクションは観察された事実の集合から出発し、それらの事実についての最も尤もらしい、ないしは最良の説明へと推論する。アブダクションという用語はまた、たんに観察結果や結論を説明する仮説が発生することを意味するためにもときおり使われる。だが哲学やコンピュータ研究においては、前者の定義がより一般的である。心理学などではヒューリスティクスと呼ばれている。論理学では、説明はある領域を表現する論理的理論 formula_15 および観察の集合 formula_16 から行なわれる。アブダクションは formula_15 にしたがって formula_16 についての説明の集合を導き、そしてそれらの説明のうちの一つを選択する過程である。 formula_19 が formula_15 にしたがいつつ formula_16 の説明であるためには、 formula_19 は二つの条件を充足しなければならない。形式論理学では、 formula_16 と formula_19 はリテラルの集合であると想定されている。これら二つの文は formula_19 が理論 formula_15 にしたがいつつ formula_16 の説明であるための条件である。通常これら二つの条件を充足する可能な説明 formula_19 に対して、他の最小限の条件が課せられるが、これは（ formula_16 を内含することに寄与しない）的外れな事実がそれらの説明に含められることを避けるためである。アブダクションは formula_19 の要素を選択する過程でもある。「最良の」説明を表現する一要素を選択する基準には、単純性、より蓋然的であること、ないしはその説明の説明力が含まれる。

出典:wikipedia