Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Effects of a post-weaning cafeteria diet in young rats: metabolic syndrome, reduced activity and low anxiety-like behaviour.

Among adolescents, overweight, obesity and metabolic syndrome are rapidly increasing in recent years as a consequence of unhealthy palatable diets. Animal models of diet-induced obesity have been developed, but little is known about the behavioural patterns produced by the consumption of such diets. The aim of the present study was to determine the behavioural and biochemical effects of a cafeteria diet fed to juvenile male and female rats, as well as to evaluate the possible recovery from these effects by administering standard feeding during the last week of the study. Two groups of male and female rats were fed with either a standard chow diet (ST) or a cafeteria (CAF) diet from weaning and for 8 weeks. A third group of males (CAF withdrawal) was fed with the CAF diet for 7 weeks and the ST in the 8th week. Both males and females developed metabolic syndrome as a consequence of the CAF feeding, showing overweight, higher adiposity and liver weight, increased plasma levels of glucose, insulin and triglycerides, as well as insulin resistance, in comparison with their respective controls. The CAF diet reduced motor activity in all behavioural tests, enhanced exploration, reduced anxiety-like behaviour and increased social interaction; this last effect was more pronounced in females than in males. When compared to animals only fed with a CAF diet, CAF withdrawal increased anxiety in the open field, slightly decreased body weight, and completely recovered the liver weight, insulin sensitivity and the standard levels of glucose, insulin and triglycerides in plasma. In conclusion, a CAF diet fed to young animals for 8 weeks induced obesity and metabolic syndrome, and produced robust behavioural changes in young adult rats, whereas CAF withdrawal in the last week modestly increased anxiety, reversed the metabolic alterations and partially reduced overweight.

Assessment of metabolic fluxes in the mouse brain in vivo using 1H-[13C] NMR spectroscopy at 14.1 Tesla.

(13)C magnetic resonance spectroscopy (MRS) combined with the administration of (13)C labeled substrates uniquely allows to measure metabolic fluxes in vivo in the brain of humans and rats. The extension to mouse models may provide exclusive prospect for the investigation of models of human diseases. In the present study, the short-echo-time (TE) full-sensitivity (1)H-[(13)C] MRS sequence combined with high magnetic field (14.1 T) and infusion of [U-(13)C6] glucose was used to enhance the experimental sensitivity in vivo in the mouse brain and the (13)C turnover curves of glutamate C4, glutamine C4, glutamate+glutamine C3, aspartate C2, lactate C3, alanine C3, γ-aminobutyric acid C2, C3 and C4 were obtained. A one-compartment model was used to fit (13)C turnover curves and resulted in values of metabolic fluxes including the tricarboxylic acid (TCA) cycle flux VTCA (1.05 ± 0.04 μmol/g per minute), the exchange flux between 2-oxoglutarate and glutamate Vx (0.48 ± 0.02 μmol/g per minute), the glutamate-glutamine exchange rate V(gln) (0.20 ± 0.02 μmol/g per minute), the pyruvate dilution factor K(dil) (0.82 ± 0.01), and the ratio for the lactate conversion rate and the alanine conversion rate V(Lac)/V(Ala) (10 ± 2). This study opens the prospect of studying transgenic mouse models of brain pathologies.

Simulation Supported Robot Programming using XML

The main objective of this master's thesis is to study robot programming using simulation software, and also how to embed the simulation software into company's own robot controlling software. The further goal is to study a new communication interface to the assembly line's components -more precisely how to connect the robot cell into this new communication system. Conveyor lines are already available where the conveyors use the new communication standard. The robot cell is not yet capable of communicating with to other devices using the new communication protocols. The main problem among robot manufacturers is that they all have their own communication systems and programming languages. There has not been any common programming language to program all the different robot manufacturers robots, until the RRS (Realistic Robot Simulation) standards were developed. The RRS - II makes it possible to create the robot programs in the simulation software and it gives a common user interface for different robot manufacturers robots. This thesis will present the RRS - II standard and the robot manufacturers situation for the RRS - II support. Thesis presents how the simulation software can be embedded into company's own robot controlling software and also how the robot cell can be connected to the CAMX (Computer Aided Manufacturing using XML) communication system.

Metabolic origin of δ15N values in nitrogenous compounds from Brassica napus L. leaves

Nitrogen isotope composition (δ15N) in plant organic matter is currently used as a natural tracer of nitrogen acquisition efficiency. However, the δ15N value of whole leaf material does not properly reflect the way in which N is assimilated because isotope fractionations along metabolic reactions may cause substantial differences among leaf compounds. In other words, any change in metabolic composition or allocation pattern may cause undesirable variability in leaf δ15N. Here, we investigated the δ15N in different leaf fractions and individual metabolites from rapeseed (Brassica napus) leaves. We show that there were substantial differences in δ15N between nitrogenous compounds (up to 30 ) and the content in (15N enriched) nitrate had a clear influence on leaf δ15N. Using a simple steady-state model of day metabolism, we suggest that the δ15N value in major amino acids was mostly explained by isotope fractionation associated with isotope effects on enzyme-catalysed reactions in primary nitrogen metabolism. δ15N values were further influenced by light versus dark conditions and the probable occurrence of alternative biosynthetic pathways. We conclude that both biochemical pathways (that fractionate between isotopes) and nitrogen sources (used for amino acid production) should be considered when interpreting the δ15N value of leaf nitrogenous compounds

Sphingomonas wittichii RW1 gene reporters interrogating the dibenzofuran metabolic network highlight conditions for early successful development in contaminated microcosms.

In order to better understand the fate and activity of bacteria introduced into contaminated material for the purpose of enhancing biodegradation rates, we constructed Sphingomonas wittichii RW1 variants with gene reporters interrogating dibenzofuran metabolic activity. Three potential promoters from the dibenzofuran metabolic network were selected and fused to the gene for enhanced green fluorescent protein (EGFP). The stability of the resulting genetic constructions in RW1 was examined, with plasmids based on the broad-host range vector pME6012 being the most reliable. One of the selected promoters, upstream of the gene Swit_4925 for a putative 2-hydroxy-2,4-pentadienoate hydratase, was inducible by growth on dibenzofuran. Sphingomonas wittichii RW1 equipped with the Swit_4925 promoter egfp fusion grew in a variety of non-sterile sandy microcosms contaminated with dibenzofuran and material from a former gasification site. The strain also grew in microcosms without added dibenzofuran but to a very limited extent, and EGFP expression indicated the formation of consistent small subpopulations of cells with an active inferred dibenzofuran metabolic network. Evidence was obtained for competition for dibenzofuran metabolites scavenged by resident bacteria in the gasification site material, which resulted in a more rapid decline of the RW1 population. Our results show the importance of low inoculation densities in order to observe the population development of the introduced bacteria and further illustrate that the limited availability of unique carbon substrate may be the most important factor impinging growth.

Metabolic effects of insulin and IGFs on gilthead sea bream (Sparus aurata) muscle cells.

Primary cultures of gilthead sea bream myocytes were performed in order to examine the relative metabolic function of insulin compared with IGF-I and IGF-II (insulin-like growth factors, IGFs) at different stages in the cell culture. In these cells, the in vitro effects of insulin and IGFs on 2-deoxyglucose (2-DG) and L-alanine uptake were studied in both myocytes (day 4) and small myotubes (day 9). 2-DG uptake in gilthead sea bream muscle cells was increased in the presence of insulin and IGFs in a time dependent manner and along with muscle cell differentiation. On the contrary, L-alanine uptake was also stimulated by insulin and IGFs but showed an inverse pattern, being the uptake higher in small myocytes than in large myotubes. The results of preincubation with inhibitors (PD-98059, wortmannin, and cytochalasin B) on 2-DG uptake indicated that insulin and IGFs stimulate glucose uptake through the same mechanisms, and evidenced that mitogenesis activator protein kinase (MAPK) and PI3K-Akt transduction pathways mediate the metabolic function of these peptides. In the same way, we observed that GLUT4 protein synthesis was stimulated in the presence of insulin and IGFs in gilthead sea bream muscle cells in a different manner at days 4 or 9 of the culture. In summary we describe here, for the first time, the effects of insulin and IGFs on 2-DG and L-alanine uptake in primary culture of gilthead sea bream muscle cells. We show that both MAPK and PI3K-Akt transduction pathways are needed in order to control insulin and IGFs actions in these cells. Moreover, changes in glucose uptake can be explained by the action of the GLUT4 transporter, which is stimulated in the presence of insulin and IGFs throughout the cell culture.

Metabolic gene expression changes in astrocytes in Multiple Sclerosis cerebral cortex are indicative of immune-mediated signaling.

Emerging as an important correlate of neurological dysfunction in Multiple Sclerosis (MS), extended focal and diffuse gray matter abnormalities have been found and linked to clinical manifestations such as seizures, fatigue and cognitive dysfunction. To investigate possible underlying mechanisms we analyzed the molecular alterations in histopathological normal appearing cortical gray matter (NAGM) in MS. By performing a differential gene expression analysis of NAGM of control and MS cases we identified reduced transcription of astrocyte specific genes involved in the astrocyte-neuron lactate shuttle (ANLS) and the glutamate-glutamine cycle (GGC). Additional quantitative immunohistochemical analysis demonstrating a CX43 loss in MS NAGM confirmed a crucial involvement of astrocytes and emphasizes their importance in MS pathogenesis. Concurrently, a Toll-like/IL-1β signaling expression signature was detected in MS NAGM, indicating that immune-related signaling might be responsible for the downregulation of ANLS and GGC gene expression in MS NAGM. Indeed, challenging astrocytes with immune stimuli such as IL-1β and LPS reduced their ANLS and GGC gene expression in vitro. The detected upregulation of IL1B in MS NAGM suggests inflammasome priming. For this reason, astrocyte cultures were treated with ATP and ATP/LPS as for inflammasome activation. This treatment led to a reduction of ANLS and GGC gene expression in a comparable manner. To investigate potential sources for ANLS and GGC downregulation in MS NAGM, we first performed an adjuvant-driven stimulation of the peripheral immune system in C57Bl/6 mice in vivo. This led to similar gene expression changes in spinal cord demonstrating that peripheral immune signals might be one source for astrocytic gene expression changes in the brain. IL1B upregulation in MS NAGM itself points to a possible endogenous signaling process leading to ANLS and GGC downregulation. This is supported by our findings that, among others, MS NAGM astrocytes express inflammasome components and that astrocytes are capable to release Il-1β in-vitro. Altogether, our data suggests that immune signaling of immune- and/or central nervous system origin drives alterations in astrocytic ANLS and GGC gene regulation in the MS NAGM. Such a mechanism might underlie cortical brain dysfunctions frequently encountered in MS patients.