A proof theoretical abduction method for first order classical logic based on the sequent calculus and a dual one, based on semantic tableaux (analytic tableaux) have been proposed.

• 信念修正，由于新信息而调整信仰的过程，是应用溯因法的另一个领域。