A formal method to analyse human reasoning and interpretation in incident management
The study of human reasoning often concentrates on reasoningfrom an already assumed interpretation of the world, thereby neglectingreasoning towards an interpretation. In the recent literature within cognitivescience, the means taken from the area of nonmonotonic logic are proposed toanalyse the latter aspect of human reasoning. In this paper, this claim is furtherworked out and tested against the empirical material of human reasoning duringcritical situations (incident management). Empirical and simulated reasoningtraces have been analysed by comparing them and by automatically checkingtheir properties.