Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Expression of vitamin D receptor mRNA in the hippocampal formation of rats submitted to a model of temporal lobe epilepsy induced by pilocarpine

Vitamin D (VD), is a steroid hormone with multiple functions in the central nervous system (CNS), producing numerous physiological effects mediated by its receptor (VDR). Clinical and experimental studies have shown a link between VD dysfunction and epilepsy. Along these lines, the purpose of our work was to analyze the relative expression of VDR mRNA in the hippocampal formation of rats during the three periods of pilocarpine-induced epilepsy. Male Wistar rats were divided into five groups: (1) control group; rats that received saline 0.9%, i.p. and were killed 7 days after its administration (CTRL, n = 8), (2) SE group; rats that received pilocarpine and were killed 4 h after SE (SE, n = 8), (3) Silent group-7 days; rats that received pilocarpine and were killed 7 days after SE (SIL 7d, n = 8), (4) Silent group-14 days; rats that received pilocarpine and were killed 14 days after SE (SIL 14d, n = 8), (5) Chronic group; rats that received pilocarpine and were killed 60 days after the first spontaneous seizure, (chronic, n = 8). The relative expression of VDR mRNA was determined by real-time PCR. Our results showed an increase of the relative expression of VDR mRNA in the SIL 7 days, SIL 14 days and Chronic groups, respectively (0.060 +/- 0.024; 0.052 +/- 0.035; 0.085 +/- 0.055) when compared with the CTRL and SE groups (0.019 +/- 0.017; 0.019 +/- 0.025). These data suggest the VDR as a possible candidate participating in the epileptogenesis process of the pilocarpine model of epilepsy. (C) 2008 Elsevier Inc. All rights reserved.

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.

Modulation of B-1 and B-2 kinin receptors expression levels in the hippocampus of rats after audiogenic kindling and with limbic recruitment, a model of temporal lobe epilepsy

Epileptic seizures are hypersynchronous, paroxystic and abnormal neuronal discharges. Epilepsies are characterized by diverse mechanisms involving alteration of excitatory and inhibitory neurotransmission that result in hyperexcitability of the central nervous system (CNS). Enhanced neuronal excitability can also be achieved by inflammatory processes, including the participation of cytokines, prostaglandins or kinins, molecules known to be involved in either triggering or in the establishment of inflammation. Multiple inductions of audiogenic seizures in the Wistar audiogenic rat (WAR) strain are a model of temporal lobe epilepsy (TLE), due to the recruitment of limbic areas such as hippocampus and amygdata. In this study we investigated the modulation of the B-1 and B-2 kinin receptors expression levels in neonatal WARs as well as in adult WARs subjected to the TLE model. The expression levels of pro-inflammatory (IL-1 beta) and anti-inflammatory (IL-10) cytokines were also evaluated, as well as cyclooxygenase (COX-2). Our results showed that the B-1 and B-2 kinin receptors mRNAs were up-regulated about 7- and 4-fold, respectively, in the hippocampus of kindled WARs. On the other hand, the expressions of the IL-1 beta, IL-10 and COX-2 were not related to the observed increase of expression of kinin receptors. Based on those results we believe that the B, and B2 kinin receptors have a pivotal role in this model of TLE, although their participation is not related to an inflammatory process. We believe that kinin receptors in the CNS may act in seizure mechanisms by participating in a specific kininergic neurochemical pathway. (c) 2007 Elsevier B.V. All rights reserved.

Temporal evolution of epithelial, vascular and interstitial lung injury in an experimental model of idiopathic pulmonary fibrosis induced by butyl-hydroxytoluene

This study was undertaken to test whether the structural remodelling of pulmonary parenchyma can be sequentially altered in a model and method that demonstrate the progression of the disease and result in remodelling within the lungs that is typical of idiopathic pulmonary fibrosis. Three groups of mice were studied: (i) animals that received 3-5-di-tert-butyl-4-hydroxytoluene (BHT) and were killed after 2 weeks (early BHT = 9); (ii) animals that received BHT and were killed after 4 weeks (late BHT = 11); (iii) animals that received corn oil solution (control = 10). The mice were placed in a ventilated Plexiglas chamber with a mixture of pure humidified oxygen and compressed air. Lung histological sections underwent haematoxylin-eosin, immunohistochemistry (epithelial, endothelial and immune cells) and specific staining (collagen/elastic fibres) methods for morphometric analysis. When compared with the control group, early BHT and late BHT groups showed significant decrease of type II pneumocytes, lower vascular density in both and higher endothelial activity. CD4 was increased in late BHT compared with early and control groups, while CD8, macrophage and neutrophil cells were more prominent only in early BHT. The collagenous fibre density were significantly higher only in late BHT, whereas elastic fibre content in late BHT was lower than that in control group. We conclude that the BHT experimental model is pathologically very similar to human usual interstitial pneumonia. This feature is important in the identification of animal models of idiopathic pulmonary fibrosis that can accurately reflect the pathogenesis and progression of the human disease.

Hybrid fuzzy Monte Carlo and logic programming model for distribution network reconfiguration in the presence of outages

This paper presents a methodology for distribution networks reconfiguration in outage presence in order to choose the reconfiguration that presents the lower power losses. The methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modelling for system component outage parameters. Fuzzy membership functions of system component outage parameters are obtained by statistical records. A hybrid method of fuzzy set and Monte Carlo simulation based on the fuzzy-probabilistic models allows catching both randomness and fuzziness of component outage parameters. Once obtained the system states by Monte Carlo simulation, a logical programming algorithm is applied to get all possible reconfigurations for every system state. In order to evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation a distribution power flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology to a practical case, the paper includes a case study that considers a real distribution network.

Temporal lobe epilepsy in childhood – a study model of auditory processing

TLE in infancy has been the subject of varied research. Topographical and structural evidence is coincident with the neuronal systems responsible for auditory processing of the highest specialization and complexity. Recent studies have been showing the need of a hemispheric asymmetry for an optimization in central auditory processing (CAP) and acquisition and learning of a language system. A new functional research paradigm is required to study mental processes that require methods of cognitive-sensory information analysis processed in very short periods of time (msec), such as the ERPs. Thus, in this article, we hypothesize that the TLE in infancy could be a good model for topographic and functional study of CAP and its development process, contributing to a better understanding of the learning difficulties that children with this neurological disorder have.

Temporal changes in mRNA expression of the brain nutrient transporters in the lithium-pilocarpine model of epilepsy in the immature and adult rat.

The lithium-pilocarpine model mimics most features of human temporal lobe epilepsy. Following our prior studies of cerebral metabolic changes, here we explored the expression of transporters for glucose (GLUT1 and GLUT3) and monocarboxylates (MCT1 and MCT2) during and after status epilepticus (SE) induced by lithium-pilocarpine in PN10, PN21, and adult rats. In situ hybridization was used to study the expression of transporter mRNAs during the acute phase (1, 4, 12 and 24h of SE), the latent phase, and the early and late chronic phases. During SE, GLUT1 expression was increased throughout the brain between 1 and 12h of SE, more strongly in adult rats; GLUT3 increased only transiently, at 1 and 4h of SE and mainly in PN10 rats; MCT1 was increased at all ages but 5-10-fold more in adult than in immature rats; MCT2 expression increased mainly in adult rats. At all ages, MCT1 and MCT2 up-regulation was limited to the circuit of seizures while GLUT1 and GLUT3 changes were more widespread. During the latent and chronic phases, the expression of nutrient transporters was normal in PN10 rats. In PN21 rats, GLUT1 was up-regulated in all brain regions. In contrast, in adult rats GLUT1 expression was down-regulated in the piriform cortex, hilus and CA1 as a result of extensive neuronal death. The changes in nutrient transporter expression reported here further support previous findings in other experimental models demonstrating rapid transcriptional responses to marked changes in cerebral energetic/glucose demand.

A multi-temporal approach to model endangered species distribution in Europe: the case of the Eurasian otter in Italy

We analysed the relationship between changes in land cover patterns and the Eurasian otter occurrence over the course of about 20 years (1985-2006) using multi-temporal Species Distribution Models (SDMs). The study area includes five river catchments covering most of the otter's Italian range. Land cover and topographic data were used as proxies of the ecological requirements of the otter within a 300-m buffer around river courses. We used species presence, pseudo-absence data, and environmental predictors to build past (1985) and current (2006) SDMs by applying an ensemble procedure through the BIOMOD modelling package. The performance of each model was evaluated by measuring the area under the curve (AUC) of the receiver-operating characteristic (ROC). Multi-temporal analyses of species distribution and land cover maps were performed by comparing the maps produced for 1985 and 2006. The ensemble procedure provided a good overall modelling accuracy, revealing that elevation and slope affected the otter's distribution in the past; in contrast, land cover predictors, such as cultivations and forests, were more important in the present period. During the transition period, 20.5% of the area became suitable, with 76% of the new otter presence data being located in these newly available areas. The multi-temporal analysis suggested that the quality of otter habitat improved in the last 20 years owing to the expansion of forests and to the reduction of cultivated fields in riparian belts. The evidence presented here stresses the great potential of riverine habitat restoration and environmental management for the future expansion of the otter in Italy

Impact of model complexity on cross-temporal transferability in Maxent species distribution models: An assessment using paleobotanical data

Maximum entropy modeling (Maxent) is a widely used algorithm for predicting species distributions across space and time. Properly assessing the uncertainty in such predictions is non-trivial and requires validation with independent datasets. Notably, model complexity (number of model parameters) remains a major concern in relation to overfitting and, hence, transferability of Maxent models. An emerging approach is to validate the cross-temporal transferability of model predictions using paleoecological data. In this study, we assess the effect of model complexity on the performance of Maxent projections across time using two European plant species (Alnus giutinosa (L.) Gaertn. and Corylus avellana L) with an extensive late Quaternary fossil record in Spain as a study case. We fit 110 models with different levels of complexity under present time and tested model performance using AUC (area under the receiver operating characteristic curve) and AlCc (corrected Akaike Information Criterion) through the standard procedure of randomly partitioning current occurrence data. We then compared these results to an independent validation by projecting the models to mid-Holocene (6000 years before present) climatic conditions in Spain to assess their ability to predict fossil pollen presence-absence and abundance. We find that calibrating Maxent models with default settings result in the generation of overly complex models. While model performance increased with model complexity when predicting current distributions, it was higher with intermediate complexity when predicting mid-Holocene distributions. Hence, models of intermediate complexity resulted in the best trade-off to predict species distributions across time. Reliable temporal model transferability is especially relevant for forecasting species distributions under future climate change. Consequently, species-specific model tuning should be used to find the best modeling settings to control for complexity, notably with paleoecological data to independently validate model projections. For cross-temporal projections of species distributions for which paleoecological data is not available, models of intermediate complexity should be selected.

Temporal variability of soil CO2 emission after conventional and reduced tillage described by an exponential decay in time model

To study Assessing the impact of tillage practices on soil carbon losses dependents it is necessary to describe the temporal variability of soil CO2 emission after tillage. It has been argued that large amounts of CO2 emitted after tillage may serve as an indicator for longer-term changes in soil carbon stocks. Here we present a two-step function model based on soil temperature and soil moisture including an exponential decay in time component that is efficient in fitting intermediate-term emission after disk plow followed by a leveling harrow (conventional), and chisel plow coupled with a roller for clod breaking (reduced) tillage. Emission after reduced tillage was described using a non-linear estimator with determination coefficient (R²) as high as 0.98. Results indicate that when emission after tillage is addressed it is important to consider an exponential decay in time in order to predict the impact of tillage in short-term emissions.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.