Cet article présente un modèle logique pour étudier le raisonnement d'un opérateur humain, et son altération par des biais cognitifs dans des situations d'accident. Ce modèle formel de diagnostic s'appuie sur des révisions de croyance minimales pour reconstituer le comportement apparemment irrationnel de l'opérateur. Nous appliquons ce modèle à l'accident du vol 447 d'Air France, et nous montrons qu'un tel modèle permet de retrouver des motifs de biais cognitifs soupçonnés d'avoir joué un rôle dans le comportement des pilotes ainsi que d'autres motifs de biais plausibles.