Towards meta-interpretive learning of programming language semantics

We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metagol meta-interpretive learning system. We highlighted the challenging aspects of this scenario, including abstracting over function symbols, nonterminating examples, and learning non-observed predicates, and proposed extensions to Metagol helpful for overcoming these challenges, which may prove useful in other domains.Comment: ILP 2019, to appea

Self-Protective Function of Post-Conflict Bystander Affiliation in Mandrills

Background: Affiliative interactions exchanged between victims of aggression and individuals not involved in the original aggression (bystanders) have been observed in various species. Three hypothetical functions have been proposed for these interactions: consolation, self-protection and substitute reconciliation, but data to test them are scanty. Methodology/Principal Findings: We conducted post-conflict and matched control observations on a captive group of mandrills (Mandrillus sphinx). We found that victims often redirected aggression to bystanders, that they received most affiliation from those bystanders that were frequently the target of redirection, and that bystander affiliation reduced the likelihood of redirection. Bystander affiliation did not reduce the victim\u27s distress (as measured by its scratching rates) and was not received primarily from kin/friends. Finally, bystander affiliation did not reduce the likelihood of renewed aggression from the original aggressor. Conclusions/Significance: These results provide support for the self-protection hypothesis but not for the consolation and substitute reconciliation hypotheses

A thalamic reticular networking model of consciousness

<p>Abstract</p> <p>[Background]</p> <p>It is reasonable to consider the thalamus a primary candidate for the location of consciousness, given that the thalamus has been referred to as the gateway of nearly all sensory inputs to the corresponding cortical areas. Interestingly, in an early stage of brain development, communicative innervations between the dorsal thalamus and telencephalon must pass through the ventral thalamus, the major derivative of which is the thalamic reticular nucleus (TRN). The TRN occupies a striking control position in the brain, sending inhibitory axons back to the thalamus, roughly to the same region where they receive afferents.</p> <p>[Hypotheses]</p> <p>The present study hypothesizes that the TRN plays a pivotal role in dynamic attention by controlling thalamocortical synchronization. The TRN is thus viewed as a functional networking filter to regulate conscious perception, which is possibly embedded in thalamocortical networks. Based on the anatomical structures and connections, modality-specific sectors of the TRN and the thalamus appear to be responsible for modality-specific perceptual representation. Furthermore, the coarsely overlapped topographic maps of the TRN appear to be associated with cross-modal or unitary conscious awareness. Throughout the latticework structure of the TRN, conscious perception could be accomplished and elaborated through accumulating intercommunicative processing across the first-order input signal and the higher-order signals from its functionally associated cortices. As the higher-order relay signals run cumulatively through the relevant thalamocortical loops, conscious awareness becomes more refined and sophisticated.</p> <p>[Conclusions]</p> <p>I propose that the thalamocortical integrative communication across first- and higher-order information circuits and repeated feedback looping may account for our conscious awareness. This TRN-modulation hypothesis for conscious awareness provides a comprehensive rationale regarding previously reported psychological phenomena and neurological symptoms such as blindsight, neglect, the priming effect, the threshold/duration problem, and TRN-impairment resembling coma. This hypothesis can be tested by neurosurgical investigations of thalamocortical loops via the TRN, while simultaneously evaluating the degree to which conscious perception depends on the severity of impairment in a TRN-modulated network.</p

Cortical Processing during Dynamic Motor Adaptation

Abstract In this chapter we investigate the role of motor cortex in adapting movements to novel dynamic environments. We present results from two experi-ments in which monkey or human subjects learned to make two-dimensional reaching movements while holding a robotic manipulandum that applied a predictable pattern of forces (a curl field) to their hand. In the first study, we analyzed electrophysiological data recorded in motor cortex while monkeys adapted or readapted to the novel forces on each day of the experiment. In the second study, we perturbed the excitability of motor cortex using repetitive transcranial magnetic stimulation (rTMS) as human participants adapted to the forces. From the first experiment, we present qualitative evidence that a network of cortical areas including the supplementary motor area, premotor cortex, and primary motor cortex (M1) not only encodes kinematic and dynamic parameters of motor execution, but also registers changes in encoding that could provide a substrate for motor memory. Based on the second experiment, we qualify the role ofM1 inmotor memory, by showing that its disruption by rTMS does not interfere with the process of initial motor adaptation, but rather with offline improvement as measured at retest on the following day