“…In this paper, we present a computational cognitive model that incorporates and formalizes aspects of theories of individual-level behavior change (Fishbein and Ajzen, 1975;Ajzen, 1991Ajzen, , 1998Brewer and Rimer, 2008;Michie et al, 2013Michie et al, , 2014Michie et al, , 2017Ajzen and Kruglanski, 2019;West et al, 2020). Such formalization includes addressing the psychological constructs of attitudes (Hunter et al, 1984;Lorenz et al, 2021), self-efficacy (Bandura, 1977;Bandura, 1998), and motivational intensity (Kukla, 1972;Silvestrini et al, 2022). In most cases, these psychological theories and constructs have been verbally specified, although some have been specified with a mathematical foundation (e.g., Hunter et al, 1984;Ajzen, 1991) or in computational agent-based models (e.g., Silvestrini et al, 2022).…”