A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

Temporal lobe epilepsy and social behavior: An animal model

Social behavior depends on the integrity of social brain circuitry. The temporal lobe is an important part of the social brain, and manifests morphological and functional alterations in autism spectrum disorders (ASD). Rats with temporal lobe epilepsy (TLE), induced with pilocarpine, were subjected to a social discrimination test that has been used to investigate potential animal models of ASD, and the results were compared with those for the control group. Rats with TLE exhibited fewer social behaviors than controls. No differences were observed in nonsocial behavior between groups. The results suggest an important role for the temporal lobe in regulating social behaviors. This animal model might be used to explore some questions about ASD pathophysiology. (c) 2008 Elsevier Inc. All rights reserved.

Reactive oxygen species generated by NADPH oxidase are involved in neurodegeneration in the pilocarpine model of temporal lobe epilepsy

Reactive oxygen species (ROS) appear to be involved in several neurodegenerative disorders. We tested the hypothesis that oxidative stress could have a role in the hippocampal neurodegeneration observed in temporal lobe epilepsy induced by pilocarpine. We first determined the spatio-temporal pattern of ROS generation, by means of detection with dihydroethidium oxidation, in the CA1 and CA3 areas and the dentate gyrus of the dorsal hippocampus during status epilepticus induced by pilocarpine. Fluoro-Jade B assays were also performed to detect degenerating neurons. ROS generation was increased in CA1, CA3 and the dentate gyrus after pilocarpine-induced seizures, which was accompanied by marked cell death. Treatment of rats with a NADPH oxidase inhibitor (apocynin) for 7 days prior to induction of status epilepticus was effective in decreasing both ROS production (by an average of 20%) and neurodegeneration (by an average of 61%). These results suggest an involvement of ROS generated by NADPH oxidase in neuronal death in the pilocarpine model of epilepsy. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Evolutionary history of Ramphastos toucans: Molecular phylogenetics, temporal diversification, and biogeography

The toucan genus Ramphastos (Piciformes: Ramphastidae) has been a model in the formulation of Neotropical paleobiogeographic hypotheses. Weckstein (2005) reported on the phylogenetic history of this genus based on three mitochondrial genes, but some relationships were weakly supported and one of the subspecies of R. vitellinus (citreolaemus) was unsampled. This study expands on Weckstein (2005) by adding more DNA sequence data (including a nuclear marker) and more samples, including R v. citreolaemus. Maximum parsimony, maximum likelihood, and Bayesian methods recovered similar trees, with nodes showing high support. A monophyletic R. vitellinus complex was strongly supported as the sister-group to R. brevis. The results also confirmed that the southeastern and northern populations of R. vitellinus ariel are paraphyletic. X v. citreolaemus is sister to the Amazonian subspecies of the vitellinus complex. Using three protein-coding genes (COI, cytochrome-b and ND2) and interval-calibrated nodes under a Bayesian relaxed-clock framework, we infer that ramphastid genera originated in the middle Miocene to early Pliocene, Ramphastos species originated between late Miocene and early Pleistocene, and intra-specific divergences took place throughout the Pleistocene. Parsimony-based reconstruction of ancestral areas indicated that evolution of the four trans-Andean Ramphastos taxa (R. v. citreolaemus, R. a. swainsonii, R. brevis and R. sulfuratus) was associated with four independent dispersals from the cis-Andean region. The last pulse of Andean uplift may have been important for the evolution of R. sulfuratus, whereas the origin of the other trans-Andean Ramphastos taxa is consistent with vicariance due to drying events in the lowland forests north of the Andes. Estimated rates of molecular evolution were higher than the ""standard"" bird rate of 2% substitutions/site/million years for two of the three genes analyzed (cytochrome-b and ND2). (C) 2009 Elsevier Inc. All rights reserved.

A psychophysical and computational analysis of the spatio-temporal mechanisms underlying the flash-lag effect

Several accounts put forth to explain the flash-lag effect (FLE) rely mainly on either spatial or temporal mechanisms. Here we investigated the relationship between these mechanisms by psychophysical and theoretical approaches. In a first experiment we assessed the magnitudes of the FLE and temporal-order judgments performed under identical visual stimulation. The results were interpreted by means of simulations of an artificial neural network, that wits also employed to make predictions concerning the F LE. The model predicted that a spatio-temporal mislocalisation would emerge from two, continuous and abrupt-onset, moving stimuli. Additionally, a straightforward prediction of the model revealed that the magnitude of this mislocalisation should be task-dependent, increasing when the use of the abrupt-onset moving stimulus switches from a temporal marker only to both temporal and spatial markers. Our findings confirmed the model`s predictions and point to an indissoluble interplay between spatial facilitation and processing delays in the FLE.

The sleep-wake cycle in adult rats following pilocarpine-induced temporal lobe epilepsy

The relationship between sleep and epilepsy is both complex and clinically significant. Temporal lobe epilepsy (TLE) influences sleep architecture, while sleep plays an important role in facilitating and/or inhibiting possible epileptic seizures. The pilocarpine experimental model reproduces several features of human temporal lobe epilepsy and is one of the most widely used models in basic research. The aim of the present study was to characterize, behaviorally and electrophysiologically, the phases of sleep-wake cycles (SWC) in male rats with pilocarpine-induced epilepsy. Epileptic rats presented spikes in all phases of the SWC as well as atypical cortical synchronization during attentive wakefulness and paradoxical sleep. The architecture of the sleep-wake phases was altered in epileptic rats, as was the integrity of the SWC. Because our findings reproduce many relevant features observed in patients with epilepsy, this model is suitable to study sleep dysfunction in epilepsy. (C) 2009 Elsevier Inc. All rights reserved.

Short-time behaviour of demand and price viewed through an exactly solvable model for heterogeneous interacting market agents

We introduce a stochastic heterogeneous interacting-agent model for the short-time non-equilibrium evolution of excess demand and price in a stylized asset market. We consider a combination of social interaction within peer groups and individually heterogeneous fundamentalist trading decisions which take into account the market price and the perceived fundamental value of the asset. The resulting excess demand is coupled to the market price. Rigorous analysis reveals that this feedback may lead to price oscillations, a single bounce, or monotonic price behaviour. The model is a rare example of an analytically tractable interacting-agent model which allows LIS to deduce in detail the origin of these different collective patterns. For a natural choice of initial distribution, the results are independent of the graph structure that models the peer network of agents whose decisions influence each other. (C) 2009 Elsevier B.V. All rights reserved.

Alteration of purinergic P2X(4) and P2X(7) receptor expression in rats with temporal-lobe epilepsy induced by pilocarpine

Although ATP and P2X receptor activity have been lately associated with epilepsy, little is known regarding their exact roles in epileptogenesis. Temporal-lobe epilepsy (TLE) in rat was induced by pilocarpine in order to study changes of hippocampal P2X(2), P2X(4) and P2X(7) receptor expression during acute, latent or chronic phases of epilepsy. During acute and chronic phases increased P2X(7) receptor expression was principally observed in glial cells and glutamatergic nerve terminals, suggesting participation of this receptor in the activation of inflammatory and excitotoxic processes during epileptogenesis. No significant alterations of hippocampal P2X(2) and P2X(4) receptor expression was noted during the acute or latent phase when compared to the control group, indicating that these receptors are not directly involved with the initiation of epilepsy. However, the reduction of hippocampal P2X(4) receptor immunostaining in the chronic phase could reflect neuronal toss or decreased GABAergic signaling. (C) 2008 Elsevier B.V. All rights reserved.