論理に基づいたアブダクション
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/02 05:45 UTC 版)
「アブダクション」の記事における「論理に基づいたアブダクション」の解説
論理学では、説明はある領域を表現する論理的理論 T {\displaystyle T} 、および観察の集合 O {\displaystyle O} 、 から行なわれる。アブダクションは O {\displaystyle O} についての説明の集合 E {\displaystyle E} を T {\displaystyle T} にしたがって導き、そしてそれらの説明のうち、捨象され得ずに残る一つを最終的に選択していく過程である。 E {\displaystyle E} が T {\displaystyle T} にしたがいつつ O {\displaystyle O} の説明であるためには、 E {\displaystyle E} は二つの条件を充足しなければならない。 O {\displaystyle O} が、 E {\displaystyle E} かつ T {\displaystyle T} 、から導かれる。 E {\displaystyle E} が T {\displaystyle T} と無矛盾である。 形式論理学では、 O {\displaystyle O} と E {\displaystyle E} はリテラルの集合であると想定されている。これら二つの文は E {\displaystyle E} が理論 T {\displaystyle T} にしたがいつつ O {\displaystyle O} の説明であるための条件である。通常これら二つの条件を充足する可能な説明 E {\displaystyle E} に対して、他の最小限の条件が課せられるが、これは（ O {\displaystyle O} を内含することに寄与しない）的外れな事実がそれらの説明に含められることを避けるためである。アブダクションは E {\displaystyle E} の要素を選択する過程でもある。「最良の」説明を表現する一要素を選択する基準には、単純性が、より蓋然的であることが、ないしはその説明の説明力が、含まれる。
※この「論理に基づいたアブダクション」の解説は、「アブダクション」の解説の一部です。
「論理に基づいたアブダクション」を含む「アブダクション」の記事については、「アブダクション」の概要を参照ください。
- 論理に基づいたアブダクションのページへのリンク
