Implementation of a non ground meta interpreter for defeasible logic

Human reasoning is a fascinating and complex cognitive process that can be applied in different research areas such as philosophy, psychology, laws and financial. Unfortunately, developing supporting software (to those different areas) able to cope such as complex reasoning it’s difficult and requires a suitable logic abstract formalism. In this thesis we aim to develop a program, that has the job to evaluate a theory (a set of rules) w.r.t. a Goal, and provide some results such as “The Goal is derivable from the KB5 (of the theory)”. In order to achieve this goal we need to analyse different logics and choose the one that best meets our needs. In logic, usually, we try to determine if a given conclusion is logically implied by a set of assumptions T (theory). However, when we deal with programming logic we need an efficient algorithm in order to find such implications. In this work we use a logic rather similar to human logic. Indeed, human reasoning requires an extension of the first order logic able to reach a conclusion depending on not definitely true6 premises belonging to a incomplete set of knowledge. Thus, we implemented a defeasible logic7 framework able to manipulate defeasible rules. Defeasible logic is a non-monotonic logic designed for efficient defeasible reasoning by Nute (see Chapter 2). Those kind of applications are useful in laws area especially if they offer an implementation of an argumentation framework that provides a formal modelling of game. Roughly speaking, let the theory is the set of laws, a keyclaim is the conclusion that one of the party wants to prove (and the other one wants to defeat) and adding dynamic assertion of rules, namely, facts putted forward by the parties, then, we can play an argumentative challenge between two players and decide if the conclusion is provable or not depending on the different strategies performed by the players. Implementing a game model requires one more meta-interpreter able to evaluate the defeasible logic framework; indeed, according to Göedel theorem (see on page 127), we cannot evaluate the meaning of a language using the tools provided by the language itself, but we need a meta-language able to manipulate the object language8. Thus, rather than a simple meta-interpreter, we propose a Meta-level containing different Meta-evaluators. The former has been explained above, the second one is needed to perform the game model, and the last one will be used to change game execution and tree derivation strategies.

Conditional and transgenic mouse models as tools to study the role of TGFbeta, BMP signaling in skeletal development

Die TGFbeta/BMP Signaltransduktionskaskade ist wichtig für viele Entwicklungsprozesse fast aller embryonaler sowie extraembryonaler Gewebe und sie ist ebenso essentiell bei der Aufrechterhaltung der Homöostase im adulten Organismus. In vielen Mausmodellen und Zellkulturversuchen wurde gezeigt, dass Liganden dieses Signalweges in verschiedene Stadien der Knorpel- und Knochenentwicklung involviert sind. BMPs sind beispielsweise maßgeblich an der frühen Kondensation und Bildung des Knorpels und später an Proliferation und Hypertrophie der Chondrozyten beteiligt. BMPs können ektopisch Knochenbildung auslösen und das Expressionsmuster der Liganden und spezifischen Rezeptoren in der Wachstumsfuge lässt auf eine wichtige Rolle der BMPs in der Wachstumsfuge schließen. Der gezielte knock out der BMP-Rezeptoren Bmpr1a und Bmpr1b in proliferierenden Chondrozyten führt zur Ausbildung einer generellen Chondrodysplasie. Smad1, Smad5 und Smad8 sind die Mediatoren der BMP-Signalkaskade. Im Rahmen der vorliegenden Arbeit sollte die Rolle und Funktion der Smad1- und Smad5-Proteine in der Wachstumsfuge untersucht werden. Hierzu wurden konditionale Smad1-knock out-Mäuse mit einer transgenen Mauslinie gekreuzt, die die Cre-Rekombinase spezifisch in proliferierenden Chondrozyten exprimiert. Diese Mäuse wurden mit und ohne heterozygotem Smad5-Hintergrund charakterisiert. Bei einem knock out von Smad1 allein konnte ein leichte Verkürzung der Wachstumsfuge beobachtet werden, wobei prähypertrophe und hypertrophe Zone gleichermaßen betroffen waren. Dieser Phänotyp war verstärkt in Mäusen mit zusätzlichem heterozygotem Smad5-Hintergrund. Eine Verringerung der Proliferationsrate konnte zusammen mit einer verminderten Ihh-Expression nachgewiesen werden. Zusätzlich konnte anhand von Röntgenaufnahmen eine Dysorganisation der nasalen Region und ein fehlendes nasales Septum beobachtet werden. Produktion und Mineralisation der extrazellulären Matrix waren nicht beeinträchtigt. Um die Rolle der BMP- und TGFbeta-Signalkaskaden während der endochondralen Ossifikation zu vergleichen, wurden transgene Mäuse generiert, in denen die TGFbeta-Signalkaskade spezifisch in proliferierenden Chondrozyten gestört war. Zwei Mauslinien, die ähnliche Phänotypen zeigten, wurden untersucht. Esl1 ist ein TGFbeta-bindendes Protein, von dem man annimmt, dass es die TGFbeta-Signalkaskade inhibieren kann. Esl1-knock out-Mäuse sind kleiner als Wildtypmäuse und die Überexpression von Esl1 in proliferierenden Chondrozyten führt zu einer Verlängerung der Wachstumsfuge und einer verstärkten Proliferationsrate. Knorpelmarker, wie Col2a1 und Sox9 sind in diesen Mäusen herunterreguliert, während Col10a1 und Ihh als Marker für die hypertrophe und prähypertrophe Zone herunterreguliert waren. Dies führt zu der Annahme, dass mehr Zellen in die terminale Differenzierung eintreten. Bei transgenen Mäusen, in denen ein dominant-negativer (dn) TGFbeta-Rezeptor in proliferierenden Chondrozyten überexprimiert wurde, konnte eine verlängerte prähypertrophe Zone, eine erhöhte Ihh-Expression, sowie eine verstärkte Proliferationsrate beobachtet werden. Zusätzlich konnte in homozygoten Tieren ein craniofacialer Phänotyp beschrieben werden, der zu Problemen bei der Nahrungsaufnahme und damit zu einer starken Wachstumsbeeinträchtigung führte. Die BMP- und TGFbeta-Signalkaskaden haben möglicherweise antagonistische Effekte in der Wachstumsfuge. Während der Ausfall von BMP in proliferierenden Chondrozyten aufgrund einer gesunkenen Proliferationsrate zu einer Verkürzung der Wachstumsfuge führte, kann man in Mäusen mit einer Störung der TGFbeta-Signalkaskade eine verstärkte Proliferation in einer daher verlängerten Wachstumsfuge beobachten. Ein weiteres Ziel dieser Arbeit war die Generation einer transgenen Mauslinie, die die Cre-Rekombinase spezifisch in hypertrophen Chondrozyten exprimiert. Promoterstudien mit transgenen Mäusen weisen darauf hin, dass ein putatives AP1-Element, etwa 4 kb vor dem ersten Exon des Col10a1 gelegen, wichtig für die spezifische Expression in hypertrophen Chondrozyten ist. Ein Konstrukt, dass vier Kopien dieses Elements und den basalen Promoter enthält, wurde benutzt, um die Cre-Rekombinase spezifisch zu exprimieren. Diese Mauslinie befindet sich in der Testphase und erste Daten deuten auf eine spezifische Expression der Cre-Rekombinase in hypertrophen Chondrozyten hin.

Fully Automatic Segmentation of Brain Tumor Images using Support Vector Machine Classiffication in Combination with Hierarchical Conditional Random Field Regularization

Delineating brain tumor boundaries from magnetic resonance images is an essential task for the analysis of brain cancer. We propose a fully automatic method for brain tissue segmentation, which combines Support Vector Machine classification using multispectral intensities and textures with subsequent hierarchical regularization based on Conditional Random Fields. The CRF regularization introduces spatial constraints to the powerful SVM classification, which assumes voxels to be independent from their neighbors. The approach first separates healthy and tumor tissue before both regions are subclassified into cerebrospinal fluid, white matter, gray matter and necrotic, active, edema region respectively in a novel hierarchical way. The hierarchical approach adds robustness and speed by allowing to apply different levels of regularization at different stages. The method is fast and tailored to standard clinical acquisition protocols. It was assessed on 10 multispectral patient datasets with results outperforming previous methods in terms of segmentation detail and computation times.

A transgenic model for conditional induction and rescue of portal hypertension reveals a role of VEGF-mediated regulation of sinusoidal fenestrations

Portal hypertension (PH) is a common complication and a leading cause of death in patients with chronic liver diseases. PH is underlined by structural and functional derangement of liver sinusoid vessels and its fenestrated endothelium. Because in most clinical settings PH is accompanied by parenchymal injury, it has been difficult to determine the precise role of microvascular perturbations in causing PH. Reasoning that Vascular Endothelial Growth Factor (VEGF) is required to maintain functional integrity of the hepatic microcirculation, we developed a transgenic mouse system for a liver-specific-, reversible VEGF inhibition. The system is based on conditional induction and de-induction of a VEGF decoy receptor that sequesters VEGF and preclude signaling. VEGF blockade results in sinusoidal endothelial cells (SECs) fenestrations closure and in accumulation and transformation of the normally quiescent hepatic stellate cells, i.e. provoking the two processes underlying sinusoidal capillarization. Importantly, sinusoidal capillarization was sufficient to cause PH and its typical sequela, ascites, splenomegaly and venous collateralization without inflicting parenchymal damage or fibrosis. Remarkably, these dramatic phenotypes were fully reversed within few days from lifting-off VEGF blockade and resultant re-opening of SECs' fenestrations. This study not only uncovered an indispensible role for VEGF in maintaining structure and function of mature SECs, but also highlights the vasculo-centric nature of PH pathogenesis. Unprecedented ability to rescue PH and its secondary manifestations via manipulating a single vascular factor may also be harnessed for examining the potential utility of de-capillarization treatment modalities.

Predicting future risk of asthma exacerbations using individual conditional probabilities

Determination of future risk of exacerbations is a key issue in the management of asthma. We previously developed a method to calculate conditional probabilities (π) of future decreases in lung function by using the daily fluctuations in peak expiratory flow (PEF).

Dephosphorylation of p-ERK1/2 in relation to tumor remission after HER-2 and Raf1 blocking therapy in a conditional mouse tumor model

Several studies have shown that HER-2/neu (erbB-2) blocking therapy strategies can cause tumor remission. However, the responsible molecular mechanisms are not yet known. Both ERK1/2 and Akt/PKB are critical for HER-2-mediated signal transduction. Therefore, we used a mouse tumor model that allows downregulation of HER-2 in tumor tissue by administration of anhydrotetracycline (ATc). Switching-off HER-2 caused a rapid tumor remission by more than 95% within 7 d of ATc administration compared to the volume before switching-off HER-2. Interestingly, HER-2 downregulation caused a dephosphorylation of p-ERK1/2 by more than 80% already before tumor remission occurred. Levels of total ERK protein were not influenced. In contrast, dephosphorylation of p-Akt occurred later, when the tumor was already in remission. These data suggest that in our HER-2 tumor model dephosphorylation of p-ERK1/2 may be more critical for tumor remission than dephosphorylation of p-Akt. To test this hypothesis we used a second mouse tumor model that allows ATc controlled expression of BXB-Raf1 because the latter constitutively signals to ERK1/2, but cannot activate Akt/PKB. As expected, downregulation of BXB-Raf1 in tumor tissue caused a strong dephosphorylation of p-ERK1/2, but did not decrease levels of p-Akt. Interestingly, tumor remission after switching-off BXB-Raf1 was similarly efficient as the effect of HER-2 downregulation, despite the lack of p-Akt dephosphorylation. In conclusion, two lines of evidence strongly suggest that dephosphorylation of p-ERK1/2 and not that of p-Akt is critical for the rapid tumor remission after downregulation of HER-2 or BXB-Raf1 in our tumor model: (i) dephosphorylation of p-ERK1/2 but not that of p-Akt precedes tumor remission after switching-off HER-2 and (ii) downregulation of BXB-Raf1 leads to a similarly efficient tumor remission as downregulation of HER-2, although no p-Akt dephosphorylation was observed after switching-off BXB-Raf1.

On the Behaviour of Marginal and Conditional Akaike Information Criteria in Linear Mixed Models

In linear mixed models, model selection frequently includes the selection of random effects. Two versions of the Akaike information criterion (AIC) have been used, based either on the marginal or on the conditional distribution. We show that the marginal AIC is no longer an asymptotically unbiased estimator of the Akaike information, and in fact favours smaller models without random effects. For the conditional AIC, we show that ignoring estimation uncertainty in the random effects covariance matrix, as is common practice, induces a bias that leads to the selection of any random effect not predicted to be exactly zero. We derive an analytic representation of a corrected version of the conditional AIC, which avoids the high computational cost and imprecision of available numerical approximations. An implementation in an R package is provided. All theoretical results are illustrated in simulation studies, and their impact in practice is investigated in an analysis of childhood malnutrition in Zambia.

REMOVING TECHNICAL VARIABILITY IN RNA-SEQ DATA USING CONDITIONAL QUANTILE NORMALIZATION

The ability to measure gene expression on a genome-wide scale is one of the most promising accomplishments in molecular biology. Microarrays, the technology that first permitted this, were riddled with problems due to unwanted sources of variability. Many of these problems are now mitigated, after a decade’s worth of statistical methodology development. The recently developed RNA sequencing (RNA-seq) technology has generated much excitement in part due to claims of reduced variability in comparison to microarrays. However, we show RNA-seq data demonstrates unwanted and obscuring variability similar to what was first observed in microarrays. In particular, we find GC-content has a strong sample specific effect on gene expression measurements that, if left uncorrected, leads to false positives in downstream results. We also report on commonly observed data distortions that demonstrate the need for data normalization. Here we describe statistical methodology that improves precision by 42% without loss of accuracy. Our resulting conditional quantile normalization (CQN) algorithm combines robust generalized regression to remove systematic bias introduced by deterministic features such as GC-content, and quantile normalization to correct for global distortions.