Theory completion using inverse entailment

The main real-world applications of Inductive Logic Programming (ILP) to date involve the "Observation Predicate Learning" (OPL) assumption, in which both the examples and hypotheses define the same predicate. However, in both scientific discovery and language learning potential applications exist in which OPL does not hold. OPL is ingrained within the theory and performance testing of Machine Learning. A general ILP technique called "Theory Completion using Inverse Entailment" (TCIE) is introduced which is applicable to non-OPL applications. TCIE is based on inverse entailment and is closely allied to abductive inference. The implementation of TCIE within Progol5.0 is described. The implementation uses contra-positives in a similar way to Stickel's Prolog Technology Theorem Prover. Progol5.0 is tested on two different data-sets. The first dataset involves a grammar which translates numbers to their representation in English. The second dataset involves hypothesising the function of unknown genes within a network of metabolic pathways. On both datasets near complete recovery of performance is achieved after relearning when randomly chosen portions of background knowledge are removed. Progol5.0's running times for experiments in this paper were typically under 6 seconds on a standard laptop PC

Learning Chomsky-like grammars for biological sequence families

This paper presents a new method of measuring performance when positives are rare and investigates whether Chomsky-like grammar representations are useful for learning accurate comprehensible predictors of members of biological sequence families. The positive-only learning framework of the Inductive Logic Programming (ILP) system CProgol is used to generate a grammar for recognising a class of proteins known as human neuropeptide precursors (NPPs). As far as these authors are aware, this is both the first biological grammar learnt using ILP and the first real-world scientific application of the positive-only learning framework of CProgol. Performance is measured using both predictive accuracy and a new cost function, em Relative Advantage (RA). The RA results show that searching for NPPs by using our best NPP predictor as a filter is more than 100 times more efficient than randomly selecting proteins for synthesis and testing them for biological activity. The highest RA was achieved by a model which includes grammar-derived features. This RA is significantly higher than the best RA achieved without the use of the grammar-derived features

Developing a logical model of yeast metabolism

With the completion of the sequencing of genomes of increasing numbers of organisms, the focus of biology is moving to determining the role of these genes (functional genomics). To this end it is useful to view the cell as a biochemical machine: it consumes simple molecules to manufacture more complex ones by chaining together biochemical reactions into long sequences referred to as em metabolic pathways. Such metabolic pathways are not linear but often interesect to form complex networks. Genes play a fundamental role in these networks by providing the information to synthesise the enzymes that catalyse biochemical reactions. Although developing a complete model of metabolism is of fundamental importance to biology and medicine, the size and complexity of the network has proven beyond the capacity of human reasoning. This paper presents the first results of the Robot Scientist research programme that aims to automatically discover the function of genes in the metabolism of the yeast em Saccharomyces cerevisiae. Results include: (1) the first logical model of metabolism;(2) a method to predict phenotype by deductive inference; and (3) a method to infer reactions and gene function by aductive inference. We describe the em in vivo experimental set-up which will allow these em in silico predictions to be automatically tested by a laboratory robot

Combining inductive logic programming, active learning and robotics to discover the function of genes

The paper is addressed to AI workers with an interest in biomolecular genetics and also to biomolecular geneticists interested in what AI tools may do for them. The authors are engaged in a collaborative enterprise aimed at partially automating some aspects of scientific work. These aspects include the processes of forming hypotheses, devising trials to discriminate between these competing hypotheses, physically performing these trials and then using the results of these trials to converge upon an accurate hypothesis. As a potential component of the reasoning carried out by an "artificial scientist" this paper describes ASE-Progol, an Active Learning system which uses Inductive Logic Programming to construct hypothesised first-order theories and uses a CART-like algorithm to select trials for eliminating ILP derived hypotheses. In simulated yeast growth tests ASE-Progol was used to rediscover how genes participate in the aromatic amino acid pathway of Saccharomyces cerevisiae. The cost of the chemicals consumed in converging upon a hypothesis with an accuracy of around 88% was reduced by five orders of magnitude when trials were selected by ASE-Progol rather than being sampled at random. While the naive strategy of always choosing the cheapest trial from the set of candidate trials led to lower cumulative costs than ASE-Progol, both the naive strategy and the random strategy took significantly longer to converge upon a final hypothesis than ASE-Progol. For example to reach an accuracy of 80%, ASE-Progol required 4 days while random sampling required 6 days and the naive strategy required 10 days

Student and staff perceptions of alcohol as part of student life in Denmark: A Q methodology study

Introduction: Intervening effectively to prevent students’ harmful use of alcohol remains a challenge. Harmful alcohol use has been noted as the most dominant public health problem facing universities today. This study sought to investigate the diversity in staff and student perceptions of the contribution alcohol makes to student life in a Danish university setting. Increasing understanding of staff and students’ perceptions of how alcohol fits into student life is required to amend future public health intervention for this population. Materials and methods: This Q methodology study included 38 staff members and 105 students from Aarhus University, Denmark. Participants used online Q sorting software, to rank 40 statements about the contribution alcohol makes to the university student experience from strongly agree to disagree. To support the interpretation of the factors, self-reported alcohol consumption and demographic data were collected. In addition qualitative data was collected on the participant’s reasons for the ranking of the items they most strongly agreed or disagreed with. Results and discussion: Using principal components analysis, five statistically independent viewpoints for students and four for staff were identified. The findings provide evidence to inform approaches to prevent harmful alcohol use. Some viewpoints suggest a need for tailored secondary and tertiary prevention and intervention that focusses on individuals and/or sub-groups who are at risk of consuming alcohol at harmful levels. Other viewpoints suggest the need for primary universal prevention to support the maintenance of healthy norms which can prevent harmful alcohol behaviour. Public health campaigns need to ensure that interventions targeting harmful alcohol use at universities challenge problematic perceptions and attitudes while also bolstering exposure to positive norms

Developing standards for reporting implementation studies of complex interventions (StaRI): a systematic review and e-Delphi

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited

Magnetic Resonance Water Proton Relaxation in Protein Solutions and Tissue: T1ρ Dispersion Characterization

BACKGROUND: Image contrast in clinical MRI is often determined by differences in tissue water proton relaxation behavior. However, many aspects of water proton relaxation in complex biological media, such as protein solutions and tissue are not well understood, perhaps due to the limited empirical data. PRINCIPAL FINDINGS: Water proton T(1), T(2), and T(1rho) of protein solutions and tissue were measured systematically under multiple conditions. Crosslinking or aggregation of protein decreased T(2) and T(1rho), but did not change high-field T(1). T(1rho) dispersion profiles were similar for crosslinked protein solutions, myocardial tissue, and cartilage, and exhibited power law behavior with T(1rho)(0) values that closely approximated T(2). The T(1rho) dispersion of mobile protein solutions was flat above 5 kHz, but showed a steep curve below 5 kHz that was sensitive to changes in pH. The T(1rho) dispersion of crosslinked BSA and cartilage in DMSO solvent closely resembled that of water solvent above 5 kHz but showed decreased dispersion below 5 kHz. CONCLUSIONS: Proton exchange is a minor pathway for tissue T(1) and T(1rho) relaxation above 5 kHz. Potential models for relaxation are discussed, however the same molecular mechanism appears to be responsible across 5 decades of frequencies from T(1rho) to T(1)

Wettability decay in an oil-contaminated waste-mineral mixture with dry-wet cycles

The dependency of soil particle wettability on soil water content implies that soils subjected to drying-wetting cycles become wettable with wetting and water repellent with drying. While this has been demonstrated widely, the results are contradictory when water repellent soils are subjected to a sequence of cycles. Added to this, past wettability measurements were seldom done in batches of samples collected from the field at natural or dry water contents, with little appreciation that slight particle size variations, different drying-wetting histories and fabric (as required by different wettability measurement methods) may alter the results. This note presents soil particle wettability—soil water content relations by means of an index test following staged drying and wetting paths over a period of 8 months for an untreated, oil-contaminated anthropogenic soil (a mixture of slag, coal particles, fly ash and mineral particles) from Barry Docks (UK), a site formally used for oil storage, which is to be remediated and redeveloped for housing. The results revealed a decrease in the water repellency and increasing mineralization and bacterial activity with the wetting and drying cycles.postprin

Adjusting a cancer mortality-prediction model for disease status-related eligibility criteria

<p>Abstract</p> <p>Background</p> <p>Volunteering participants in disease studies tend to be healthier than the general population partially due to specific enrollment criteria. Using modeling to accurately predict outcomes of cohort studies enrolling volunteers requires adjusting for the bias introduced in this way. Here we propose a new method to account for the effect of a specific form of healthy volunteer bias resulting from imposing disease status-related eligibility criteria, on disease-specific mortality, by explicitly modeling the length of the time interval between the moment when the subject becomes ineligible for the study, and the outcome.</p> <p>Methods</p> <p>Using survival time data from 1190 newly diagnosed lung cancer patients at MD Anderson Cancer Center, we model the time from clinical lung cancer diagnosis to death using an exponential distribution to approximate the length of this interval for a study where lung cancer death serves as the outcome. Incorporating this interval into our previously developed lung cancer risk model, we adjust for the effect of disease status-related eligibility criteria in predicting the number of lung cancer deaths in the control arm of CARET. The effect of the adjustment using the MD Anderson-derived approximation is compared to that based on SEER data.</p> <p>Results</p> <p>Using the adjustment developed in conjunction with our existing lung cancer model, we are able to accurately predict the number of lung cancer deaths observed in the control arm of CARET.</p> <p>Conclusions</p> <p>The resulting adjustment was accurate in predicting the lower rates of disease observed in the early years while still maintaining reasonable prediction ability in the later years of the trial. This method could be used to adjust for, or predict the duration and relative effect of any possible biases related to disease-specific eligibility criteria in modeling studies of volunteer-based cohorts.</p