Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude

Differential Effects of Accumbens Core vs. Shell Lesions in a Rat Concurrent Conditioned Place Preference Paradigm for Cocaine vs. Social Interaction

A main challenge in the therapy of drug dependent individuals is to help them reactivate interest in non-drug-associated activities. Among these activities, social interaction is doubly important because treatment adherence itself depends on it. We previously developed a rat experimental model based on the conditioned place preference (CPP) paradigm in which only four 15-min episodes of social interaction with a gender- and weight-matched male conspecific (i) reversed CPP from cocaine to social interaction despite continuing cocaine training and (ii) prevented the reinstatement of cocaine CPP. In the present study, we investigated if the two subregions of the nucleus accumbens (Acb), i.e., the core (AcbC) and the shell (AcbSh), would differentially affect CPP for cocaine vs social interaction.Animals were concurrently trained for CPP pairing cocaine with one compartment and social interaction with the other (i.e., mutually exclusive stimulus presentation during training). Excitotoxic lesioning of the AcbC or the BLA shifted CPP toward social interaction, whereas AcbSh inactivation shifted CPP toward cocaine.Overall, our findings suggest that inactivation of the AcbC or the BLA is sufficient to shift CPP away from a drug of abuse toward social interaction. Lesioning the AcbSh produced the opposite effect

Fenneman, Frankenhuis, and Todd’s (2022) review of formal impulsivity models : implications for theory and measures of impulsivity

In Fenneman, Frankenhuis, and Todd's (2022) review of theories and integrated impulsivity model, the authors distinguish between information impulsivity (i.e., acting without considering consequences) and temporal impulsivity (i.e., the tendency to pick sooner outcomes over later ones). The authors find that both types of impulsivity can be adaptive in different contexts. For example, when individuals experience scarcity of resources or when they are close to a minimum level of reserves (critical threshold). In this commentary, we extend their findings to a discussion about the measurement of impulsivity. We argue that a common method for measuring temporal impulsivity in which people make decisions between outcomes that are spaced out in time (intertemporal choice tasks), puts individuals in a specific context that is unlikely to generalize well to other situations. Furthermore, trait measures of impulsivity may only be modestly informative about future impulsive behavior because they largely abstract away from important context. To address these issues, we advocate for the development of dynamic measures of the two types of impulsivity. We argue that measuring temporal impulsivity in naturalistic contexts with varying environmental and state parameters could provide insight into whether individuals (i.e., humans and non-human animals) react to environmental changes adaptively, while trait measures of impulsivity more generally should collect and provide more contextual information. Dynamic measurement of different types of impulsivity will also allow for more discussion about adaptive impulsive responses in different contexts, which could help combat the stigmatization of various disorders associated with impulsivity

Effects of ecstasy/polydrug use on memory for associative information

Rationale Associative learning underpins behaviours that are fundamental to the everyday functioning of the individual. Evidence pointing to learning deficits in recreational drug users merits further examination. Objectives A word pair learning task was administered to examine associative learning processes in ecstasy/polydrug users. Methods After assignment to either single or divided attention conditions, 44 ecstasy/polydrug users and 48 non-users were presented with 80 word pairs at encoding. Following this, four types of stimuli were presented at the recognition phase: the words as originally paired (old pairs), previously presented words in different pairings (conjunction pairs), old words paired with new words, and pairs of new words (not presented previously). The task was to identify which of the stimuli were intact old pairs. Results Ecstasy/ploydrug users produced significantly more false-positive responses overall compared to non-users. Increased long-term frequency of ecstasy use was positively associated with the propensity to produce false-positive responses. It was also associated with a more liberal signal detection theory decision criterion value. Measures of long term and recent cannabis use were also associated with these same word pair learning outcome measures. Conjunction word pairs, irrespective of drug use, generated the highest level of false-positive responses and significantly more false-positive responses were made in the divided attention condition compared to the single attention condition. Conclusions Overall, the results suggest that long-term ecstasy exposure may induce a deficit in associative learning and this may be in part a consequence of users adopting a more liberal decision criterion value

Impaired Inhibitory Control in Recreational Cocaine Users

Chronic use of cocaine is associated with impairment in response inhibition but it is an open question whether and to which degree findings from chronic users generalize to the upcoming type of recreational users. This study compared the ability to inhibit and execute behavioral responses in adult recreational users and in a cocaine-free-matched sample controlled for age, race, gender distribution, level of intelligence, and alcohol consumption. Response inhibition and response execution were measured by a stop-signal paradigm. Results show that users and non users are comparable in terms of response execution but users need significantly more time to inhibit responses to stop-signals than non users. Interestingly, the magnitude of the inhibitory deficit was positively correlated with the individuals lifetime cocaine exposure suggesting that the magnitude of the impairment is proportional to the degree of cocaine consumed

Losing the Big Picture: How Religion May Control Visual Attention

Despite the abundance of evidence that human perception is penetrated by beliefs and expectations, scientific research so far has entirely neglected the possible impact of religious background on attention. Here we show that Dutch Calvinists and atheists, brought up in the same country and culture and controlled for race, intelligence, sex, and age, differ with respect to the way they attend to and process the global and local features of complex visual stimuli: Calvinists attend less to global aspects of perceived events, which fits with the idea that people's attentional processing style reflects possible biases rewarded by their religious belief system

Temperament and Impulsivity Predictors of Smoking Cessation Outcomes

Aims: Temperament and impulsivity are powerful predictors of addiction treatment outcomes. However, a comprehensive assessment of these features has not been examined in relation to smoking cessation outcomes.Methods: Naturalistic prospective study. Treatment-seeking smokers (n = 140) were recruited as they engaged in an occupational health clinic providing smoking cessation treatment between 2009 and 2013. Participants were assessed at baseline with measures of temperament (Temperament and Character Inventory), trait impulsivity (Barratt Impulsivity Scale), and cognitive impulsivity (Go/No Go, Delay Discounting and Iowa Gambling Task). The outcome measure was treatment status, coded as “dropout” versus “relapse” versus “abstinence” at 3, 6, and 12 months endpoints. Participants were telephonically contacted and reminded of follow-up face to face assessments at each endpoint. The participants that failed to answer the phone calls or self-reported discontinuation of treatment and failed to attend the upcoming follow-up session were coded as dropouts. The participants that self-reported continuing treatment, and successfully attended the upcoming follow-up session were coded as either “relapse” or “abstinence”, based on the results of smoking behavior self-reports cross-validated with co-oximetry hemoglobin levels. Multinomial regression models were conducted to test whether temperament and impulsivity measures predicted dropout and relapse relative to abstinence outcomes.Results: Higher scores on temperament dimensions of novelty seeking and reward dependence predicted poorer retention across endpoints, whereas only higher scores on persistence predicted greater relapse. Higher scores on the trait dimension of non-planning impulsivity but not performance on cognitive impulsivity predicted poorer retention. Higher non-planning impulsivity and poorer performance in the Iowa Gambling Task predicted greater relapse at 3 and 6 months and 6 months respectively.Conclusion: Temperament measures, and specifically novelty seeking and reward dependence, predict smoking cessation treatment retention, whereas persistence, non-planning impulsivity and poor decision-making predict smoking relapse.This research was funded by the Occupational Medicine Area (Prevention Service); Department of Personality, Assessment and Psychological Treatment, University of Granada (Spain); and Ministerio de Economía y Competitividad grant (MINICO, ref. # PSI2013-45055-P) for the first and second authors

Design and Psychometrics for New Measures of Health-Related Quality of Life in Adults with Type 1 Diabetes: Type 1 Diabetes and Life (T1DAL)

AIMS: To use a three-phase process to develop and validate new self-report measures of diabetes-specific health-related quality of life (HRQOL) for adults with type 1 diabetes. We report on four versions of the Type 1 Diabetes and Life (T1DAL) measure for people age 18-25, 26-45, 46-60, and over 60 years. METHODS: We first conducted qualitative interviews to guide measure creation, then piloted the draft measures. We evaluated psychometric properties at six T1D Exchange Clinic Network sites via completion of T1DAL and validated measures of related constructs. Participants completed the T1DAL again in 4-6 weeks. We used psychometric data to reduce each measure to 23-27 items in length. Finally, we obtained participant feedback on the final measures. RESULTS: The T1DAL-Adult measures demonstrated good internal consistency (α=0.85-0.88) and test-retest reliability (r=0.77-0.87). Significant correlations with measures of general quality of life, generic and diabetes-specific HRQOL, diabetes burden, self-management, and glycemic control demonstrated validity. Factor analyses yielded 4-5 subscales per measure. Participants were satisfied with the final measures and reported they took 5-10 minutes to complete. CONCLUSIONS: The strong psychometric properties of the newly developed self-report T1DAL measures for adults with type 1 diabetes make them appropriate for use in clinical research and care

The systematicity challenge to anti-representational dynamicism

After more than twenty years of representational debate in the cognitive sciences, anti-representational dynamicism may be seen as offering a rival and radically new kind of explanation of systematicity phenomena. In this paper, I argue that, on the contrary, anti-representational dynamicism must face a version of the old systematicity challenge: either it does not explain systematicity, or else, it is just an implementation of representational theories. To show this, I present a purely behavioral and representation-free account of systematicity. I then consider a case of insect sensorimotor systematic behavior: communicating behavior in honey bees. I conclude that anti-representational dynamicism fails to capture the fundamental trait of systematic behaviors qua systematic, i.e., their involving exercises of the same behavioral capacities. I suggest, finally, a collaborative strategy in pursuit of a rich and powerful account of this central phenomenon of high cognition at all levels of explanation, including the representational level

Reduced Spontaneous Eye Blink Rates in Recreational Cocaine Users: Evidence for Dopaminergic Hypoactivity

Chronic use of cocaine is associated with a reduced density of dopaminergic D2 receptors in the striatum, with negative consequences for cognitive control processes. Increasing evidence suggests that cognitive control is also affected in recreational cocaine consumers. This study aimed at linking these observations to dopaminergic malfunction by studying the spontaneous eyeblink rate (EBR), a marker of striatal dopaminergic functioning, in adult recreational users and a cocaine-free sample that was matched on age, race, gender, and personality traits. Correlation analyses show that EBR is significantly reduced in recreational users compared to cocaine-free controls, suggesting that cocaine use induces hypoactivity in the subcortical dopamine system