Storing and Indexing Plan Derivations through Explanation-based Analysis of Retrieval Failures

Case-Based Planning (CBP) provides a way of scaling up domain-independent planning to solve large problems in complex domains. It replaces the detailed and lengthy search for a solution with the retrieval and adaptation of previous planning experiences. In general, CBP has been demonstrated to improve performance over generative (from-scratch) planning. However, the performance improvements it provides are dependent on adequate judgements as to problem similarity. In particular, although CBP may substantially reduce planning effort overall, it is subject to a mis-retrieval problem. The success of CBP depends on these retrieval errors being relatively rare. This paper describes the design and implementation of a replay framework for the case-based planner DERSNLP+EBL. DERSNLP+EBL extends current CBP methodology by incorporating explanation-based learning techniques that allow it to explain and learn from the retrieval failures it encounters. These techniques are used to refine judgements about case similarity in response to feedback when a wrong decision has been made. The same failure analysis is used in building the case library, through the addition of repairing cases. Large problems are split and stored as single goal subproblems. Multi-goal problems are stored only when these smaller cases fail to be merged into a full solution. An empirical evaluation of this approach demonstrates the advantage of learning from experienced retrieval failure.Comment: See http://www.jair.org/ for any accompanying file

On the Complexity of Case-Based Planning

We analyze the computational complexity of problems related to case-based planning: planning when a plan for a similar instance is known, and planning from a library of plans. We prove that planning from a single case has the same complexity than generative planning (i.e., planning "from scratch"); using an extended definition of cases, complexity is reduced if the domain stored in the case is similar to the one to search plans for. Planning from a library of cases is shown to have the same complexity. In both cases, the complexity of planning remains, in the worst case, PSPACE-complete

Vector coherent state representations, induced representations, and geometric quantization: I. Scalar coherent state representations

Coherent state theory is shown to reproduce three categories of representations of the spectrum generating algebra for an algebraic model: (i) classical realizations which are the starting point for geometric quantization; (ii) induced unitary representations corresponding to prequantization; and (iii) irreducible unitary representations obtained in geometric quantization by choice of a polarization. These representations establish an intimate relation between coherent state theory and geometric quantization in the context of induced representations.Comment: 29 pages, part 1 of two papers, published versio

MAGE-A cancer/testis antigens inhibit MDM2 ubiquitylation function and promote increased levels of MDM4

Melanoma antigen A (MAGE-A) proteins comprise a structurally and biochemically similar sub-family of Cancer/Testis antigens that are expressed in many cancer types and are thought to contribute actively to malignancy. MAGE-A proteins are established regulators of certain cancer-associated transcription factors, including p53, and are activators of several RING finger-dependent ubiquitin E3 ligases. Here, we show that MAGE-A2 associates with MDM2, a ubiquitin E3 ligase that mediates ubiquitylation of more than 20 substrates including mainly p53, MDM2 itself, and MDM4, a potent p53 inhibitor and MDM2 partner that is structurally related to MDM2. We find that MAGE-A2 interacts with MDM2 via the N-terminal p53-binding pocket and the RING finger domain of MDM2 that is required for homo/hetero-dimerization and for E2 ligase interaction. Consistent with these data, we show that MAGE-A2 is a potent inhibitor of the E3 ubiquitin ligase activity of MDM2, yet it does not have any significant effect on p53 turnover mediated by MDM2. Strikingly, however, increased MAGE-A2 expression leads to reduced ubiquitylation and increased levels of MDM4. Similarly, silencing of endogenous MAGE-A expression diminishes MDM4 levels in a manner that can be rescued by the proteasomal inhibitor, bortezomid, and permits increased MDM2/MDM4 association. These data suggest that MAGE-A proteins can: (i) uncouple the ubiquitin ligase and degradation functions of MDM2; (ii) act as potent inhibitors of E3 ligase function; and (iii) regulate the turnover of MDM4. We also find an association between the presence of MAGE-A and increased MDM4 levels in primary breast cancer, suggesting that MAGE-A-dependent control of MDM4 levels has relevance to cancer clinically

Negative Feedback Regulation of the Yeast Cth1 and Cth2 mRNA Binding Proteins Is Required for Adaptation to Iron Deficiency and Iron Supplementation

Iron (Fe) is an essential element for all eukaryotic organisms because it functions as a cofactor in a wide range of biochemical processes. Cells have developed sophisticated mechanisms to tightly control Fe utilization in response to alterations in cellular demands and bioavailability. In response to Fe deficiency, the yeast Saccharomyces cerevisiae activates transcription of the CTH1 and CTH2 genes, which encode proteins that bind to AU-rich elements (AREs) within the 3′ untranslated regions (3′UTRs) of many mRNAs, leading to metabolic reprogramming of Fe-dependent pathways and decreased Fe storage. The precise mechanisms underlying Cth1 and Cth2 function and regulation are incompletely understood. We report here that the Cth1 and Cth2 proteins specifically bind in vivo to AREs located at the 3′UTRs of their own transcripts in an auto- and cross-regulated mechanism that limits their expression. By mutagenesis of the AREs within the CTH2 transcript, we demonstrate that a Cth2 negative-feedback loop is required for the efficient decline in Cth2 protein levels observed upon a rapid rise in Fe availability. Importantly, Cth2 autoregulation is critical for the appropriate recovery of Fe-dependent processes and resumption of growth in response to a change from Fe deficiency to Fe supplementation

Novel Quantitative Real-Time LCR for the Sensitive Detection of SNP Frequencies in Pooled DNA: Method Development, Evaluation and Application

BACKGROUND: Single nucleotide polymorphisms (SNP) have proven to be powerful genetic markers for genetic applications in medicine, life science and agriculture. A variety of methods exist for SNP detection but few can quantify SNP frequencies when the mutated DNA molecules correspond to a small fraction of the wild-type DNA. Furthermore, there is no generally accepted gold standard for SNP quantification, and, in general, currently applied methods give inconsistent results in selected cohorts. In the present study we sought to develop a novel method for accurate detection and quantification of SNP in DNA pooled samples. METHODS: The development and evaluation of a novel Ligase Chain Reaction (LCR) protocol that uses a DNA-specific fluorescent dye to allow quantitative real-time analysis is described. Different reaction components and thermocycling parameters affecting the efficiency and specificity of LCR were examined. Several protocols, including gap-LCR modifications, were evaluated using plasmid standard and genomic DNA pools. A protocol of choice was identified and applied for the quantification of a polymorphism at codon 136 of the ovine PRNP gene that is associated with susceptibility to a transmissible spongiform encephalopathy in sheep. CONCLUSIONS: The real-time LCR protocol developed in the present study showed high sensitivity, accuracy, reproducibility and a wide dynamic range of SNP quantification in different DNA pools. The limits of detection and quantification of SNP frequencies were 0.085% and 0.35%, respectively. SIGNIFICANCE: The proposed real-time LCR protocol is applicable when sensitive detection and accurate quantification of low copy number mutations in DNA pools is needed. Examples include oncogenes and tumour suppressor genes, infectious diseases, pathogenic bacteria, fungal species, viral mutants, drug resistance resulting from point mutations, and genetically modified organisms in food

Persistent infection of rhesus monkeys with ‘Helicobacter macacae’ and its isolation from an animal with intestinal adenocarcinoma

A novel helicobacter, ‘Helicobacter macacae’, was previously isolated from a colony of rhesus and cynomolgus monkeys in which diarrhoea from chronic idiopathic colitis was enzootic. A survey performed in a second colony of rhesus monkeys without a history of chronic diarrhoea determined that 57 % were faecal-culture positive for Helicobacter species. Ten years after the survey, one of the animals from which ‘H. macacae’ had been isolated, a 23-year-old, intact male rhesus monkey (Macaca mulatta), presented with partial inappetence and progressive weight loss. Subsequent evaluation of the monkey revealed anaemia, hypoproteinaemia, hypoalbuminaemia and a palpable abdominal mass. Contrast radiography suggested partial intestinal obstruction. The animal was euthanized and a diagnosis was made of intestinal adenocarcinoma of the ileocaecocolic junction with metastasis to regional lymph nodes and liver. Microaerobic culture of caecal tissue yielded a helicobacter organism identified as ‘H. macacae’ by 16S rRNA gene sequencing – the same species of bacteria isolated 10 years previously. The liver, small intestine and colon were also positive by PCR for Helicobacter species. Intestinal adenocarcinoma is the most common malignancy of aged macaques. Faeces or caecal tissue from five out of five monkeys that remained from the original cohort and that were colonized with ‘H. macacae’ in the initial survey were positive for the organism. The apparent persistence of ‘H. macacae’ in these animals, the isolation of the bacterium from animals with colitis and the recognition of the importance of inflammation in carcinogenesis raise the possibility of an aetiological role in the genesis of intestinal adenocarcinoma in aged rhesus monkeys

Enhanced M1 Macrophage Polarization in Human Helicobacter pylori-Associated Atrophic Gastritis and in Vaccinated Mice

Background: Infection with Helicobacter pylori triggers a chronic gastric inflammation that can progress to atrophy and gastric adenocarcinoma. Polarization of macrophages is a characteristic of both cancer and infection, and may promote progression or resolution of disease. However, the role of macrophages and their polarization during H. pylori infection has not been well defined. Methodology/Principal Findings: By using a mouse model of infection and gastric biopsies from 29 individuals, we have analyzed macrophage recruitment and polarization during H. pylori infection by flow cytometry and real-time PCR. We found a sequential recruitment of neutrophils, eosinophils and macrophages to the gastric mucosa of infected mice. Gene expression analysis of stomach tissue and sorted macrophages revealed that gastric macrophages were polarized to M1 after H. pylori infection, and this process was substantially accelerated by prior vaccination. Human H. pylori infection was characterized by a mixed M1/M2 polarization of macrophages. However, in H. pylori-associated atrophic gastritis, the expression of inducible nitric oxide synthase was markedly increased compared to uncomplicated gastritis, indicative of an enhanced M1 macrophage polarization in this pre-malignant lesion. Conclusions/Significance: These results show that vaccination of mice against H. pylori amplifies M1 polarization of gastric macrophages, and that a similar enhanced M1 polarization is present in human H. pylori-induced atrophic gastritis

The Role of the Yap5 Transcription Factor in Remodeling Gene Expression in Response to Fe Bioavailability

The budding yeast Saccharomyces cerevisiae has developed several mechanisms to avoid either the drastic consequences of iron deprivation or the toxic effects of iron excess. In this work, we analysed the global gene expression changes occurring in yeast cells undergoing iron overload. Several genes directly or indirectly involved in iron homeostasis showed altered expression and the relevance of these changes are discussed. Microarray analyses were also performed to identify new targets of the iron responsive factor Yap5. Besides the iron vacuolar transporter CCC1, Yap5 also controls the expression of glutaredoxin GRX4, previously known to be involved in the regulation of Aft1 nuclear localization. Consistently, we show that in the absence of Yap5 Aft1 nuclear exclusion is slightly impaired. These studies provide further evidence that cells control iron homeostasis by using multiple pathways