=Paper=
{{Paper
|id=Vol-2558/short9
|storemode=property
|title=A Metacognitive Triggering Mechanism for Anticipatory Thinking
|pdfUrl=https://ceur-ws.org/Vol-2558/short9.pdf
|volume=Vol-2558
|authors=Alexander Hough,Othalia Larue,Ion Juvina
|dblpUrl=https://dblp.org/rec/conf/aaaifs/HoughLJ19
}}
==A Metacognitive Triggering Mechanism for Anticipatory Thinking==
A Metacognitive Triggering Mechanism for Anticipatory Thinking Alexander R. Hough1,2, Othalia Larue1, and Ion Juvina1 1Wright State University, Psychology Department, ASTECCA laboratory, Dayton, OH 45435, USA 2ORISE at Air Force Research Laboratory, Wright-Patterson Air Force Base, OH 45433, USA hough.15@wright.edu, othalia.larue@wright.edu, and ion.juvina@wright.edu Abstract trends (trajectory tracking), and being mindful of connec- Current autonomous systems have the ability to adapt to envi- tions, implications, and interdependencies betw een events ronmental changes in real-time, but limited ability to engage in (Conditional). Geden et al. (2019) and Klein et al. (2011) anticipatory thinking (AT) with the flexibility to generalize and have slightly different approaches, however, they both iden- consider hypothetical future situations. We argue that metacog- tified similar AT processes: recognizing feature and cue re- nitive processes are important for an and provide supporting lit- lationships between situations, extrapolation or generaliza- erature primarily from psychology. As an example, we present a metacognitive monitoring mechanism implemented in a cog- tion to other states, and construction of mental models based nitive model and discuss ways to extend the mechanism to allow on available evidence. for dynamic behavior and anticipatory thinking capabilities. Anticipating future events is crucial. The real world is dy- namic, often unpredictable, may have ill-defined goals, and may involve high stakes. The ability to generate, use, and Anticipatory Thinking1 reason about plans or goals to direct behavior and adapt to changes is important for intelligent behavior (Newell and Anticipatory thinking (AT) is the deliberate exploration and Simon 1972; Schank and Abelson 1977) and autonomy consideration of hypothetical future outcomes in order to (Johnson et al. 2016; Vattam et al. 2013). Goal-driven be- identify an appropriate action or plan (Amos-Binks and havior leverages discrepancies between expectations and the Dannenhauer 2019; Geden et al. 2018). AT involves an ar- environment in real-time, and when detected, they are ad- ray of cognitive processes (Klein et al., 2003; Koziol, Bud- dressed by modifying goals, reasoning about goals, and ding, and Chidekel 2012), such as mental simulation, recog- learning (Aha 2018; Cox et al. 2016; Mun͂oz, et al. 2019; nition, preparation, and development of expectancies, which Pozanco, Fernández, and Borrajo 2018; Roberts et al. 2018). are not completely understood prior to an event occurring Amos-Binks and Dannenhauer (2019) suggest most current (Klein, Snowden, and Pin 2011; Warwick and Hutton 2007). systems lack AT capabilities, such as the ability to address It is considered distinct from prediction (Klein et al. 2011) unknown hypothetical future events by identifying and and is described as gambling with attention in hopes of di- avoiding errors or discrepancies before they occur, and how recting it towards the most relevant event (Klein et al. 2007). to effectively trade off costs of computation and benefits of Geden et al. (2019) identified three forms of AT: how past considering a large number of possible futures. AT systems states led to current states (retrospective branching), antici- need to strike a balance between flexibility and stability in pating future states and their indicators (prospective branch- order to adapt to dynamic real-world environments before ing), and focusing on a potential future and working back- conditions change (Bratman, Israel, and Pollack 1988). wards (backcasting). Klein et al. (2011) takes a more natu- Klein et al. (2011) suggest good AT requires one to be ralistic approach to AT emphasizing the detection of dis- sensitive to the constraints and affordances based on their crepancies through recognition and degree of match be- own beliefs, capabilities, and the current situation. Metacog- tween past, current, and future situations (pattern matching), nitive monitoring could help overcome the computation using “trajectory” to prepare for the future and extrapolate problem and some of the barriers to AT identified by Klein Copyright © 2020 for this paper by its authors. Use permitted under Crea- tive Commons License Attribution 4.0 International (CC BY 4.0). et al. (2011), such as taking a passive stance, becoming fix- CRT were able to generate heuristic and deliberate answers, ated on patterns, explaining away evidence or interpreta- more accurately rate performance of others and themselves, tions, and being overconfident. Similar to AT as a metacog- and were able to better focus on the most relevant features nitive capability (Amos-Binks and Dannenhauer 2019), we of a problem. Epstein et al. (1996) found that the ability to emphasize how the calibration between metacognitive mon- shift between heuristic and deliberate thinking was better itoring and reality could help indicate when AT is needed, than exclusively relying on one. Metacognitive monitoring how to accomplish it efficiently, and reduce the number of as measured by the CRT, FOR, and related tasks may be futures to consider. We explore psychological metacogni- more related to actual intelligence than traditional measures, tive measurements regarding conflict detection and resolv- because it includes motivation and ability (Frederick 2005; ing processes in simpler tasks and discuss how these capa- Toplak, West, and Stanovich 2011). For instance, Barr et al. bilities could be extended to AT. (2015) found the CRT positively correlates with cognitive ability, need for cognition, analogies, the remote associates test, and negatively with faith in intuition. Furthermore, the A Critical Role for Metacognition CRT correlates with cognitive ability, performance on heu- ristic and biases tasks, belief bias, rational thinking, set shift- Humans use heuristics to make efficient and accurate deci- ing, and working memory, and predicts rational thinking sions (Cosmidies and Tooby 1996; Gigerenzer and Gaiss- performance independent of intelligence, executive func- maier 2011), but this can lead to systematic error in inappro- tioning, and thinking dispositions (Toplak et al. 2012). priate, novel, or misleading environments (Evans and Sta- Conflict associated with metacognitive experience has novich 2013; Kahneman 2011; Kahneman and Klein 2009). been measured using response times (De Neys and Glumicic A critical ability is recognizing when an approach is inade- 2008; Pennycook et al. 2015a), the FOR (Thompson et al. quate and suppressing it to come up with an alternative (Sta- 2011), the CRT (Frederick 2005), and activation of specific novich 2018). This ability is metacognition, which serves to brain regions including the anterior cingulate cortex (Crox- detect conflict or mismatch regarding an environment and a son et al. 2009; Kennerley et al. 2009) and medial prefrontal strategy, type of processing, or expectation. This detection cortex (Botvinick et al. 1999; Cohen, Botvinick, and Carter depends on predictability and cues in the environment, abil- 2000) often associated with cognitive control. This conflict ity to recognize relevant cues, and whether goals are reach- is still observed when manipulations are in place to mini- able (Dannenhauer et al. 2018; Evans and Stanovich 2013; mize deliberation (Pennycook et al., 2015a; Thompson and Johnson et al. 2016; Klein 1998; Klein et al. 2007; Penny- Johnson, 2014), and error signals during comprehension cook, Fugelsang, and Koehler 2015a; Stanovich 2018; (Glenberg, Wilkinson, and Epstein 1982; McNamara et al., Vattam, et al. 2013). This process is referred to as metacog- 1996) and disfluency appear to prompt similar responses nitive monitoring or experience, which provides feedback, (Alter et al. 2007). Metacognitive monitoring appears to in- leads to control decisions, activates knowledge, and can be volve both top-down and bottom-up processes, where the calibrated through experience leading to better regulation willingness or motivation to engage in analytic thinking behavior (Efklides 2006; Efklides, Samara, and Petropoulou (e.g., CRT) appears to be top-down, while the detection of 1999; Flavell 1979). Conflict often triggers the need for a conflicts that triggers the engagement (e.g., FOR) appears to different approach towards solving a problem or completing be bottom-up (Pennycook et al. 2015b; Stanovich 2018). a task (Butcher and Sumner 2011; Dannenahuer et al. 2018; Here, we focus primarily on bottom-up processes, but plan Pennycook 2017; Stanovich 2018). However, it does not al- on further addressing top-down processes in future work. ways lead to efficient processing (Pennycook et al. 2015a, 2015b; Swan, Calvillo, and Revlin 2018) or solutions to re- solve the conflict (Novick and Holyoak 1991). Dynamic Behavior Metacognitive monitoring is effective but not perfect. It may Monitoring and Conflict fail to detect conflict (Swan et al. 2018) or may result in faulty judgments after conflict is detected. Detection may There are several methods for measuring metacognitive not direct one to the necessary knowledge to solve the prob- monitoring (e.g., Gascoine, Higgins, and Wall 2017). Two lem or implement a strategy (Novick and Holyoak 1991) and common methods in psychology are the performance-based the outcome might be influenced by biases, such as overcon- Cognitive Reflection Test (CRT; Frederick 2005) that re- fidence with naive individuals (Fischhoff 2012) or confir- quires overriding a primed heuristic response for a more de- mation bias with the more experienced (Kahneman 2011). liberate response, and the subjective-based Feeling of Right- Klein et al. (2006b) acknowledge that detecting such a con- ness (FOR; Thompson et al. 2011) that indicates one’s ac- flict or recognizing insufficient performance is important, curacy and awareness of their own metacognitive monitor- but understanding how to modify thinking processes to ad- ing. Mata, Ferreira, and Sherman (2012) found that those dress this problem is more valuable. Metacognition could with better metacognitive awareness as measured by the help guide conflict resolution by helping to determine sensemaking loop (Russell et al. 1993). During foraging, an whether the environment calls for more deliberate pro- individual engages in search and filtering of information and cessing or quick, less elaborate responding. Although hu- then applies effort to give it more structure in an iterative mans are often good at sizing up the environment (Klein process. During sensemaking, one utilizes schemas to make 1998) and making efficient tradeoffs between speed and ac- hypotheses and conclusions, similar to the construction of a curacy (Payne, Bettman, and Johnson 1988), exerting men- mental model (e.g., Johnson-Laird 2013). Although not ex- tal effort is often experienced as aversive (Halpern 2014; plicit in the model, there appears to be a metacognitive pro- Kahneman 2011) and may be avoided based on an individ- cess. If there is insufficient evidence for a hypothesis, a case ual’s subjective cost of effort (Westbrook, Kester, and cannot be built, or a discrepancy is detected then the agent Braver 2013). Similarly, in AT the environment may favor goes back to the foraging loop to fill in the gaps or gather considering more hypothetical future situations, exploring evidence for a new schema or hypothesis. Similarly, the some more deeply, or by quickly anticipating and preparing data/frame model (Klein, Moon, and Hoffman 2006a, for a few. Although typically applied to current events, met- 2006b; Klein et al. 2007) does not explicitly mention meta- acognitive monitoring could be extended to future events to cognition, but does involve “questioning the frame” that in- help determine which approach fits better with the environ- cludes anomaly detection or expectancy violations. If there ment. For instance, if an individual engages in the three is a discrepancy, the existing frame can be discarded, elab- types of AT (i.e., pattern matching, trajectory tracking, and orated, preserved, reframed, or compared to another. conditionals) identified by Klein et al. (2011) regarding a Critical thinking is described as the ability to explain, jus- hypothetical future, the presence of conflict among them tify, extrapolate, relate, and apply in ways that go beyond could inform whether that hypothetical future is appropriate knowledge and skill, and training in critical thinking and or if it should be discarded or modified. Metacognitive cali- metacognitive monitoring can enhance understanding and bration could help determine the appropriate response based generalizability (Halpern 1998, 2014; Willingham 2007). on one’s understanding of their own abilities and Similar to metacognitive monitoring, after controlling for knowledge, and how that corresponds to a situation. Re- cognitive ability, critical thinking correlates with the ability search addressing the understanding process, sensemaking, to avoid cognitive biases by thinking logically even when it critical thinking, forecasting, and counterfactual thinking conflicts with prior beliefs and thinking dispositions (West, provide examples of how to identify the source of conflict, Toplak, and Stanovich 2008). To better understand and how to make sense of and resolve it, and determine which teach these skills, Halpern (2010) developed a comprehen- potential outcomes are most likely. sive measure, called the Halpern Critical Thinking Assess- The understanding process was recently defined in a mul- ment (HCTA), which includes decision making, problem tidisciplinary review as “The acquisition, organization, and solving, hypothesis testing, argument analysis, likelihoods appropriate use of knowledge to produce a response directed and uncertainties, and verbal reasoning. The HCTA has gen- towards a goal, when that action is taken with awareness of eralizability across various populations, positively corre- its perceived purpose” (Hough and Gluck forthcoming, p. lates with years of education, and negatively correlates with 11). The review revealed common features of understanding the frequency of negative life events in a real-world outcome and discussed how computer science, education, psychol- inventory (Butler 2012). Critical thinking has some similar- ogy, and philosophy all emphasize the importance of meta- ities to sensemaking, but may be more generalizable and ap- cognition for understanding capabilities. Metacognition was propriate for AT with little available knowledge. described as a self-evaluative feedback mechanism for iden- Forecasting involves predicting the probability that spe- tifying faulty knowledge or gaps that triggers additional pro- cific events will occur. Its associated processes could be cessing or information search, which helps calibrate mental used during AT to help reduce the unnecessary considera- representations with the environment (Butcher and Sumner tion of unlikely future outcomes or to determine which are 2011; Forbus and Hinrichs 2006; Kirk and Laird 2014; more likely and should be better prepared for. Accurate fore- Mayer 1998; Perkins 1998; Perkins and Simmons 1988; casters typically have higher cognitive ability, motivation, Woodward 2003). Better understanding, like expertise, CRT scores, and open-minded thinking (Juvina et al. under could increase the quality of AT by directing attention to- review; Mellers et al. 2015; Tetlock and Gardner 2015). In ward the most relevant features. addition, they often respond faster, have better discrimina- Sensemaking models also involve components of under- bility and calibration, and learn faster. standing, such as abstraction of knowledge, development of Counterfactual thinking occurs after an event is experi- relations, ability to transfer knowledge to distant situations, enced and involves considering forgone outcomes (Byrne and often involves leveraging domain and context infor- 2016; Kahneman and Miller 1986). It is more typical after mation to develop frames (Hough and Gluck forthcoming). failures or shortcomings (Hur 2001; Roese and Olsen 1997; Pirolli and Card’s (2005) sensemaking model includes an Sanna and Turley 1996; Sanna and Turley-Ames 2000) and information foraging loop (Pirolli and Card 1999) and often involves ways to correct or improve upon previous be- not Q then not P) in a “partial insight” (Evans 1977; Wason haviors (Markman et al. 1993; Roese 1997; Roese, Hur, and 1969). Only flipping the correct intuitively compelling card Pennington 1999). Epstude and Roese (2008) suggest that (A) occurs because modus tollens needs to simulate more this may depend on the realization that there is a problem or intermediary mental models compared to the modus ponens. goals are not sufficiently met, which is a form of metacog- Our model was implemented in the ACT-R cognitive ar- nitive monitoring. Improving future outcomes may be chitecture (Anderson, 2007) with a core affect mechanism achieved through goal-oriented reasoning (Epstude and (see Juvina, et al. 2018) and a FOR component to drive de- Roese 2008; Roese and Epstude 2017) or by increases in coupling behavior. Rethinking times, answer changes, and motivation, persistence, and performance (Dyczewski and fluency are functions of the FOR. The FOR is computed Markman 2012; Markman, McMullen, and Elizaga 2008). based on the time required to achieve the initial retrieval of Although after the fact, this type of thinking could provide the answer for the two intuitively compelling cards through experience to help calibrate metacognitive processes, pro- the initial priming rule (autonomous mind), and serves as a vide more constructive ways to think about future events, gateway for further processing. We use the temporal module and help identify relevant alternative possibilities. in ACT-R (Taatgen, van Rijn, and Anderson 2007) to meas- ure time in ticks, which are noisy and increase in time in a A Cognitive Model with Metacognitive Monitoring fashion similar to human time estimation. In the Wason task, We previously developed a model of the Wason card selec- the FOR is computed as a function of the time required to tion task (Wason 1966, 1968) with initial aspects of meta- achieve the initial retrieval of “A” and “3” through the initial cognitive monitoring (see Larue, Hough, and Juvina 2018 priming rule. When the FOR is high, the model goes with for a full description). Our approach was informed by men- the initial answer (i.e., heuristic processing), but when low tal models (Johnson-Laird, 2013) and dual process theories, cognitive decoupling is launched by the reflective mind and specifically Stanovich’s (2009) tripartite framework. Sta- carried out by the algorithmic mind. In the model, the time novich’s (2009) framework provides an explanation of how required to achieve the initial retrievals is assigned to FOR- reflective and adaptive (characterized by reactivity) human inverse (e.g., higher time means lower FOR). When FOR- behavior emerges from the interaction of three distinct cog- inverse is below threshold (see Figure 1), the model goes nitive levels or “minds”. The autonomous mind, responsible with the initial answer (i.e., type 1 processing). When FOR- for fast behaviors, includes instinctive and over-learned pro- inverse is above threshold, cognitive decoupling is launched cesses, domain-specific knowledge, and emotional regula- and the model engages in further processing (i.e., type 2 pro- tion. The algorithmic mind, responsible for cognitive con- cessing) with representations that are copied from its work- trol, can affect decoupling (i.e., simulation) and serial asso- ing memory based on activation during open retrieval (those ciative processes. The reflective mind, responsible for delib- with highest activation are retrieved). The representations erative processing, can trigger or suppress the algorithmic are used in an inner cognitive simulation to indicate which minds’ decoupling and serial associative processes. In this rules from the reflective mind can be applied. The process framework, the reflective mind would be the center for met- by which representations are copied and used in a separate acognitive monitoring. inner simulation is “cognitive decoupling”. The importance Here we briefly describe our model and in the next para- of further processing is a function of the FOR, which deter- graph, discuss how this model could be augmented and ap- mines the extent a decoupling result (i.e., wrong, partial, and plied to AT. In the Wason card selection task, two cards (A complete) is taken into account in the final answer. The and 7) out of four (A, D, 3, and 7) must be flipped over to model produces an answer when the valuation of a represen- verify a rule: If “A” is on one side, then there is a “3” on the tation is above a certain threshold. The valuation and arousal other. “A” and “3” are intuitively compelling to flip over values, which are sub-symbolic quantities added to the cur- because they are both present in the rule. Flipping over “A” rent sub-symbolic equations of ACT-R, help to define the is necessary because it can falsify the rule, however, flipping core affect. When a reward is triggered, valuations are up- over “3” is unnecessary because it may confirm the rule but dated. Rewards are a function of the initial FOR (negative it cannot falsify it. Two types of logical errors are common: factor in the case of negative reward), which affects answer the selection of the unnecessary card (3), and the non-selec- selection (“yes” or “no” answers are produced according to tion of the necessary card (7). We believe selecting the un- how the model “feels” about the answer) (see Figure 1). necessary card results from a metacognitive failure to detect A training procedure was used to simulate individual dif- its inadequacy and not selecting the necessary card, involves ferences in heuristic and analytical behavior, where the dif- incomplete decoupling after the detection and override of ferent degrees of reinforcement allowed the model to learn selecting the unnecessary card. The incomplete decoupling logical skills and vary in FOR. Metacognitive monitoring may result from participants applying modus ponens (if P implemented by the FOR determined if and how much ad- then Q), but failing in the application of modus tollens (if ditional processing occurred. Model simulations produced to hypothetical future states through mental simulation. Fur- thermore, when hypothetical futures are considered they could be weighted based on predicting the probability of their occurrence through forecasting. This process in com- bination with the FOR could also help inform when enough hypothetical futures are considered. These types of pro- cesses could help highlight the most relevant and likely fu- ture outcomes, so that less preparation and planning is re- quired. As the architecture learns more and is placed in con- text, it reacts to events that it might have previously encoun- tered. If there is a match (i.e., full or partial) with a previ- ously developed strategy from cognitive decoupling, this Figure 1. Answer Selection Processes in Our Cognitive Model strategy is recorded and reinforced in the architecture. The reinforcement of this strategy will lead to its prioritization three types of outcomes that are typically observed in hu- in procedural memory over some other strategies and its de- mans: (1) Complete reliance on the autonomous mind (no clarative components will be faster to retrieve in declarative decoupling) leading to the observed common error (cor- memory. This means that the next time this strategy is used, rectly selecting “A” and incorrectly selecting “3” guided by the FOR will better calibrated, resulting in more accurate confirmation bias), (2) partial decoupling (partial insight) and adaptive behavior with the potential for AT capabilities. leading to correctly selecting “A” and not falling for the con- firmation bias (already simulated in a possible world), and (3) complete decoupling allowing for the activation of the Acknowledgements counter-information rule which is less often activated. This research was supported in part by Alex Hough’s ap- pointment to the Student Research Participation Program at Discussion the U.S. Air Force Research Laboratory, 711 th Human Per- formance Wing, Cognitive Science, Models, and Agents We presented some perspectives in metacognitive monitor- Branch, administered by the Oak Ridge Institute for Science ing research and some dynamic higher-level cognitive pro- and Education. Alex would like to thank the Chief Scien- cesses. This research informed the development of our tist’s office of the 711th Human Performance Wing for the model and we believe the interaction between the FOR (met- opportunity to participate in the Repperager internship pro- acognitive monitoring) and decoupling (mental simulation) gram. We also thank Kevin Gluck and two anonymous re- in our model could be applied to AT. viewers for constructive feedback on an earlier draft. In the model discussed here, the FOR determines whether there is a need for more deliberation or a different approach to complete the task. The FOR could be extended to simu- References late future situations through decoupling and include how Alter, A. L.; Oppenheimer, D. M.; Epley, N.; and Eyre, R. N. 2007. much the agent “knows” about the environment. For in- Overcoming Intuition: Metacognitive Difficulty Activates Ana- stance, the FOR could determine how long decoupling lytic Reasoning. Journal of Experimental Psychology: Gen- should continue (e.g., generating counterfactuals) and when eral 136(4): 569-576. it should stop. Sensemaking and critical thinking emphasize psycnet.apa.org/doiLanding?doi=10.1037%2F0096- 3445.136.4.569 generating hypotheses and gathering evidence to indicate Anderson, J. R. 2007. How Can the Human Mind Occur in the the degree each is supported. The FOR could be informative Physical Universe? New York: Oxford University Press. when there is a lack of knowledge, failure to find matching Amos-Binks, A.; and Dannenhauer, D. 2019. Anticipatory Think- strategies or procedures, or a lack of evidence. A partial ing: A Metacognitive Capability. arxiv.org/pdf/1906.12249.pdf matching procedure could be used based on the degree of Barr, N.; Pennycook, G.; Stolz, J. A.; & Fugelsang, J. A. 2015. the FOR, a lower FOR could increase the breadth of future Reasoned Connections: A Dual-process Perspective on Creative situations to consider, and a strategy or approach could be Thought. Thinking & Reasoning 21(1): 61-75. chosen out of a hierarchy based on the FOR. Learning can doi.org/10.1080/13546783.2014.895915 occur over time and counterfactuals could be generated and Botvinick, M.; Nystrom, L. E.; Fissell, K.; Carter, C. S.; and Co- utilized for learning what could have happened based on the hen, J. D. 1999. Conflict Monitoring Versus Selection-For-Action hypothetical actions corresponding to a given situation or in Anterior Cingulate Cortex. Nature 402(6758): 179. doi.org/1710/13fb3f03a2bb0d707d2c73597f436e280728 the environment. Although these processes typically apply to situations in real time, they could be extended and applied Bratman, M. E.; Israel, D. J.; and Pollack, M. E. 1988. Plans and Evans, J. S. B. 1977. Linguistic Factors in Reasoning. Quarterly Resource-Bounded Practical Reasoning. Computational Intelli- Journal of Experimental Psychology 29(2): 297-306. gence 4: 349-355. www.tandfonline.com/doi/abs/10.1080/14640747708400605 doi.org/10.1111/j.1467-8640.1988.tb00284.x Evans, J. S. B.; and Stanovich, K. E. 2013. Dual-Process Theories Butcher, K.; and Sumner, T. 2011. Self-Directed Learning and The of Higher Cognition: Advancing the Debate. Perspectives On Psy- Sensemaking Paradox. Human-Computer Interaction 26: 123-159. chological Science 8(3): 223-241. www.tandfonline.com/doi/abs/10.1080/07370024.2011.556552. doi.org/10.1080/14640747708400605 Butler, H. A. 2012. Halpern Critical Thinking Assessment Predicts Fischoff, B. 2012. Judgment and Decision Making. London and Real-World Outcomes of Critical Thinking. Applied Cognitive New York: Earthscan Psychology 26: 721-729. doi.org/10.1002/acp.2851 Flavell, J. H. 1979. Metacognition and Cognitive Monitoring: A Byrne, R. M. 2016. Counterfactual Thought. Annual Review of New Area of Cognitive–Developmental Inquiry. American Psy- Psychology 67: 135-157. doi.org/10.1146/annurev-psych-122414- chologist 34(10): 906-911. 033249 dx.doi.org/10.1037/0003-066X.34.10.906 Cohen, J. D.; Botvinick, M.; and Carter, C. S. 2000. Anterior Cin- Forbus, K. D., and Hinrichs, T. R. 2006. Companion Cognitive gulate and Prefrontal Cortex: Who's in Control?. Nature Neurosci- Systems: A Step Toward Human-level AI. AI Magazine 27: 83-95. ence 3(5): 421-423. doi.org/10.1038/74783 doi.org/10.1609/aimag.v27i2.1882 Cosmides, L.; and Tooby, J. 1996. Are Humans Good Intuitive Frederick, S. 2005. Cognitive Reflection and Decision Mak- Statisticians After All? Rethinking Some Conclusions from the Lit- ing. Journal of Economic Perspectives 19(4): 25-42. pubs.aea- erature on Judgment Under Uncertainty. Cognition 58(1): 1-73. web.org/doi/pdfplus/10.1257/089533005775196732 doi.org/10.1.1.131.8290. Gascoine, L.; Higgins, S.; and Wall, K. 2017. The Assessment of Croxson, P. L.; Walton, M. E.; O'Reilly, J. X.; Behrens, T. E.; and Metacognition in Children Aged 4–16 Years: A Systematic Re- Rushworth, M. F. 2009. Effort-Based Cost–Benefit Valuation and view. Review of Education 5(1): 3-57. doi.org/10.1002/rev3.3077 the Human Brain. Journal of Neuroscience 29(14): 4531-4541. Geden, M.; Smith, A.; Campbell, J.; Amos-Binks, A.; Mott, B.; https://doi.org/10.1523/JNEUROSCI.4515-08.2009 Feng, J.; and Lester, J. 2018. Towards Adaptive Support for Antic- Cox, M. T.; Alavi, Z.; Dannenhauer, D.; Eyorokon, V.; Munoz- ipatory Thinking. In Proceedings of the Technology, Mind, and So- Avila, H.; and Perlis, D. 2016. MIDCA: A Metacognitive, Inte- ciety. Washington, DC: ACM. doi.org/10.1145/3183654.3183665 grated Dual-Cycle Architecture for Self-Regulated Autonomy. In Geden, M.; Smith, A.; Campbell, J.; Spain, R.; Amos-Binks, A.; Proceedings of the Thirteenth AAAI Conference on Artificial In- Mott, B.; …Lester, J. 2019. Construction and Validation of an An- telligence. Phoenix, AZ: AAAI Press. www.aaai.org/ocs/in- ticipatory Thinking Assessment. PsyAriXiv. dex.php/AAAI/AAAI16/paper/download/12292/12151 doi.org/10.31234/osf.io/9reby Dannenhauer, D.; Cox, M. T.; and Munoz-Avila, H. 2018. Declar- Gigerenzer, G.; and Gaissmaier, W. 2011. Heuristic Decision Mak- ative Metacognitive Expectations for High-Level Cognition. Ad- ing. Annual Review of Psychology 62: 451-482. vances in Cognitive Systems 6: 231-250. www.cogsys.org/pa- doi.org/10.1146/annurev-psych-120709-145346 pers/ACSvol6/papers/paper-6-15.pdf Gilovich, T. 1983. Biased Evaluation and Persistence in Gam- De Neys, W.; and Glumicic, T. 2008. Conflict Monitoring in Dual bling. Journal of Personality and Social Psychology 44(6): 1110. Process Theories of Thinking. Cognition, 106: 1248–1299. https://pdfs.semanticscholar.org/f644/196083e55f0f824f849625f6 doi.org/10.1016/j.cognition.2007.06.002 e5592aa1d686.pdf Dyczewski, E. A.; and Markman, K. D. 2012. General Attainabil- Glenberg, A. M.; Wilkinson, A. C.; and Epstein, W. 1982. The il- ity Beliefs Moderate the Motivational Effects of Counterfactual lusion Of Knowing: Failure in The Self-Assessment of Compre- Thinking. Journal of Experimental Social Psychology 48(5): hension. Memory and Cognition 10: 597-602. https://link.springer 1217-1220. doi.org/10.1016/j.jesp.2012.04.016 .com/content/pdf/10.3758%2FBF03202442.pdf Efklides, A. 2006. Metacognition and Affect: What Can Metacog- Halpern, D. F. 1998. Teaching Critical Thinking for Transfer nitive Experiences Tell Us About the Learning Process? Educa- Across Domains: Disposition, Skills, Structure Training, and Met- tional Research Review 1(1): 3-14. acognitive Monitoring. American Psychologist 53(4): 449. doi.org/10.1016/j.edurev.2005.11.001 doi.org/10.1037/0003-066x.53.4.449 Efklides, A.; Samara, A.; and Petropoulou, M. 1999. Feeling of Halpern, D. F. 2010. Halpern Critical Thinking Assessment. Difficulty: An Aspect of Monitoring That Influences Control. Eu- SCHUHFRIED (Vienna Test System): Moedling, Austria. ropean Journal of Psychology of Education 14(4): 461-476. www.schuhfried.com/viennatestsystem10/tests-test-sets/all-tests- http://www.jstor.org/stable/23420265 from-a-z/test/hcta-halpern-critical-thinking-assessment-1/ Epstein, S.; Pacini, R.; Denes-Raj, V.; and Heier, H. 1996. Individ- Halpern, D. F. 2014. Thought and Knowledge: An Introduction to ual Differences in Intuitive-Experiential and Analytical-Rational Critical Thinking. New York: Psychology Press. Thinking Styles. Journal of Personality and Social Psychology 71(2): 390-405. Hough, A. R.; and Gluck, K. Forthcoming. The understanding psycnet.apa.org/doiLanding?doi=10.1037%2F0022- problem in cognitive science. Advances in Cognitive Systems 7. 3514.71.2.390 Hur, T. (2001). The Role of Regulatory Focus in Activation of Epstude, K.; and Roese, N. J. 2008. The Functional Theory of Counterfactual Thinking. Korean Journal of Social and Personal- Counterfactual Thinking. Personality and Social Psychology Re- ity Psychology 15: 159-171. view 12(2): 168-192. Johnson, B.; Roberts, M.; Apker, T.; and Aha, D. W. 2016. Goal Reasoning with Information Measures. In Proceedings of the Fourth Conference on Advances in Cognitive Systems 4: 1-14. Johnson-Laird, P. N. 2013. The Mental Models Perspective. In The Markman, K. D.; McMullen, M. N.; and Elizaga, R. A. 2008. Oxford Handbook Of Cognitive Psychology, edited by D. Reisberg, Counterfactual thinking, Persistence, and Performance: A Test of 650-667. New York: Oxford University Press. the Reflection and Evaluation Model. Journal of Experimental So- Juvina, I.; Larue, O.; and Hough, A. 2017. Modeling Valuation and cial Psychology 44(2): 421-428. Core Affect in A Cognitive Architecture: The Impact of Valence doi.org/10.1016/j.jesp.2007.01.001 and Arousal on Memory and Decision-Making. Cognitive Systems Mata, A.; Ferreira, M. B.; and Sherman, S. J. 2013. The Metacog- Research 48: 4-24. doi.org/10.1016/j.cogsys.2017.06.002 nitive Advantage of Deliberative Thinkers: A Dual-Process Per- Juvina, I.; Larue, O.; Widmer, C.; Ganapathy, S.; Nadella, S.; and spective on Overconfidence. Journal of Personality and Social Minnery, B. under review. Computer-supported Collaborative In- Psychology 105(3): 353. dx.doi.org/10.1037/a0033640 formation Search for Geopolitical Forecasting. Mayer, R. E. 1998. Cognitive, Metacognitive, and Motivational Kahneman, D. 2011. Thinking, Fast and Slow. New York: Farrar, Aspects of Problem Solving. Instructional Science 26: 49-63. Straus, and Giroux. link.springer.com/con- Kahneman, D.; and Klein, G. 2009. Conditions for Intuitive Exper- tent/pdf/10.1023%2FA%3A1003088013286.pdf tise: A Failure to Disagree. American Psychologist 64(6): 515 526. McNamara, D. S.; Kintsch, E.; Songer, N. B.; and Kintsch, W. doi.org/10.1037/a0016755 1996. Are Good Texts Always Better? Interactions of Text Coher- Kahneman, D.; and Miller, D. T. 1986. Norm Theory: Comparing ence, Background Knowledge, and Levels of Understanding in Reality to Its Alternatives. Psychological Review 93(2): 136. Learning from Text. Cognition and Instruction 14: 1-43. pdfs.semanticscholar.org/9809/8ee48700173e2f09aeff48c4 doi.org/10.1207/s1532690xci1401_1 06ef943918b5.pdf Mellers, B.; Stone, E., Murray, T.; Minster, A.; Rohrbaugh, N.; Bishop, M.; ... and Ungar, L. 2015. Identifying and Cultivating Su- Kennerley, S. W.; Dahmubed, A. F.; Lara, A. H.; and Wallis, J. D. perforecasters as a Method of Improving Probabilistic Predictions. 2009. Neurons in the Frontal Lobe Encode the Value of Multiple Perspectives on Psychological Science 10(3): 267-281. Decision Variables. Journal of Cognitive Neuroscience 21(6): doi.org/10.1177/1745691615577794 1162-1178.www.mitpressjour- nals.org/doi/abs/10.1162/jocn.2009.21100 Muñoz-Avila, H.; Dannenhauer, D.; and Reifsnyder, N. 2019. Is Everything Going According to Plan? Expectations in Goal Rea- Kirk, J. R.; and Laird, J. 2014. Interactive Task Learning for Sim- soning Agents. In Proceedings of the AAAI Conference on Artifi- ple Games. Advances in Cognitive Systems 3: 13-30. cial Intelligence 33: 9823-9829. www.cogsys.org/pdf/paper-9-3-33.pdf doi.org/10.1609/aaai.v33i01.33019823 Klein, G. 1998. Sources of Power: How People Make Decisions. Muñoz -Avila, H.; and Cox, M. T. 2008. Case-based Plan Adapta- Cambridge, MA: MIT Press. tion: An Analysis and Review. IEEE Intelligent Systems 23: 75– Klein, G.; Moon., B.; and Hoffman, R. R. 2006a. Making Sense of 81. doi.org/10.1109/MIS.2008.59 Sensemaking 1: Alternative Perspectives. IEEE Intelligent Systems Newell, A.; and Simon, H. 1972. Human Problem Solving. Eng- 21(4): 70-73. doi.org/10.1109/MIS.2006.75 lewood Cliffs, NJ: Prentice-Hall. Klein, G.; Moon., B.; and Hoffman, R. R. 2006b. Making Sense of Novick, L. R.; and Holyoak, K. J. 1991. Mathematical Problem Sensemaking 2: A Macro Cognitive Model. IEEE Intelligent Sys- Solving by Analogy. Journal of Experimental Psychology: Learn- tems 21(5): 88-92. doi.org/10.1109/MIS.2006.100 ing, Memory, and Cognition 17(3): 398-415. Klein, G.; Phillips, J. K.; Rall, E.; and Peluso, D. A. 2007. A https://pdfs.semanticscholar.org/6bc0/a20b01f0ebfc243d00de3 Data/Frame Theory of Sensemaking. In Expertise out of context: e55f6387f8a77b8.pdf Proceedings of the 6th international conference on naturalistic de- Payne, J. W.; Bettman, J. R.; and Johnson, E. J. 1988. Adaptive cision making, edited by R. R. Hoffman, 118-160. New York: Psy- Strategy Selection in Decision Making. Journal of Experimental chology Press. Psychology: Learning, Memory, and Cognition 14(3): 534-552. Klein, G.; Ross, K. G.; Moon, B. M.; Klein, D. E.; Hoffman, R. R.; apps.dtic.mil/dtic/tr/fulltext/u2/a170858.pdf and Hollnagel, E. (2003). Macrocognition. IEEE Intelligent Sys- Pennycook, G. 2017. A Perspective on the Theoretical Foundation tems, 18(3), 81-85. doi.org/10.1109/MIS.2003.1200735 of Dual Process Models. In Dual Process Theory 2.0, edited by W. Klein, G.; Snowden, D.; and Pin, C. L. 2007. Anticipatory Think- De Neys, 6-26. New York: Routledge. ing. In Proceedings of the Eighth International NDM Conference, Pennycook, G.; Fugelsang, J. A.; and Koehler, D. J. 2015a. What edited by K. Mosier and U. Fischer, 1-8. Pacific Grove, CA, June Makes Us Think? A Three-Stage Dual-Process Model of Analytic 2007. Engagement. Cognitive Psychology 80: 34-72. Kurtz, C.F.; and Snowden, D.J. 2003. The New Dynamics of Strat- doi.org/10.1016/j.cogpsych.2015.05.001 egy: Sensemaking In A Complex and Complicated World. e-Busi- Pennycook, G.; Fugelsang, J. A.; and Koehler, D. J. 2015b. Every- ness Management, 42. doi.org/10.1147/sj.423.0462 day Consequences of Analytic Thinking. Current Directions in Larue, O.; Hough, A.; and Juvina, I. (2018). A Cognitive Model of Psychological Science 24(6): 425-432. Switching Between Reflective and Reactive Decision Making in doi.org/10.1177/0963721415604610 The Wason Task. In Proceedings of the Sixteenth International Perkins, D. N. 1998. What is Understanding? In Teaching for Un- Conference on Cognitive Modeling, edited by I. Juvina, J. Houpt, derstanding: Linking Research with Practice, edited by M. S. and C. Myers, 55-60. Madison, WI: University of Wisconsin. Wiske, 39-57. San Francisco, CA: Jossey-Bass. Markman, K. D.; Gavanski, I.; Sherman, S. J.; and McMullen, M. Perkins, D. N.; and Simmons, R. 1988. Patterns of Misunderstand- N. 1993. The Mental Simulation of Better and Worse Possible ing: An Integrative Model for Science, Math, and Programming. Worlds. Journal of Experimental Social Psychology 29: 87-109. Review of Educational Research 58: 303-326. doi.org/10.1006/jesp.1993.1005 doi.org/10.3102/00346543058003303 Pirolli, P.; and Russell, D. M. 2011. Introduction to This Special https://psycnet.apa.org/doiLanding?doi=10.1037%2F0033- Issue on Sensemaking. Human-Computer Interaction 26: 1-8. 295X.114.3.577. www.tandfonline.com/doi/full/10.1080/07370024.2011.556557 Tetlock, P. E.; and Gardner, D. 2015. Superforcasting: The Art and Pirolli, P.; and Card, S. K. 1999. Information Foraging. Psycholog- Science of Prediction. New York, NY: Crown. ical Review 106: 643-675. Thompson, V. A.; and Johnson, S. C. 2014. Conflict, Metacogni- Pirolli, P.; and Card, S. K. 2005. The Sensemaking Process and tion, and Analytic Thinking. Thinking and Reasoning 20(2): 215- Leverage Points for Analyst Technology. Paper presented at the 244. doi.org/10.1080/13546783.2013.869763 International Conference on Intelligence Analysis, McLean, VA. Thompson, V. A.; Evans, J. S. B.; and Campbell, J. I. 2013. Match- pdfs.semanticscholar.org/f6b5/4379043d0ee28bea45555f481af1a ing Bias on the Selection Task: It's Fast and Feels Good. Thinking 693c16c.pdf and Reasoning 19: 431-452. Pozanco, A.; Fernández, S.; and Borrajo, D. 2018. Learning-driven doi.org/10.1080/13546783.2013.820220 Goal Generation. AI Communications 31: 137–150. Thompson, V. A.; Prowse Turner, J. A.; and Pennycook, G. 2011. Roberts, M.; Borrajo, D.; Cox, M. T.; and Yorke-Smith, N. 2018. Intuition, Reason, and Metacognition. Cognitive Psychology 63: Special Issue on Goal Reasoning. AI Communications 31: 115– 107-140. doi.org/10.1016/j.cogpsych.2011.06.001 116. http://doi.org/10.3233/AIC-180754 Toplak, M. E.; West, R. F.; and Stanovich, K. E. 2011. The Cog- Roese, N. J.; and Epstude, K. 2017. The Functional Theory of nitive Reflection Test as A Predictor of Performance on Heuristics- Counterfactual Thinking: New Evidence, New Challenges, New And-Biases Tasks. Memory and Cognition 39(7): 1275-1289. Insights. In Advances in Experimental Social Psychology: Vol. 56, link.springer.com/article/10.3758%2Fs13421-011-0104-1 edited by J. M. Olson, 1-79. Cambridge, MA: Academic Press. Vattam, S.; Klenk, M.; Molineaux, M.; and Aha, D. W. 2013. doi.org/10.1016/bs.aesp.2017.02.001 Breadth of Approaches to Goal Reasoning: A Research Survey. Roese, N. J.; and Olson, J. M. 1997. Counterfactual Thinking: The In Goal Reasoning: Papers from the ACS Workshop, edited by D. Intersection of Affect and Function. In Advances in experimental W. Aha, M. T. Cox, and H. Muñoz-Avila. Technical Report CS- social psychology: Vol. 29, edited by M. P. Zanna, 1-59. San Di- TR-5029. College Park, MD: University of Maryland, Department ego, CA: Academic Press. of Computer Science. apps.dtic.mil/dtic/tr/fulltext/u2/a603400.pdf doi.org/10.1016/S0065-2601(08)60015-5 Warwick, W.; and Hutton, R. J. B. 2007. Computational and The- Roese, N. J.; Hur, T.; and Pennington, G. L. 1999. Counterfactual oretical Perspectives on Recognition-Primed Decision Making. In Thinking and Regulatory Focus: Implications for Action Versus Expertise out of context: Proceedings of the sixth international Inaction and Sufficiency Versus Necessity. Journal of Personality conference on naturalistic decision making, edited by R. R. Hoff- and Social Psychology 77(6): 1109. man, 429-452. New York: Psychology Press. doi.org/10.1037//0022-3514.77.6.1109 Wason, P. C. 1966. Reasoning. In New horizons in psychology, ed- Russell, D. M.; Stefik, M. J.; Pirolli, P.; and Card, S. K. 1993. The ited by B. Foss, 135-151. London, UK: Penguin. Cost of Structure of Sensemaking. Paper presented at the INTER- Wason, P. C. 1968. Reasoning About a Rule. Quarterly Journal of CHI 1993 conference on Human Factors in Computing Systems, Experimental Psychology 20: 273-281. Amsterdam, the Netherlands. doi.org/10.1145/169059.169209 doi.org/10.1080%2F14640746808400161 Sanna, L. J.; and Turley, K. J. 1996. Antecedents to Spontaneous Wason, P. C. 1969. Regression in Reasoning? British Journal of Counterfactual Thinking: Effects of Expectancy Violation and Psychology 60(4): 471-480. Outcome Valence. Personality and Social Psychology Bulletin 22: doi.org/10.1111/j.2044-8295.1969.tb01221.x 906-919. doi.org/10.1177%2F0146167296229005 Weick, K.E.; and Sutcliffe, K.M. 2001. Managing the Unexpected: Sanna, L. J.; and Turley-Ames, K. J. 2000. Counterfactual Inten- Assuring High Performance in An Age of Complexity. San Fran- sity. European Journal of Social Psychology 30: 273-296. cisco: Jossey-Bass. doi.org/10.1002/(SICI)1099-0992(200003/04)30:2%3C273::AID- West, R. F.; Toplak, M. E.; and Stanovich, K. E. 2008. Heuristics EJSP993%3E3.0.CO;2-Y and Biases as Measures of Critical Thinking: Associations with Schank, R. C.; and Abelson, R. P. 1977. Scripts, Plans, Goals, and Cognitive Ability and Thinking Dispositions. Journal of Educa- Understanding: An Inquiry into Human Knowledge Structures. tional Psychology 100(4): 930-941. Hillsdale, NJ: Lawrence Erlbaum Associates. https://psycnet.apa.org/doiLanding?doi=10.1037%2Fa0012842 Stanovich, K. E. 2009. Distinguishing the Reflective, Algorithmic, Westbrook, A.; Kester, D.; and Braver, T. S. 2013. What is the And Autonomous Minds: Is It Time for A Tri-Process Theory. In Subjective Cost of Cognitive Effort? Load, Trait, and Aging Ef- Two minds: Dual processes and beyond, edited by J. S. B. T. Evans fects Revealed by Economic Preference. PloS one 8(7): e68210. and K. Frankish, 55-88. New York: Oxford University Press. doi.org/10.1371/journal.pone.0068210 Stanovich, K. E. 2018. Miserliness in Human Cognition: The In- Willingham, D. T. 2007. Critical Thinking: Why is it So Hard to teraction of Detection, Override and Mindware. Thinking and Rea- Teach? American Educator 31(3): 8-19. soning 24(4): 423-444. doi.org/10.1080/13546783.2018.1459314 doi.org/10.3200/AEPR.109.4.21-32 Swan, A. B.; Calvillo, D. P.; and Revlin, R. 2018. To Detect or Not Woodward, J. 2003. Making Things Happen: A Theory of Casual to Detect: A Replication and Extension of the Three-stage Explanation. New York, NY: Oxford University Press. Model. Acta Psychologica 187: 54-65. doi.org/10.1016/j.actpsy.2018.05.003 Taatgen, N. A.; Van Rijn, H.; and Anderson, J. 2007. An Integrated Theory of Prospective Time Interval Estimation: The Role of Cog- nition, Attention, and Learning. Psychological Review 114(3): 577-598.