Generative replay underlies compositional inference in the hippocampal-prefrontal circuit.

Human reasoning depends on reusing pieces of information by putting them together in new ways. However, very little is known about how compositional computation is implemented in the brain. Here, we ask participants to solve a series of problems that each require constructing a whole from a set of elements. With fMRI, we find that representations of novel constructed objects in the frontal cortex and hippocampus are relational and compositional. With MEG, we find that replay assembles elements into compounds, with each replay sequence constituting a hypothesis about a possible configuration of elements. The content of sequences evolves as participants solve each puzzle, progressing from predictable to uncertain elements and gradually converging on the correct configuration. Together, these results suggest a computational bridge between apparently distinct functions of hippocampal-prefrontal circuitry and a role for generative replay in compositional inference and hypothesis testing.

The Tolman-Eichenbaum Machine: Unifying Space and Relational Memory through Generalization in the Hippocampal Formation.

The hippocampal-entorhinal system is important for spatial and relational memory tasks. We formally link these domains, provide a mechanistic understanding of the hippocampal role in generalization, and offer unifying principles underlying many entorhinal and hippocampal cell types. We propose medial entorhinal cells form a basis describing structural knowledge, and hippocampal cells link this basis with sensory representations. Adopting these principles, we introduce the Tolman-Eichenbaum machine (TEM). After learning, TEM entorhinal cells display diverse properties resembling apparently bespoke spatial responses, such as grid, band, border, and object-vector cells. TEM hippocampal cells include place and landmark cells that remap between environments. Crucially, TEM also aligns with empirically recorded representations in complex non-spatial tasks. TEM also generates predictions that hippocampal remapping is not random as previously believed; rather, structural knowledge is preserved across environments. We confirm this structural transfer over remapping in simultaneously recorded place and grid cells.

Using cognitive psychology to understand GPT-3.

We study GPT-3, a recent large language model, using tools from cognitive psychology. More specifically, we assess GPT-3's decision-making, information search, deliberation, and causal reasoning abilities on a battery of canonical experiments from the literature. We find that much of GPT-3's behavior is impressive: It solves vignette-based tasks similarly or better than human subjects, is able to make decent decisions from descriptions, outperforms humans in a multiarmed bandit task, and shows signatures of model-based reinforcement learning. Yet, we also find that small perturbations to vignette-based tasks can lead GPT-3 vastly astray, that it shows no signatures of directed exploration, and that it fails miserably in a causal reasoning task. Taken together, these results enrich our understanding of current large language models and pave the way for future investigations using tools from cognitive psychology to study increasingly capable and opaque artificial agents.

No association between numerical ability and politically motivated reasoning in a large US probability sample.

The highly influential theory of "Motivated System 2 Reasoning" argues that analytical, deliberative ("System 2") reasoning is hijacked by identity when considering ideologically charged issues-leading people who are more likely to engage in such reasoning to be more polarized, rather than more accurate. Here, we fail to replicate the key empirical support for this theory across five contentious issues, using a large gold-standard nationally representative probability sample of Americans. While participants were more accurate in evaluating a contingency table when the outcome aligned with their politics (even when controlling for prior beliefs), we find that participants with higher numeracy were more accurate in evaluating the contingency table, regardless of whether or not the table's outcome aligned with their politics. These findings call for a reconsideration of the effect of identity on analytical reasoning.

Visual event boundaries restrict anchoring effects in decision-making.

Research on higher-level thought has revealed many principles of reasoning and decision-making but has rarely made contact with how we perceive the world in the first place. Here we show how a lower-level property of perception-the spontaneous and task-irrelevant segmentation of continuous visual stimulation into discrete events-can restrict one of the most notorious biases in decision-making: numerical anchoring. Subjects walked down a long room in an immersive three dimensional (3D) animation and then made a numerical judgment (e.g., of how much a suitcase is worth, or of how many hours of community service a minor crime deserved). Critically, some subjects passed through a doorway (a visual event boundary) during their virtual walk, while others did not-equating time, distance traveled, and visual complexity. The anchoring manipulation was especially innocuous, not appearing to be part of the experiment at all. Before the online trial began, subjects reported the two-digit numerical value from a visually distorted "CAPTCHA" ("to verify that you are human")-where this task-irrelevant anchor was either low (e.g., 29) or high (e.g., 92). With no doorway, we observed reliable anchoring effects: Higher CAPTCHA values produced higher estimates. With the doorway, however, such effects were attenuated or even eliminated. This generalized across tasks involving item valuations, factual questions, and legal judgments and in tests of both incidental and explicit anchoring. This demonstrates how spontaneous visual event segmentation can have profound consequences for higher-level thought.

Differential neural correlates underlying visuospatial versus semantic reasoning in autistic children.

While fronto-posterior underconnectivity has often been reported in autism, it was shown that different contexts may modulate between-group differences in functional connectivity. Here, we assessed how different task paradigms modulate functional connectivity differences in a young autistic sample relative to typically developing children. Twenty-three autistic and 23 typically developing children aged 6 to 15 years underwent functional magnetic resonance imaging (fMRI) scanning while completing a reasoning task with visuospatial versus semantic content. We observed distinct connectivity patterns in autistic versus typical children as a function of task type (visuospatial vs. semantic) and problem complexity (visual matching vs. reasoning), despite similar performance. For semantic reasoning problems, there was no significant between-group differences in connectivity. However, during visuospatial reasoning problems, we observed occipital-occipital, occipital-temporal, and occipital-frontal over-connectivity in autistic children relative to typical children. Also, increasing the complexity of visuospatial problems resulted in increased functional connectivity between occipital, posterior (temporal), and anterior (frontal) brain regions in autistic participants, more so than in typical children. Our results add to several studies now demonstrating that the connectivity alterations in autistic relative to neurotypical individuals are much more complex than previously thought and depend on both task type and task complexity and their respective underlying cognitive processes.

Associations between brain imaging-derived phenotypes and cognitive functions.

We aimed to evaluate the potential causal relationship between brain imaging-derived phenotypes and cognitive functions via Mendelian randomization analyses. Genetic instruments for 470 brain imaging-derived phenotypes were selected from a genome-wide association study based on the UK Biobank (n = 33,224). Statistics for cognitive functions were obtained from the genome-wide association study based on the UK Biobank. We used the inverse variance weighted Mendelian randomization method to investigate the associations between brain imaging-derived phenotypes and cognitive functions, and reverse Mendelian randomization analyses were performed for significant brain imaging-derived phenotypes to examine the reverse causation for the identified associations. We identified three brain imaging-derived phenotypes to be associated with verbal-numerical reasoning, including cortical surface area of the left fusiform gyrus (beta, 0.18 [95% confidence interval, 0.11 to 0.25], P = 4.74 × 10-7), cortical surface area of the right superior temporal gyrus (beta, 0.25 [95% confidence interval, 0.15 to 0.35], P = 6.30 × 10-7), and orientation dispersion in the left superior longitudinal fasciculus (beta, 0.14 [95% confidence interval, 0.09 to 0.20], P = 8.37 × 10-7). The reverse Mendelian randomization analysis indicated that verbal-numerical reasoning had no effect on these three brain imaging-derived phenotypes. This Mendelian randomization study identified cortical surface area of the left fusiform gyrus, cortical surface area of the right superior temporal gyrus, and orientation dispersion in the left superior longitudinal fasciculus as predictors of verbal-numerical reasoning.

Inferior parietal cortex represents relational structures for explicit transitive inference.

The human brain is distinguished by its ability to perform explicit logical reasoning like transitive inference. This study investigated the functional role of the inferior parietal cortex in transitive inference with functional MRI. Participants viewed premises describing abstract relations among items. They accurately recalled the relationship between old pairs of items, effectively inferred the relationship between new pairs of items, and discriminated between true and false relationships for new pairs. First, the inferior parietal cortex, but not the hippocampus or lateral prefrontal cortex, was associated with transitive inference. The inferior parietal activity and functional connectivity were modulated by inference (new versus old pairs) and discrimination (true versus false pairs). Moreover, the new/old and true/false pairs were decodable from the inferior parietal representation. Second, the inferior parietal cortex represented an integrated relational structure (ordered and directed series). The inferior parietal activity was modulated by serial position (larger end versus center pairs). The inferior parietal representation was modulated by symbolic distance (adjacent versus distant pairs) and direction (preceding versus following pairs). It suggests that the inferior parietal cortex may flexibly integrate observed relations into a relational structure and use the relational structure to infer unobserved relations and discriminate between true and false relations.

Cross-frequency and inter-regional phase synchronization in explicit transitive inference.

Explicit logical reasoning, like transitive inference, is a hallmark of human intelligence. This study investigated cortical oscillations and their interactions in transitive inference with EEG. Participants viewed premises describing abstract relations among items. They accurately recalled the relationship between old pairs of items, effectively inferred the relationship between new pairs of items, and discriminated between true and false relationships for new pairs. First, theta (4-7 Hz) and alpha oscillations (8-15 Hz) had distinct functional roles. Frontal theta oscillations distinguished between new and old pairs, reflecting the inference of new information. Parietal alpha oscillations changed with serial position and symbolic distance of the pairs, representing the underlying relational structure. Frontal alpha oscillations distinguished between true and false pairs, linking the new information with the underlying relational structure. Second, theta and alpha oscillations interacted through cross-frequency and inter-regional phase synchronization. Frontal theta-alpha 1:2 phase locking appeared to coordinate spectrally diverse neural activity, enhanced for new versus old pairs and true versus false pairs. Alpha-band frontal-parietal phase coherence appeared to coordinate anatomically distributed neural activity, enhanced for new versus old pairs and false versus true pairs. It suggests that cross-frequency and inter-regional phase synchronization among theta and alpha oscillations supports human transitive inference.

Development of Human Lateral Prefrontal Sulcal Morphology and Its Relation to Reasoning Performance.

Previous findings show that the morphology of folds (sulci) of the human cerebral cortex flatten during postnatal development. However, previous studies did not consider the relationship between sulcal morphology and cognitive development in individual participants. Here, we fill this gap in knowledge by leveraging cross-sectional morphologic neuroimaging data in the lateral PFC (LPFC) from individual human participants (6-36 years old, males and females; N = 108; 3672 sulci), as well as longitudinal morphologic and behavioral data from a subset of child and adolescent participants scanned at two time points (6-18 years old; N = 44; 2992 sulci). Manually defining thousands of sulci revealed that LPFC sulcal morphology (depth, surface area, and gray matter thickness) differed between children (6-11 years old)/adolescents (11-18 years old) and young adults (22-36 years old) cross-sectionally, but only cortical thickness showed differences across childhood and adolescence and presented longitudinal changes during childhood and adolescence. Furthermore, a data-driven approach relating morphology and cognition identified that longitudinal changes in cortical thickness of four left-hemisphere LPFC sulci predicted longitudinal changes in reasoning performance, a higher-level cognitive ability that relies on LPFC. Contrary to previous findings, these results suggest that sulci may flatten either after this time frame or over a longer longitudinal period of time than previously presented. Crucially, these results also suggest that longitudinal changes in the cortex within specific LPFC sulci are behaviorally meaningful, providing targeted structures, and areas of the cortex, for future neuroimaging studies examining the development of cognitive abilities.SIGNIFICANCE STATEMENT Recent work has shown that individual differences in neuroanatomical structures (indentations, or sulci) within the lateral PFC are behaviorally meaningful during childhood and adolescence. Here, we describe how specific lateral PFC sulci develop at the level of individual participants for the first time: from both cross-sectional and longitudinal perspectives. Further, we show, also for the first time, that the longitudinal morphologic changes in these structures are behaviorally relevant. These findings lay the foundation for a future avenue to precisely study the development of the cortex and highlight the importance of studying the development of sulci in other cortical expanses and charting how these changes relate to the cognitive abilities those areas support at the level of individual participants.

Rule Abstraction Is Facilitated by Auditory Cuing in REM Sleep.

Sleep facilitates abstraction, but the exact mechanisms underpinning this are unknown. Here, we aimed to determine whether triggering reactivation in sleep could facilitate this process. We paired abstraction problems with sounds, then replayed these during either slow-wave sleep (SWS) or rapid eye movement (REM) sleep to trigger memory reactivation in 27 human participants (19 female). This revealed performance improvements on abstraction problems that were cued in REM, but not problems cued in SWS. Interestingly, the cue-related improvement was not significant until a follow-up retest 1 week after the manipulation, suggesting that REM may initiate a sequence of plasticity events that requires more time to be implemented. Furthermore, memory-linked trigger sounds evoked distinct neural responses in REM, but not SWS. Overall, our findings suggest that targeted memory reactivation in REM can facilitate visual rule abstraction, although this effect takes time to unfold.SIGNIFICANCE STATEMENT The ability to abstract rules from a corpus of experiences is a building block of human reasoning. Sleep is known to facilitate rule abstraction, but it remains unclear whether we can manipulate this process actively and which stage of sleep is most important. Targeted memory reactivation (TMR) is a technique that uses re-exposure to learning-related sensory cues during sleep to enhance memory consolidation. Here, we show that TMR, when applied during REM sleep, can facilitate the complex recombining of information needed for rule abstraction. Furthermore, we show that this qualitative REM-related benefit emerges over the course of a week after learning, suggesting that memory integration may require a slower form of plasticity.

Neuromodulatory effects of parietal high-definition transcranial direct-current stimulation on network-level activity serving fluid intelligence.

Fluid intelligence (Gf) involves rational thinking skills and requires the integration of information from different cortical regions to resolve novel complex problems. The effects of non-invasive brain stimulation on Gf have been studied in attempts to improve Gf, but such studies are rare and the few existing have reached conflicting conclusions. The parieto-frontal integration theory of intelligence (P-FIT) postulates that the parietal and frontal lobes play a critical role in Gf. To investigate the suggested role of parietal cortices, we applied high-definition transcranial direct current stimulation (HD-tDCS) to the left and right parietal cortices of 39 healthy adults (age 19-33 years) for 20 min in three separate sessions (left active, right active and sham). After completing the stimulation session, the participants completed a logical reasoning task based on Raven's Progressive Matrices during magnetoencephalography. Significant neural responses at the sensor level across all stimulation conditions were imaged using a beamformer. Whole-brain, spectrally constrained functional connectivity was then computed to examine the network-level activity. Behaviourally, we found that participants were significantly more accurate following left compared to right parietal stimulation. Regarding neural findings, we found significant HD-tDCS montage-related effects in brain networks thought to be critical for P-FIT, including parieto-occipital, fronto-occipital, fronto-parietal and occipito-cerebellar connectivity during task performance. In conclusion, our findings showed that left parietal stimulation improved abstract reasoning abilities relative to right parietal stimulation and support both P-FIT and the neural efficiency hypothesis. KEY POINTS: Abstract reasoning is a critical component of fluid intelligence and is known to be served by multispectral oscillatory activity in the fronto-parietal cortices. Recent studies have aimed to improve abstract reasoning abilities and fluid intelligence overall through behavioural training, but the results have been mixed. High-definition transcranial direct-current stimulation (HD-tDCS) applied to the parietal cortices modulated task performance and neural oscillations during abstract reasoning. Left parietal stimulation resulted in increased accuracy and decreased functional connectivity between occipital regions and frontal, parietal, and cerebellar regions. Future studies should investigate whether HD-tDCS alters abstract reasoning abilities in those who exhibit declines in performance, such as healthy ageing populations.

Healthy aging alters the oscillatory dynamics and fronto-parietal connectivity serving fluid intelligence.

Fluid intelligence (Gf) involves logical reasoning and novel problem-solving abilities. Often, abstract reasoning tasks like Raven's progressive matrices are used to assess Gf. Prior work has shown an age-related decline in fluid intelligence capabilities, and although many studies have sought to identify the underlying mechanisms, our understanding of the critical brain regions and dynamics remains largely incomplete. In this study, we utilized magnetoencephalography (MEG) to investigate 78 individuals, ages 20-65 years, as they completed an abstract reasoning task. MEG data was co-registered with structural MRI data, transformed into the time-frequency domain, and the resulting neural oscillations were imaged using a beamformer. We found worsening behavioral performance with age, including prolonged reaction times and reduced accuracy. MEG analyses indicated robust oscillations in the theta, alpha/beta, and gamma range during the task. Whole brain correlation analyses with age revealed relationships in the theta and alpha/beta frequency bands, such that theta oscillations became stronger with increasing age in a right prefrontal region and alpha/beta oscillations became stronger with increasing age in parietal and right motor cortices. Follow-up connectivity analyses revealed increasing parieto-frontal connectivity with increasing age in the alpha/beta frequency range. Importantly, our findings are consistent with the parieto-frontal integration theory of intelligence (P-FIT). These results further suggest that as people age, there may be alterations in neural responses that are spectrally specific, such that older people exhibit stronger alpha/beta oscillations across the parieto-frontal network during abstract reasoning tasks.

What is quality in long covid care? Lessons from a national quality improvement collaborative and multi-site ethnography.

BACKGROUND: Long covid (post covid-19 condition) is a complex condition with diverse manifestations, uncertain prognosis and wide variation in current approaches to management. There have been calls for formal quality standards to reduce a so-called "postcode lottery" of care. The original aim of this study-to examine the nature of quality in long covid care and reduce unwarranted variation in services-evolved to focus on examining the reasons why standardizing care was so challenging in this condition. METHODS: In 2021-2023, we ran a quality improvement collaborative across 10 UK sites. The dataset reported here was mostly but not entirely qualitative. It included data on the origins and current context of each clinic, interviews with staff and patients, and ethnographic observations at 13 clinics (50 consultations) and 45 multidisciplinary team (MDT) meetings (244 patient cases). Data collection and analysis were informed by relevant lenses from clinical care (e.g. evidence-based guidelines), improvement science (e.g. quality improvement cycles) and philosophy of knowledge. RESULTS: Participating clinics made progress towards standardizing assessment and management in some topics; some variation remained but this could usually be explained. Clinics had different histories and path dependencies, occupied a different place in their healthcare ecosystem and served a varied caseload including a high proportion of patients with comorbidities. A key mechanism for achieving high-quality long covid care was when local MDTs deliberated on unusual, complex or challenging cases for which evidence-based guidelines provided no easy answers. In such cases, collective learning occurred through idiographic (case-based) reasoning, in which practitioners build lessons from the particular to the general. This contrasts with the nomothetic reasoning implicit in evidence-based guidelines, in which reasoning is assumed to go from the general (e.g. findings of clinical trials) to the particular (management of individual patients). CONCLUSION: Not all variation in long covid services is unwarranted. Largely because long covid's manifestations are so varied and comorbidities common, generic "evidence-based" standards require much individual adaptation. In this complex condition, quality improvement resources may be productively spent supporting MDTs to optimise their case-based learning through interdisciplinary discussion. Quality assessment of a long covid service should include review of a sample of individual cases to assess how guidelines have been interpreted and personalized to meet patients' unique needs. STUDY REGISTRATION: NCT05057260, ISRCTN15022307.

The roots of polarization in the individual reward system.

Polarization raises concerns for democracy and society, which have expanded in the internet era where (mis)information has become ubiquitous, its transmission faster than ever, and the freedom and means of opinion expressions are expanding. The origin of polarization however remains unclear, with multiple social and emotional factors and individual reasoning biases likely to explain its current forms. In the present work, we adopt a principled approach and show that polarization tendencies can take root in biased reward processing of new information in favour of choice confirmatory evidence. Through agent-based simulations, we show that confirmation bias in individual learning is an independent mechanism and could be sufficient for creating polarization at group level independently of any additional assumptions about the opinions themselves, a priori beliefs about them, information transmission mechanisms or the structure of social relationship between individuals. This generative process can interact with polarization mechanisms described elsewhere, but constitutes an entrenched biological tendency that helps explain the extraordinary resilience of polarization against mitigating efforts such as dramatic informational change in the environment.

A Practical Significance Bias in Laypeople's Evaluation of Scientific Findings.

People often rely on scientific findings to help them make decisions-however, failing to report effect magnitudes might lead to a potential bias in assuming findings are practically significant. Across two online studies (Prolific; N = 800), we measured U.S. adults' endorsements of expensive interventions described in media reports that led to effects that were small, large, or of unreported magnitude between groups. Participants who viewed interventions with unreported effect magnitudes were more likely to endorse interventions compared with those who viewed interventions with small effects and were just as likely to endorse interventions as those who viewed interventions with large effects, suggesting a practical significance bias. When effect magnitudes were reported, participants on average adjusted their evaluations accordingly. However, some individuals, such as those with low numeracy skills, were more likely than others to act on small effects, even when explicitly prompted to first consider the meaningfulness of the effect.

Exploring Clinical Lessons Learned by Experienced Hospitalists from Diagnostic Errors and Successes.

BACKGROUND: Diagnostic errors cause significant patient harm. The clinician's ultimate goal is to achieve diagnostic excellence in order to serve patients safely. This can be accomplished by learning from both errors and successes in patient care. However, the extent to which clinicians grow and navigate diagnostic errors and successes in patient care is poorly understood. Clinically experienced hospitalists, who have cared for numerous acutely ill patients, should have great insights from their successes and mistakes to inform others striving for excellence in patient care. OBJECTIVE: To identify and characterize clinical lessons learned by experienced hospitalists from diagnostic errors and successes. DESIGN: A semi-structured interview guide was used to collect qualitative data from hospitalists at five independently administered hospitals in the Mid-Atlantic area from February to June 2022. PARTICIPANTS: 12 academic and 12 community-based hospitalists with ≥ 5 years of clinical experience. APPROACH: A constructivist qualitative approach was used and "reflexive thematic analysis" of interview transcripts was conducted to identify themes and patterns of meaning across the dataset. RESULTS: Five themes were generated from the data based on clinical lessons learned by hospitalists from diagnostic errors and successes. The ideas included appreciating excellence in clinical reasoning as a core skill, connecting with patients and other members of the health care team to be able to tap into their insights, reflecting on the diagnostic process, committing to growth, and prioritizing self-care. CONCLUSIONS: The study identifies key lessons learned from the errors and successes encountered in patient care by clinically experienced hospitalists. These findings may prove helpful for individuals and groups that are authentically committed to moving along the continuum from diagnostic competence towards excellence.

Associations of screen use with cognitive development in early childhood: the ELFE birth cohort.

BACKGROUND: The associations of screen use with children's cognition are not well evidenced and recent, large, longitudinal studies are needed. We aimed to assess the associations between screen use and cognitive development in the French nationwide birth cohort. METHODS: Time and context of screen use were reported by parents at ages 2, 3.5 and 5.5. Vocabulary, non-verbal reasoning and general cognitive development were assessed with the MacArthur-Bates Communicative Development Inventory (MB) at age 2, the Picture Similarities subtest from the British Ability Scales (PS) at age 3.5 and the Child Development Inventory (CDI) at ages 3.5 and 5.5. Outcome variables were age-adjusted and standardized (mean = 100, SD = 15). Multiple imputations were performed among children (N = 13,763) with ≥1 screen use information and ≥1 cognitive measures. Cross-sectional and longitudinal associations between screen use and cognitive development were assessed by linear regression models adjusted for sociodemographic and birth factors related to the family and children, and children's lifestyle factors competing with screen use. Baseline cognitive scores were further considered in longitudinal analysis. RESULTS: TV-on during family meals at age 2, not screen time, was associated with lower MB scores at age 2 (ß [95% CI] = -1.67 [-2.21, -1.13]) and CDI scores at age 3.5 (-0.82 [-1.31, -0.33]). In cross-sectional analysis, screen time was negatively associated with CDI scores at ages 3.5 (-0.67 [-0.94, -0.40]) and 5.5 (-0.47 [-0.77, -0.16]), and, in contrast, was positively associated with PS scores (0.39 [0.07, 0.71]) at age 3.5. Screen time at age 3.5 years was not associated with CDI scores at age 5.5 years. CONCLUSIONS: Our study found weak associations of screen use with cognition after controlling for sociodemographic and children's birth factors and lifestyle confounders, and suggests that the context of screen use matters, not solely screen time, in children's cognitive development.

Indirect reciprocity with abductive reasoning.

Indirect reciprocity is a reputational mechanism through which cooperative behavior can be promoted amongst a group of individuals. However, in order for this mechanism to effectively do so, cheating must be appropriately punished and cooperating appropriately rewarded. Errors in assessments and actions can hinder this process. In such a setting, individuals might try to reason about evidence to assign reputations given the possibility of errors. Here, we consider a well-established theory of reasoning used to combine evidence, abductive reasoning, as a possible means by which such errors can be circumvented. Specifically, we use Dempster-Shafer theory to model individuals who account for possible errors by combining information about their beliefs about the status of the population and the errors rates and then choose the simplest scenario that could explain their observations in the context of these beliefs. We investigate the effectiveness of abductive reasoning at promoting cooperation for five social norms: Scoring, Shunning, Simple Standing, Staying, and Stern Judging. We find that, generally, abductive reasoning can outperform non-reasoning models at ameliorating the effects of the aforementioned challenges and promote higher levels of cooperation under low-error conditions. However, for high-error conditions, we find that abductive reasoning can undermine cooperation. Furthermore, we also find that a degree of bias towards believing previously held reputations can help sustain cooperation.

Towards a qualitative theory of the interruption of eating behavior change.

The poor maintenance of eating behavior change is one of the main obstacles to minimizing weight regain after weight loss during diets for non-surgical care of obese or overweight patients. We start with a known informal explanation of interruption in eating behavior change during severe restriction and formalize it as a causal network involving psychological variables, which we extend with energetic variables governed by principles of thermodynamics. The three core phenomena of dietary behavior change, i.e., non-initiation, initiation followed by discontinuation and initiation followed by non-discontinuation, are expressed in terms of the value of the key variable representing mood or psychological energy, the fluctuation of which is the result of three causal relationships. Based on our experimental knowledge of the time evolution profile of the three causal input variables, we then proceed to a qualitative analysis of the resulting theory, i.e., we consider an over-approximation of it which, after discretization, can be expressed in the form of a finite integer-based model. Using Answer Set Programming, we show that our formal model faithfully reproduces the three phenomena and, under a certain assumption, is minimal. We generalize this result by providing all the minimal models reproducing these phenomena when the possible causal relationships exerted on mood are extended to all the other variables (not just those assumed in the informal explanation), with arbitrary causality signs. Finally, by a direct analytical resolution of an under-approximation of our theory, obtained by assuming linear causalities, as a system of linear ODEs, we find exactly the same minimal models, proving that they are also equal to the actual minimal models of our theory since these are framed below and above by the models of the under-approximation and the over-approximation. We determine which parameters need to be person-specific and which can be considered invariant, i.e., we explain inter-individual variability. Our approach could pave the way for universally accepted theories in the field of behavior change and, more broadly, in other areas of psychology.