Logic, Probability and Action: A Situation Calculus Perspective

The unification of logic and probability is a long-standing concern in AI, and more generally, in the philosophy of science. In essence, logic provides an easy way to specify properties that must hold in every possible world, and probability allows us to further quantify the weight and ratio of the worlds that must satisfy a property. To that end, numerous developments have been undertaken, culminating in proposals such as probabilistic relational models. While this progress has been notable, a general-purpose first-order knowledge representation language to reason about probabilities and dynamics, including in continuous settings, is still to emerge. In this paper, we survey recent results pertaining to the integration of logic, probability and actions in the situation calculus, which is arguably one of the oldest and most well-known formalisms. We then explore reduction theorems and programming interfaces for the language. These results are motivated in the context of cognitive robotics (as envisioned by Reiter and his colleagues) for the sake of concreteness. Overall, the advantage of proving results for such a general language is that it becomes possible to adapt them to any special-purpose fragment, including but not limited to popular probabilistic relational models

Logics of knowledge and action: critical analysis and challenges

International audienceWe overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our classification we highlight problematic properties. They indicate weaknesses in the design of these logics and call into question their suitability to represent knowledge and reason about it. This leads to a list of research challenges

A Distinct Urinary Biomarker Pattern Characteristic of Female Fabry Patients That Mirrors Response to Enzyme Replacement Therapy

Female patients affected by Fabry disease, an X-linked lysosomal storage disorder, exhibit a wide spectrum of symptoms, which renders diagnosis, and treatment decisions challenging. No diagnostic test, other than sequencing of the alpha-galactosidase A gene, is available and no biomarker has been proven useful to screen for the disease, predict disease course and monitor response to enzyme replacement therapy. Here, we used urine proteomic analysis based on capillary electrophoresis coupled to mass spectrometry and identified a biomarker profile in adult female Fabry patients. Urine samples were taken from 35 treatment-naive female Fabry patients and were compared to 89 age-matched healthy controls. We found a diagnostic biomarker pattern that exhibited 88.2% sensitivity and 97.8% specificity when tested in an independent validation cohort consisting of 17 treatment-naive Fabry patients and 45 controls. The model remained highly specific when applied to additional control patients with a variety of other renal, metabolic and cardiovascular diseases. Several of the 64 identified diagnostic biomarkers showed correlations with measures of disease severity. Notably, most biomarkers responded to enzyme replacement therapy, and 8 of 11 treated patients scored negative for Fabry disease in the diagnostic model. In conclusion, we defined a urinary biomarker model that seems to be of diagnostic use for Fabry disease in female patients and may be used to monitor response to enzyme replacement therapy

A Frameshift in CSF2RB Predominant Among Ashkenazi Jews Increases Risk for Crohn's Disease and Reduces Monocyte Signaling via GMCSF

BACKGROUND & AIMS: Crohn's disease (CD) has the highest prevalence in Ashkenazi Jewish populations. We sought to identify rare, CD-associated frameshift variants of high functional and statistical effects. METHODS: We performed exome-sequencing and array-based genotype analyses of 1477 Ashkenazi Jewish individuals with CD and 2614 Ashkenazi Jewish individuals without CD (controls). To validate our findings, we performed genotype analyses of an additional 1515 CD cases and 7052 controls for frameshift mutations in the colony stimulating factor 2 receptor beta common subunit gene (CSF2RB). Intestinal tissues and blood samples were collected from patients with CD; lamina propria leukocytes were isolated and expression of CSF2RB and GMCSF-responsive cells were defined by mass cytometry (CyTOF analysis). Variants of CSF2RB were transfected into HEK293 cells and expression and functions of gene products were compared. RESULTS: In the discovery cohort, we associated CD with a frameshift mutation in CSF2RB (P=8.52x10-4); the finding was validated in the replication cohort (combined P=3.42x10-6). Incubation of intestinal lamina propria leukocytes with GMCSF resulted in high levels of phosphorylation of STAT5 and lesser increases in phosphorylation of ERK and AKT. Cells co-transfected with full-length and mutant forms of CSF2RB had reduced pSTAT5 following stimulation with GMCSF, compared to cells transfected with control CSF2RB, indicating a dominant negative effect of the mutant gene. Monocytes from patients with CD who were heterozygous for the frameshift mutation (6% of CD cases analyzed) had reduced responses to GMCSF and markedly decreased activity of aldehyde dehydrogenase; activity of this enzyme has been associated with immune tolerance. CONCLUSIONS: In a genetic analysis of Ashkenazi Jewish individuals, we associated CD with a frameshift mutation in CSF2RB. Intestinal monocytes from carriers of this mutation had reduced responses to GMCSF, providing an additional mechanism for alterations to the innate immune response in individuals with CD

Identification of Novel Molecular Targets for Endometrial Cancer Using a Drill-Down LC-MS/MS Approach with iTRAQ

BACKGROUND: The number of patients with endometrial carcinoma (EmCa) with advanced stage or high histological grade is increasing and prognosis has not improved for over the last decade. There is an urgent need for the discovery of novel molecular targets for diagnosis, prognosis and treatment of EmCa, which will have the potential to improve the clinical strategy and outcome of this disease. METHODOLOGY AND RESULTS: We used a "drill-down" proteomics approach to facilitate the identification of novel molecular targets for diagnosis, prognosis and/or therapeutic intervention for EmCa. Based on peptide ions identified and their retention times in the first LC-MS/MS analysis, an exclusion list was generated for subsequent iterations. A total of 1529 proteins have been identified below the Proteinpilot® 5% error threshold from the seven sets of iTRAQ experiments performed. On average, the second iteration added 78% new peptides to those identified after the first run, while the third iteration added 36% additional peptides. Of the 1529 proteins identified, only 40 satisfied our criteria for significant differential expression in EmCa in comparison to normal proliferative tissues. These proteins included metabolic enzymes (pyruvate kinase M2 and lactate dehydrogenase A); calcium binding proteins (S100A6, calcyphosine and calumenin), and proteins involved in regulating inflammation, proliferation and invasion (annexin A1, interleukin enhancer-binding factor 3, alpha-1-antitrypsin, macrophage capping protein and cathepsin B). Network analyses revealed regulation of these molecular targets by c-myc, Her2/neu and TNF alpha, suggesting intervention with these pathways may be a promising strategy for the development of novel molecular targeted therapies for EmCa. CONCLUSIONS: Our analyses revealed the significance of drill-down proteomics approach in combination with iTRAQ to overcome some of the limitations of current proteomics strategies. This study led to the identification of a number of novel molecular targets having therapeutic potential for targeted molecular therapies for endometrial carcinoma

Nucleolin Inhibits G4 Oligonucleotide Unwinding by Werner Helicase

The Werner protein (WRNp), a member of the RecQ helicase family, is strongly associated with the nucleolus, as is nucleolin (NCL), an important nucleolar constituent protein. Both WRNp and NCL respond to the effects of DNA damaging agents. Therefore, we have investigated if these nuclear proteins interact and if this interaction has a possible functional significance in DNA damage repair.Here we report that WRNp interacts with the RNA-binding protein, NCL, based on immunoprecipitation, immunofluorescent co-localization in live and fixed cells, and direct binding of purified WRNp to nucleolin. We also map the binding region to the C-terminal domains of both proteins. Furthermore, treatment of U2OS cells with 15 µM of the Topoisomerase I inhibitor, camptothecin, causes the dissociation of the nucleolin-Werner complex in the nucleolus, followed by partial re-association in the nucleoplasm. Other DNA damaging agents, such as hydroxyurea, Mitomycin C, and aphidicolin do not have these effects. Nucleolin or its C-terminal fragment affected the helicase, but not the exonuclease activity of WRNp, by inhibiting WRN unwinding of G4 tetraplex DNA structures, as seen in activity assays and electrophoretic mobility shift assays (EMSA).These data suggest that nucleolin may regulate G4 DNA unwinding by WRNp, possibly in response to certain DNA damaging agents. We postulate that the NCL-WRNp complex may contain an inactive form of WRNp, which is released from the nucleolus upon DNA damage. Then, when required, WRNp is released from inhibition and can participate in the DNA repair processes

Proteome Analyses of Cellular Proteins in Methicillin-Resistant Staphylococcus aureus Treated with Rhodomyrtone, a Novel Antibiotic Candidate

The ethanolic extract from Rhodomyrtus tomentosa leaf exhibited good antibacterial activities against both methicillin-resistant Staphylococcus aureus (MRSA) and S. aureus ATCC 29213. Its minimal inhibitory concentration (MIC) values ranged from 31.25–62.5 µg/ml, and the minimal bactericidal concentration (MBC) was 250 µg/ml. Rhodomyrtone, an acylphloroglucinol derivative, was 62.5–125 times more potent at inhibiting the bacteria than the ethanolic extract, the MIC and MBC values were 0.5 µg/ml and 2 µg/ml, respectively. To provide insights into antibacterial mechanisms involved, the effects of rhodomyrtone on cellular protein expression of MRSA have been investigated using proteomic approaches. Proteome analyses revealed that rhodomyrtone at subinhibitory concentration (0.174 µg/ml) affected the expression of several major functional classes of whole cell proteins in MRSA. The identified proteins involve in cell wall biosynthesis and cell division, protein degradation, stress response and oxidative stress, cell surface antigen and virulence factor, and various metabolic pathways such as amino acid, carbohydrate, energy, lipid, and nucleotide metabolism. Transmission electron micrographs confirmed the effects of rhodomyrtone on morphological and ultrastructural alterations in the treated bacterial cells. Biological processes in cell wall biosynthesis and cell division were interrupted. Prominent changes including alterations in cell wall, abnormal septum formation, cellular disintegration, and cell lysis were observed. Unusual size and shape of staphylococcal cells were obviously noted in the treated MRSA. These pioneer findings on proteomic profiling and phenotypic features of rhodomyrtone-treated MRSA may resolve its antimicrobial mechanisms which could lead to the development of a new effective regimen for the treatment of MRSA infections

Anti-phospholipid human monoclonal antibodies inhibit CCR5-tropic HIV-1 and induce β-chemokines

Traditional antibody-mediated neutralization of HIV-1 infection is thought to result from the binding of antibodies to virions, thus preventing virus entry. However, antibodies that broadly neutralize HIV-1 are rare and are not induced by current vaccines. We report that four human anti-phospholipid monoclonal antibodies (mAbs) (PGN632, P1, IS4, and CL1) inhibit HIV-1 CCR5-tropic (R5) primary isolate infection of peripheral blood mononuclear cells (PBMCs) with 80% inhibitory concentrations of <0.02 to ∼10 µg/ml. Anti-phospholipid mAbs inhibited PBMC HIV-1 infection in vitro by mechanisms involving binding to monocytes and triggering the release of MIP-1α and MIP-1β. The release of these β-chemokines explains both the specificity for R5 HIV-1 and the activity of these mAbs in PBMC cultures containing both primary lymphocytes and monocytes

Quantitative nucleolar proteomics reveals nuclear re-organization during stress- induced senescence in mouse fibroblast

<p>Abstract</p> <p>Background</p> <p>Nucleolus is the most prominent mammalian organelle within the nucleus which is also the site for ribosomal biogenesis. There have been many reports indicating the involvement of nucleolus in the process of aging. Several proteins related to aging have been shown to localize in the nucleolus, which suggests the role of this organelle in senescence.</p> <p>Results</p> <p>In this study, we used quantitative mass spectrometry to map the flux of proteins into and out of the nucleolus during the induction of senescence in cultured mammalian cells. Changes in the abundance of 344 nucleolar proteins in sodium butyrate-induced senescence in NIH3T3 cells were studied by SILAC (stable isotope labeling by amino acids in cell culture)-based mass spectrometry. Biochemically, we have validated the proteomic results and confirmed that B23 (nucleophosmin) protein was down-regulated, while poly (ADP-ribose) polymerase (PARP) and nuclear DNA helicase II (NDH II/DHX9/RHA) were up-regulated in the nucleolus upon treatment with sodium butyrate. Accumulation of chromatin in the nucleolus was also observed, by both proteomics and microscopy, in sodium butyrate-treated cells. Similar observations were found in other models of senescence, namely, in mitoxantrone- (MTX) treated cells and primary fibroblasts from the Lamin A knockout mice.</p> <p>Conclusion</p> <p>Our data indicate an extensive nuclear organization during senescence and suggest that the redistribution of B23 protein and chromatin can be used as an important marker for senescence.</p

Ustekinumab as Induction and Maintenance Therapy for Crohn’s Disease

BACKGROUND Ustekinumab, a monoclonal antibody to the p40 subunit of interleukin-12 and inter-leukin-23, was evaluated as an intravenous induction therapy in two populations with moderately to severely active Crohn’s disease. Ustekinumab was also evaluated as subcutaneous maintenance therapy. METHODS We randomly assigned patients to receive a single intravenous dose of ustekinumab (either 130 mg or approximately 6 mg per kilogram of body weight) or placebo in two induction trials. The UNITI-1 trial included 741 patients who met the criteria for primary or secondary nonresponse to tumor necrosis factor (TNF) antagonists or had unacceptable side effects. The UNITI-2 trial included 628 patients in whom conventional therapy failed or unacceptable side effects occurred. Patients who completed these induction trials then participated in IM-UNITI, in which the 397 patients who had a response to ustekinumab were randomly assigned to receive subcutaneous maintenance injections of 90 mg of ustekinumab (either every 8 weeks or every 12 weeks) or placebo. The primary end point for the induction trials was a clinical response at week 6 (defined as a decrease from baseline in the Crohn’s Disease Activity Index [CDAI] score of ≥100 points or a CDAI score <150). The primary end point for the maintenance trial was remission at week 44 (CDAI score <150). RESULTS The rates of response at week 6 among patients receiving intravenous ustekinumab at a dose of either 130 mg or approximately 6 mg per kilogram were significantly higher than the rates among patients receiving placebo (in UNITI-1, 34.3%, 33.7%, and 21.5%, respectively, with P≤0.003 for both comparisons with placebo; in UNITI-2, 51.7%, 55.5%, and 28.7%, respectively, with P<0.001 for both doses). In the groups receiving maintenance doses of ustekinumab every 8 weeks or every 12 weeks, 53.1% and 48.8%, respectively, were in remission at week 44, as compared with 35.9% of those receiving placebo (P = 0.005 and P = 0.04, respectively). Within each trial, adverse-event rates were similar among treatment groups. CONCLUSIONS Among patients with moderately to severely active Crohn’s disease, those receiving intravenous ustekinumab had a significantly higher rate of response than did those receiving placebo. Subcutaneous ustekinumab maintained remission in patients who had a clinical response to induction therapy. (Funded by Janssen Research and Development; ClinicalTrials.gov numbers, NCT01369329, NCT01369342, and NCT01369355.