LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

Logical reasoning, i.e., deductively inferring the truth value of a conclusion from a set of premises, is an important task for artificial intelligence with wide potential impacts on science, mathematics, and society. While many prompting-based strategies have been proposed to enable Large Language Models (LLMs) to do such reasoning more effectively, they still appear unsatisfactory, often failing in subtle and unpredictable ways. In this work, we investigate the validity of instead reformulating such tasks as modular neurosymbolic programming, which we call LINC: Logical Inference via Neurosymbolic Computation. In LINC, the LLM acts as a semantic parser, translating premises and conclusions from natural language to expressions in first-order logic. These expressions are then offloaded to an external theorem prover, which symbolically performs deductive inference. Leveraging this approach, we observe significant performance gains on FOLIO and a balanced subset of ProofWriter for three different models in nearly all experimental conditions we evaluate. On ProofWriter, augmenting the comparatively small open-source StarCoder+ (15.5B parameters) with LINC even outperforms GPT-3.5 and GPT-4 with Chain-of-Thought (CoT) prompting by an absolute 38% and 10%, respectively. When used with GPT-4, LINC scores 26% higher than CoT on ProofWriter while performing comparatively on FOLIO. Further analysis reveals that although both methods on average succeed roughly equally often on this dataset, they exhibit distinct and complementary failure modes. We thus provide promising evidence for how logical reasoning over natural language can be tackled through jointly leveraging LLMs alongside symbolic provers. All corresponding code is publicly available at https://github.com/benlipkin/lin

The cellular and synaptic architecture of the mechanosensory dorsal horn

The deep dorsal horn is a poorly characterized spinal cord region implicated in processing low-threshold mechanoreceptor (LTMR) information. We report an array of mouse genetic tools for defining neuronal components and functions of the dorsal horn LTMR-recipient zone (LTMR-RZ), a role for LTMR-RZ processing in tactile perception, and the basic logic of LTMR-RZ organization. We found an unexpectedly high degree of neuronal diversity in the LTMR-RZ: seven excitatory and four inhibitory subtypes of interneurons exhibiting unique morphological, physiological, and synaptic properties. Remarkably, LTMRs form synapses on between four and 11 LTMR-RZ interneuron subtypes, while each LTMR-RZ interneuron subtype samples inputs from at least one to three LTMR classes, as well as spinal cord interneurons and corticospinal neurons. Thus, the LTMR-RZ is a somatosensory processing region endowed with a neuronal complexity that rivals the retina and functions to pattern the activity of ascending touch pathways that underlie tactile perception

The involvement of tau in nucleolar transcription and the stress response

Tau is known for its pathological role in neurodegenerative diseases, including Alzheimer’s disease (AD) and other tauopathies. Tau is found in many subcellular compartments such as the cytosol and the nucleus. Although its normal role in microtubule binding is well established, its nuclear role is still unclear. Here, we reveal that tau localises to the nucleolus in undifferentiated and differentiated neuroblastoma cells (SHSY5Y), where it associates with TIP5, a key player in heterochromatin stability and ribosomal DNA (rDNA) transcriptional repression. Immunogold labelling on human brain sample confirms the physiological relevance of this finding by showing tau within the nucleolus colocalises with TIP5. Depletion of tau results in an increase in rDNA transcription with an associated decrease in heterochromatin and DNA methylation, suggesting that under normal conditions tau is involved in silencing of the rDNA. Cellular stress induced by glutamate causes nucleolar stress associated with the redistribution of nucleolar non-phosphorylated tau, in a similar manner to fibrillarin, and nuclear upsurge of phosphorylated tau (Thr231) which doesn’t colocalise with fibrillarin or nucleolar tau. This suggests that stress may impact on different nuclear tau species. In addition to involvement in rDNA transcription, nucleolar non-phosphorylated tau also undergoes stress-induced redistribution similar to many nucleolar protein

Full production cycle performance of gene-edited, sterile Atlantic salmon - growth, smoltification, welfare indicators and fillet composition

Using germ cell-free (GCF), sterile, dnd-knockout salmon for farming could solve the problems associated with precocious maturation and genetic introgression of farmed breeds into wild populations. However, prior to using GCF fish in the salmon farming industry, it is crucial to understand if, or how, the GCF phenotype differs from wild type (WT) counterparts in terms of growth and welfare. To characterize the GCF phenotype throughout a production cycle, we reared GCF and WT salmon in indoor common garden tanks for 3 years, until harvest size. Regarding body size, smoltification markers (mRNA levels of gill Na+/K+-ATPase [NKA] subunits), plasma stress indicators (pH, glucose, sodium, chloride, calcium), relative heart size, prevalence of vertebra deformities and fillet proximate composition, GCF fish could not be distinguished from WTs. Transient differences were detected in plasma concentrations of lactate and osmolality, and only a few genes were differentially expressed in WT and GCF transcriptomes of muscle and pituitary. At harvest, fillets from GCF and WT salmon contained the same amount of omega-3 fatty acids, however the relative content of omega-3 fatty acids was higher in GCF compared to WT males. Towards harvest size, body growth rate, condition factor and relative liver size were significantly higher in WT than in GCF fish, probably relating to initiation of puberty in WTs. Since GCF salmon never become sexually mature, it is possible to postpone the time of harvest to exploit the growth potential uninhibited by sexual maturation. In conclusion, GCF salmon performed to a large extent similarly to their WT counterparts but had the clear advantage of never maturing

The Brain Effects of Laser Acupuncture in Healthy Individuals: An fMRI Investigation

Background: As laser acupuncture is being increasingly used to treat mental disorders, we sought to determine whether it has a biologically plausible effect by using functional magnetic resonance imaging (fMRI) to investigate the cerebral activation patterns from laser stimulation of relevant acupoints. Methodology/Principal Findings: Ten healthy subjects were randomly stimulated with a fibreoptic infrared laser on 4 acupoints (LR14, CV14, LR8 and HT7) used for depression following the principles of Traditional Chinese Medicine (TCM), and 1 control non-acupoint (sham point) in a blocked design (alternating verum laser and placebo laser/rest blocks), while the blood oxygenation level-dependent (BOLD) fMRI response was recorded from the whole brain on a 3T scanner. Many of the acupoint laser stimulation conditions resulted in different patterns of neural activity. Regions with significantly increased activation included the limbic cortex (cingulate) and the frontal lobe (middle and superior frontal gyrus). Laser acupuncture tended to be associated with ipsilateral brain activation and contralateral deactivation that therefore cannot be simply attributed to somatosensory stimulation. Conclusions/Significance: We found that laser stimulation of acupoints lead to activation of frontal-limbic-striatal brain regions, with the pattern of neural activity somewhat different for each acupuncture point. This is the first study to investigate laser acupuncture on a group of acupoints useful in the management of depression. Differing activity patterns depending on the acupoint site were demonstrated, suggesting that neurological effects vary with the site of stimulation. The mechanisms of activation and deactivation and their effects on depression warrant further investigation.5 page(s

Somatosensory processing in neurodevelopmental disorders

The purpose of this article is to review the role of somatosensory perception in typical development, its aberration in a range of neurodevelopmental disorders, and the potential relations between tactile processing abnormalities and central features of each disorder such as motor, communication, and social development. Neurodevelopmental disorders that represent a range of symptoms and etiologies, and for which multiple peer-reviewed articles on somatosensory differences have been published, were chosen to include in the review. Relevant studies in animal models, as well as conditions of early sensory deprivation, are also included. Somatosensory processing plays an important, yet often overlooked, role in typical development and is aberrant in various neurodevelopmental disorders. This is demonstrated in studies of behavior, sensory thresholds, neuroanatomy, and neurophysiology in samples of children with Fragile X syndrome, autism spectrum disorders (ASD), attention deficit hyperactivity disorder (ADHD), and cerebral palsy (CP). Impaired somatosensory processing is found in a range of neurodevelopmental disorders and is associated with deficits in communication, motor ability, and social skills in these disorders. Given the central role of touch in early development, both experimental and clinical approaches should take into consideration the role of somatosensory processing in the etiology and treatment of neurodevelopmental disorders

Disproportionate Alterations in the Anterior and Posterior Insular Cortices in Obsessive–Compulsive Disorder

Recent studies have reported that the insular cortex is involved in the pathophysiology of obsessive–compulsive disorder (OCD). However, specific morphometric abnormalities of the insular subregions remain unclear. In this study, we examined insular cortical volume to determine whether the volume of the anterior and posterior insular cortices of unmedicated OCD patients differed according to different symptom dimensions.Using magnetic resonance imaging, we measured the gray matter volumes of the insular cortex and its subregions (anterior and posterior divisions) in 41 patients with OCD (31 drug-naïve and 10 non-medicated) and 53 healthy controls. Volumetric measures of the insular cortex were compared according to different OC symptoms. Enlarged anterior and reduced posterior insular cortices were observed in OCD patients. The insular volumetric alterations were more significant in OCD patients with predominant checking rather than cleaning symptoms when compared with healthy controls.Our results suggest the presence of unbalanced anterior and posterior insular volumetric abnormalities in unmedicated OCD patients and emphasize the distinct role of the insular cortex in different OC symptoms. We propose that the insular morphometric alterations may influence the modulation of interoceptive processing, the insular functional role, in OCD patients with different symptoms

Developmental perspectives on interpersonal affective touch

In the last decade, philosophy, neuroscience and psychology alike have paid increasing attention to the study of interpersonal affective touch, which refers to the emotional and motivational facets of tactile sensation. Some aspects of affective touch have been linked to a neurophysiologically specialised system, namely the C tactile (CT) system. While the role of this sys-tem for affiliation, social bonding and communication of emotions have been widely investigated, only recently researchers have started to focus on the potential role of interpersonal affective touch in acquiring awareness of the body as our own, i.e. as belonging to our psychological ‘self’. We review and discuss recent developmental and adult findings, pointing to the central role of interpersonal affective touch in body awareness and social cognition in health and disorders. We propose that interpersonal affective touch, as an interoceptive modality invested of a social nature, can uniquely contribute to the ongoing debate in philosophy about the primacy of the relational nature of the minimal self