These models and simulations have been tagged “reasoning”.
From Stephen Toulmin's Book The Uses of Argument Cambridge University Press 2003. See wikipedia
IM-1175 with computable arguments, based on ideas from Micropublications paper about Claims, Evidence, Representations and Context Networks