 This is the understanding that has been most frequently cited and used when providing formal approaches to abductive reasoning. Still, typical definitions of an abductive problem and its solution(s) have been given in terms of a (propositional, first-order) theory and a formula, leaving the attitudes of the involved agents out of the picture.