推論様式としてのアブダクションに関連して
対立仮説 H' は無限に存在可能なので，この理論を人工知能等に応用すると永遠に演算を続けることにならないでしょうか？
という質問がありました．確かに可能な対立仮説の総数は場合によっては天文学的になることがあります（系統推定ではその通り）．アブダクションにおける最適解の探索は，現実問題としてはある種のヒューリスティクス（発見法）に頼らざるを得ませんから，解の探索空間が巨大になれば計算時間もかかることはまちがいありません．いまのところは有効な探索アルゴリズム依存であるわけですね．
ただし，アブダクションのもうひとつの顔として「たゆまざる intellectual guess の連鎖」を指摘することは意味があるでしょう．ある探索で得られた解は，それでおしまいではなく，次の探索のための出発点であると考えれば，最適解への長い（かもしれない）道のりそのものがアブダクションであるということもいえるでしょう．
