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

Flavonoids as modulators of memory and learning: molecular interactions resulting in behavioural effects

There is considerable interest in the potential of a group of dietary-derived phytochemicals known as flavonoids in modulating neuronal function and thereby influencing memory, learning and cognitive function. The present review begins by detailing the molecular events that underlie the acquisition and consolidation of new memories in the brain in order to provide a critical background to understanding the impact of flavonoid-rich diets or pure flavonoids on memory. Data suggests that despite limited brain bioavailability, dietary supplementation with flavonoid-rich foods, such as blueberry, green tea and Ginkgo biloba lead to significant reversals of age-related deficits on spatial memory and learning. Furthermore, animal and cellular studies suggest that the mechanisms underpinning their ability to induce improvements in memory are linked to the potential of absorbed flavonoids and their metabolites to interact with and modulate critical signalling pathways, transcription factors and gene and/or protein expression which control memory and learning processes in the hippocampus; the brain structure where spatial learning occurs. Overall, current evidence suggests that human translation of these animal investigations are warranted, as are further studies, to better understand the precise cause-and-effect relationship between flavonoid intake and cognitive outputs

Atypical audiovisual speech integration in infants at risk for autism

The language difficulties often seen in individuals with autism might stem from an inability to integrate audiovisual information, a skill important for language development. We investigated whether 9-month-old siblings of older children with autism, who are at an increased risk of developing autism, are able to integrate audiovisual speech cues. We used an eye-tracker to record where infants looked when shown a screen displaying two faces of the same model, where one face is articulating/ba/and the other/ga/, with one face congruent with the syllable sound being presented simultaneously, the other face incongruent. This method was successful in showing that infants at low risk can integrate audiovisual speech: they looked for the same amount of time at the mouths in both the fusible visual/ga/− audio/ba/and the congruent visual/ba/− audio/ba/displays, indicating that the auditory and visual streams fuse into a McGurk-type of syllabic percept in the incongruent condition. It also showed that low-risk infants could perceive a mismatch between auditory and visual cues: they looked longer at the mouth in the mismatched, non-fusible visual/ba/− audio/ga/display compared with the congruent visual/ga/− audio/ga/display, demonstrating that they perceive an uncommon, and therefore interesting, speech-like percept when looking at the incongruent mouth (repeated ANOVA: displays x fusion/mismatch conditions interaction: F(1,16) = 17.153, p = 0.001). The looking behaviour of high-risk infants did not differ according to the type of display, suggesting difficulties in matching auditory and visual information (repeated ANOVA, displays x conditions interaction: F(1,25) = 0.09, p = 0.767), in contrast to low-risk infants (repeated ANOVA: displays x conditions x low/high-risk groups interaction: F(1,41) = 4.466, p = 0.041). In some cases this reduced ability might lead to the poor communication skills characteristic of autism

Impaired perception of facial motion in autism spectrum disorder

Copyright: © 2014 O’Brien et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.This article has been made available through the Brunel Open Access Publishing Fund.Facial motion is a special type of biological motion that transmits cues for socio-emotional communication and enables the discrimination of properties such as gender and identity. We used animated average faces to examine the ability of adults with autism spectrum disorders (ASD) to perceive facial motion. Participants completed increasingly difficult tasks involving the discrimination of (1) sequences of facial motion, (2) the identity of individuals based on their facial motion and (3) the gender of individuals. Stimuli were presented in both upright and upside-down orientations to test for the difference in inversion effects often found when comparing ASD with controls in face perception. The ASD group’s performance was impaired relative to the control group in all three tasks and unlike the control group, the individuals with ASD failed to show an inversion effect. These results point to a deficit in facial biological motion processing in people with autism, which we suggest is linked to deficits in lower level motion processing we have previously reported

Increased Sensitivity to Mirror Symmetry in Autism

Can autistic people see the forest for the trees? Ongoing uncertainty about the integrity and role of global processing in autism gives special importance to the question of how autistic individuals group local stimulus attributes into meaningful spatial patterns. We investigated visual grouping in autism by measuring sensitivity to mirror symmetry, a highly-salient perceptual image attribute preceding object recognition. Autistic and non-autistic individuals were asked to detect mirror symmetry oriented along vertical, oblique, and horizontal axes. Both groups performed best when the axis was vertical, but across all randomly-presented axis orientations, autistics were significantly more sensitive to symmetry than non-autistics. We suggest that under some circumstances, autistic individuals can take advantage of parallel access to local and global information. In other words, autistics may sometimes see the forest and the trees, and may therefore extract from noisy environments genuine regularities which elude non-autistic observers

Molecular Cytogenetic Analysis and Resequencing of Contactin Associated Protein-Like 2 in Autism Spectrum Disorders

Autism spectrum disorders (ASD) are a group of related neurodevelopmental syndromes with complex genetic etiology.1 We identified a de novo chromosome 7q inversion disrupting Autism susceptibility candidate 2 (AUTS2) and Contactin Associated Protein-Like 2 (CNTNAP2) in a child with cognitive and social delay. We focused our initial analysis on CNTNAP2 based on our demonstration of disruption of Contactin 4 (CNTN4) in a patient with ASD;2 the recent finding of rare homozygous mutations in CNTNAP2 leading to intractable seizures and autism;3 and in situ and biochemical analyses reported herein that confirm expression in relevant brain regions and demonstrate the presence of CNTNAP2 in the synaptic plasma membrane fraction of rat forebrain lysates. We comprehensively resequenced CNTNAP2 in 635 patients and 942 controls. Among patients, we identified a total of 27 nonsynonymous changes; 13 were rare and unique to patients and 8 of these were predicted to be deleterious by bioinformatic approaches and/or altered residues conserved across all species. One variant at a highly conserved position, I869T, was inherited by four affected children in three unrelated families, but was not found in 4010 control chromosomes (p = 0.014). Overall, this resequencing data demonstrated a modest nonsignificant increase in the burden of rare variants in cases versus controls. Nonethless, when viewed in light of two independent studies published in this issue of AJHG showing a relationship between ASD and common CNTNAP2 alleles,4,5 the cytogenetic and mutation screening data suggest that rare variants may also contribute to the pathophysiology of ASD, but place limits on the magnitude of this contribution

Toward Innovative, Cost-Effective, and Systemic Solutions to Improve Outcomes and Well-Being of Military Families Affected by Autism Spectrum Disorder

The burdens faced by military families who have a child with autism are unique. The usual challenges of securing diagnostic, treatment, and educational services are compounded by life circumstances that include the anxieties of war, frequent relocation and separation, and a demand structure that emphasizes mission readiness and service. Recently established military autism-specific health care benefits set the stage for community-viable and cost-effective solutions that can achieve better outcomes for children and greater well-being for families. Here we argue for implementation of evidence-based solutions focused on reducing age of diagnosis and improving access to early intervention, as well as establishment of a tiered menu of services, individualized to the child and family, that fit with the military ethos and system of health care. Absence of this new model of care could compromise the utility and sustainability of the autism-specific benefit

Reduced preference for social rewards in a novel tablet based task in young children with Autism Spectrum Disorders

Atypical responsivity to social rewards has been observed in young children with or at risk of Autism Spectrum Disorders (ASD). These observations contributed to the hypothesis of reduced social motivation in ASD. In the current study we develop a novel task to test social reward preference using a tablet computer (iPad), where two differently coloured buttons were associated with a social and a nonsocial rewarding image respectively. 63 young children, aged 14–68 months, with and without a diagnosis of ASD took part in the study. The experimental sessions were also recorded on video, using an in-built webcam on the tablet as well as an external camera. Children with ASD were found to show a reduced relative preference for social rewards, indexed by a lower proportion of touches for the button associated with the social reward image. Greater social preference as measured using the tablet-based task was associated with increased use of social communicative behaviour such as eye contact with the experimenter and social smile in response to the social reward image. These results are consistent with earlier findings from eye-tracking studies, and provide novel empirical insights into atypical social reward responsivity in ASD

Compositionality for Quantitative Specifications

We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations

Visual Scan Paths and Recognition of Facial Identity in Autism Spectrum Disorder and Typical Development

Background: Previous research suggests that many individuals with autism spectrum disorder (ASD) have impaired facial identity recognition, and also exhibit abnormal visual scanning of faces. Here, two hypotheses accounting for an association between these observations were tested: i) better facial identity recognition is associated with increased gaze time on the Eye region; ii) better facial identity recognition is associated with increased eye-movements around the face. Methodology and Principal Findings: Eye-movements of 11 children with ASD and 11 age-matched typically developing (TD) controls were recorded whilst they viewed a series of faces, and then completed a two alternative forced-choice recognition memory test for the faces. Scores on the memory task were standardized according to age. In both groups, there was no evidence of an association between the proportion of time spent looking at the Eye region of faces and age-standardized recognition performance, thus the first hypothesis was rejected. However, the 'Dynamic Scanning Index' - which was incremented each time the participant saccaded into and out of one of the core-feature interest areas - was strongly asso ciated with age-standardized face recognition scores in both groups, even after controlling for various other potential predictors of performance. Conclusions and Significance: In support of the second hypothesis, results suggested that increased saccading between core-features was associated with more accurate face recognition ability, both in typical development and ASD. Causal directions of this relationship remain undetermined.10 page(s