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

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

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

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

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

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

An exploration of the determinants for decision to migrate existing resources to cloud computing using an integrated TOE-DOI model

Migrating existing resources to cloud computing is a strategic organisational decision that can be difficult. It requires the consideration and evaluation of a wide range of technical and organisational aspects. Although a significant amount of attention has been paid by many industrialists and academics to aid migration decisions, the procedure remains difficult. This is mainly due to underestimation of the range of factors and characteristics affecting the decision for cloud migration. Further research is needed to investigate the level of effect these factors have on migration decisions and the overall complexity. This paper aims to explore the level of complexity of the decision to migrate the cloud. A research model based on the diffusion of innovation (DOI) theory and the technology-organization-environment (TOE) framework was developed. The model was tested using exploratory and confirmatory factor analysis. The quantitative analysis shows the level of impact of the identified variables on the decision to migrate. Seven determinants that contribute to the complexity of the decisions are identified. They need to be taken into account to ensure successful migration. This result has expanded the collective knowledge about the complexity of the issues that have to be considered when making decisions to migrate to the cloud. It contributes to the literature that addresses the complex and multidimensional nature of migrating to the cloud

BOOTES-IR: Near IR follow-up GRB observations by a robotic system

“BOOTES-IR” is the extension of the BOOTES experiment, which operates in Southern Spain since 1998, to the near IR (NIR). The goal is to follow up the early stage of the gamma ray burst (GRB) afterglow emission in the NIR, alike BOOTES does already at optical wavelengths. The scientific case that drives the BOOTES-IR performance is the study of GRBs with the support of spacecraft like INTEGRAL, SWIFT and GLAST. Given that the afterglow emission in both, the NIR and the optical, in the instances immediately following a GRB, is extremely bright (reached V = 8.9 in one case), it should be possible to detect this prompt emission at NIR wavelengths too. The combined observations by BOOTES-IR and BOOTES-1 and BOOTES-2 will allow for real time identification of trustworthy candidates to have a high redshift (z > 5). It is expected that, few minutes after a GRB, the IR magnitudes be H ∼ 7–10, hence very high quality spectra can be obtained for objects as far as z = 10 by larger instruments

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