Regression in Modal Logic

In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic

Several Polymorphisms of KCNQ1 Gene Are Associated with Plasma Lipid Levels in General Chinese Populations

BACKGROUND: Potassium voltage-gated channel, KQT-like subfamily, member 1 (KCNQ1) is thought to be an important candidate gene of diabetes. Several single nucleotide polymorphisms (SNPs) in a 40-kb linkage disequilibrium (LD) block in its intron 15 have been identified to be associated with diabetes in East Asian populations in recent genome-wide association studies. The aim of this study was to investigate whether KCNQ1 polymorphisms influence the levels of the metabolic phenotypes in general Chinese populations. METHODOLOGY/PRINCIPAL FINDINGS: We investigated the associations of two SNPs (rs2237892 and rs2237895) in the aforementioned 40-kb LD block, a missense variant rs12720449 (P448R) in exon 10, and a synonymous variant rs1057128 (S546S) in exon 13 with metabolic phenotypes in a Uyghur population (n = 478) and replicated these associations in a Han population (n = 2,485). We found that rs2237892-T allele was significantly associated with decreased triglyceride levels (p(combined) = 0.001). The minor G allele of the rs12720449, with sharp difference of the allelic frequency between European and East Asian populations (0.2% versus 14%, respectively), was associated with a lower triglyceride levels than G allele in Uyghur subjects (p = 0.004), in Han subjects (p = 0.052), and in subjects of meta-analysis (p(combined) = 0.001). Moreover, the minor A allele of the rs1057128 was also associated with decreased triglyceride levels in meta-analysis (p(combined) = 0.010). CONCLUSIONS: To the best of our knowledge, this is the first report associating a missense mutation of KCNQ1, rs12720449, with triglyceride levels. Rs2237892, representing the 40-kb LD block, is also associated with triglyceride levels in Han population. Further studies are required to replicate these findings in other East Asian populations

TMEM33 regulates intracellular calcium homeostasis in renal tubular epithelial cells

Mutations in the polycystins cause autosomal dominant polycystic kidney disease (ADPKD). Here we show that transmembrane protein 33 (TMEM33) interacts with the ion channel polycystin-2 (PC2) at the endoplasmic reticulum (ER) membrane, enhancing its opening over the whole physiological calcium range in ER liposomes fused to planar bilayers. Consequently, TMEM33 reduces intracellular calcium content in a PC2-dependent manner, impairs lysosomal calcium refilling, causes cathepsins translocation, inhibition of autophagic flux upon ER stress, as well as sensitization to apoptosis. Invalidation of TMEM33 in the mouse exerts a potent protection against renal ER stress. By contrast, TMEM33 does not influence pkd2-dependent renal cystogenesis in the zebrafish. Together, our results identify a key role for TMEM33 in the regulation of intracellular calcium homeostasis of renal proximal convoluted tubule cells and establish a causal link between TMEM33 and acute kidney injury

Variable Nav1.5 Protein Expression from the Wild-Type Allele Correlates with the Penetrance of Cardiac Conduction Disease in the Scn5a+/− Mouse Model

BACKGROUND: Loss-of-function mutations in SCN5A, the gene encoding Na(v)1.5 Na+ channel, are associated with inherited cardiac conduction defects and Brugada syndrome, which both exhibit variable phenotypic penetrance of conduction defects. We investigated the mechanisms of this heterogeneity in a mouse model with heterozygous targeted disruption of Scn5a (Scn5a(+/-) mice) and compared our results to those obtained in patients with loss-of-function mutations in SCN5A. METHODOLOGY/PRINCIPAL FINDINGS: Based on ECG, 10-week-old Scn5a(+/-) mice were divided into 2 subgroups, one displaying severe ventricular conduction defects (QRS interval>18 ms) and one a mild phenotype (QRS53 weeks), ajmaline effect was larger in the severely affected subgroup. These data matched the clinical observations on patients with SCN5A loss-of-function mutations with either severe or mild conduction defects. Ventricular tachycardia developed in 5/10 old severely affected Scn5a(+/-) mice but not in mildly affected ones. Correspondingly, symptomatic SCN5A-mutated Brugada patients had more severe conduction defects than asymptomatic patients. Old severely affected Scn5a(+/-) mice but not mildly affected ones showed extensive cardiac fibrosis. Mildly affected Scn5a(+/-) mice had similar Na(v)1.5 mRNA but higher Na(v)1.5 protein expression, and moderately larger I(Na) current than severely affected Scn5a(+/-) mice. As a consequence, action potential upstroke velocity was more decreased in severely affected Scn5a(+/-) mice than in mildly affected ones. CONCLUSIONS: Scn5a(+/-) mice show similar phenotypic heterogeneity as SCN5A-mutated patients. In Scn5a(+/-) mice, phenotype severity correlates with wild-type Na(v)1.5 protein expression

A Genome-Wide Association Study Identifies Susceptibility Variants for Type 2 Diabetes in Han Chinese

To investigate the underlying mechanisms of T2D pathogenesis, we looked for diabetes susceptibility genes that increase the risk of type 2 diabetes (T2D) in a Han Chinese population. A two-stage genome-wide association (GWA) study was conducted, in which 995 patients and 894 controls were genotyped using the Illumina HumanHap550-Duo BeadChip for the first genome scan stage. This was further replicated in 1,803 patients and 1,473 controls in stage 2. We found two loci not previously associated with diabetes susceptibility in and around the genes protein tyrosine phosphatase receptor type D (PTPRD) (P = 8.54×10−10; odds ratio [OR] = 1.57; 95% confidence interval [CI] = 1.36–1.82), and serine racemase (SRR) (P = 3.06×10−9; OR = 1.28; 95% CI = 1.18–1.39). We also confirmed that variants in KCNQ1 were associated with T2D risk, with the strongest signal at rs2237895 (P = 9.65×10−10; OR = 1.29, 95% CI = 1.19–1.40). By identifying two novel genetic susceptibility loci in a Han Chinese population and confirming the involvement of KCNQ1, which was previously reported to be associated with T2D in Japanese and European descent populations, our results may lead to a better understanding of differences in the molecular pathogenesis of T2D among various populations

An argumentation-based approach for reasoning about trust in information sources

International audienceDuring a dialogue, agents exchange information with each other and need thus to deal with incoming information. For that purpose, they should be able to reason effectively about trustworthiness of information sources. This paper proposes an argument-based system that allows an agent to reason about its own beliefs and information received from other sources. An agent's beliefs are of two kinds: beliefs about the environment (like the window is closed) and beliefs about trusting sources (like agent i trusts agent j). Six basic forms of trust are discussed in the paper including the most common one on sincerity. Starting with a base which contains such information, the system builds two types of arguments: arguments in favour of trusting a given source of information and arguments in favour of believing statements which may be received from other agents. We discuss how the different arguments interact and how an agent may decide to trust another source and thus to accept information coming from that source. The system is then extended in order to deal with graded trust (like agent i trusts to some extent agent j)