A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

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.

Wolbachia: why these bacteria are important to genome research

Intracellular bacteria of the genus Wolbachia were first discovered in mosquitoes in the 1920s. Their superficial similarity to pathogenic rickettsia initially raised interest in them as potential human pathogens. However, injection experiments with mice showed that they were non-pathogenic, and they were subsequently classified as symbionts of insects. Until the 1970s, Wolbachia was considered to infect a limited number of species of mosquitoes. It is now clear that Wolbachia is an extremely common intracellular agent of invertebrates, infecting nearly all the major groups of arthropods and other terrestrial invertebrates. Its wide host range and abundance can be attributed partly to the unusual phenotypes it exerts on the host it infects. These include the induction of parthenogenesis (the production of female offspring from unmated mothers) in certain insects, the feminization of genetic male crustaceans to functional phenotypic females, and the failure of fertilization in hosts when males and females have a different infection status (cytoplasmic incompatibility). All of these phenotypes favor maternal transmission of the intracellular Wolbachia. In the last year, Wolbachia has also been shown to be a widespread symbiont of filarial nematodes. It appears that Wolbachia is needed by the adult worm for normal fertility, indicating that Wolbachia is behaving like a classic mutualist in this case. This discovery exemplifies that the extent of the host range of Wolbachia and its associated phenotypes is still far from fully understood.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Synthesis of hydroperoxide and perketal derivatives of polyunsaturated fatty acids as potential antimalarial agents

Hydroperoxide derivatives of beta-oxa-substituted polyunsaturated fatty acids were prepared by 15-lipoxygenase catalysed oxidation and perketal derivatives of fatty acid hydroperoxides were synthesized. The perketals are more stable than their parent fatty acid hydroperoxides, but less active as antimalarial agents in the in vitro growth inhibition of Plasmodium falciparum. (C) 1998 Elsevier Science Ltd. All rights reserved.

Engineered detoxification confers resistance against a pathogenic bacterium

We generated transgenic sugarcane plants that express an albicidin detoxifying gene (albD), which was cloned from a bacterium that provides biocontrol against leaf scald disease. Plants with albicidin detoxification capacity equivalent to 1-10 ng of AlbD enzyme per mg of leaf protein did not develop chlorotic disease symptoms in inoculated leaves, whereas all untransformed control plants developed severe symptoms. Transgenic lines with high AlbD activity in young stems were also protected against systemic multiplication of the pathogen, which is the precursor to economic disease. We have shown that genetic modification to express a toxin-resistance gene can confer resistance to both disease symptoms and multiplication of a toxigenic pathogen in its host.

Optimal release strategies for biological control agents: an application of stochastic dynamic programming to population management

1. Establishing biological control agents in the field is a major step in any classical biocontrol programme, yet there are few general guidelines to help the practitioner decide what factors might enhance the establishment of such agents. 2. A stochastic dynamic programming (SDP) approach, linked to a metapopulation model, was used to find optimal release strategies (number and size of releases), given constraints on time and the number of biocontrol agents available. By modelling within a decision-making framework we derived rules of thumb that will enable biocontrol workers to choose between management options, depending on the current state of the system. 3. When there are few well-established sites, making a few large releases is the optimal strategy. For other states of the system, the optimal strategy ranges from a few large releases, through a mixed strategy (a variety of release sizes), to many small releases, as the probability of establishment of smaller inocula increases. 4. Given that the probability of establishment is rarely a known entity, we also strongly recommend a mixed strategy in the early stages of a release programme, to accelerate learning and improve the chances of finding the optimal approach.

A new small molecule C5a receptor antagonist inhibits the reverse-passive arthus reaction and endotoxic shock in rats

C5a is implicated as a pathogenic factor in a wide range of immunoinflammatory diseases, including sepsis and immune complex disease, Agents that antagonize the effects of C5a could be useful in these diseases. We have developed some novel C5a antagonists and have determined the acute anti-inflammatory properties of a new small molecule C5a receptor antagonist against C5a- and LPS-induced neutrophil adhesion and cytokine expression, as well as against some hallmarks of the reverse Arthus reaction in rats. We found that a single i.v. dose (1 mg/kg) of this antagonist inhibited both C5a- and LPS-induced neutropenia and elevated levels of circulating TNF-alpha, as well as polymorphonuclear leukocyte migration, increased TNF-alpha levels and vascular leakage at the site of immune complex deposition. These results indicate potent anti-inflammatory activities of a new C5a receptor antagonist and provide more evidence for a key early role for C5a in sepsis and the reverse Arthus reaction. The results support a role for antagonists of C5a receptors in the therapeutic intervention of immunoinflammatory disease states such as sepsis and immune complex disease.

Percutaneous absorption of sunscreen agents from liquid paraffin: Self-association of octyl salicylate and effects on skin flux

This study provides an investigation of the availability of octyl salicylate (OS), a common sunscreen agent, from liquid paraffin and the effect of OS on skin permeability. A model membrane system to isolate the vehicle effect from membrane permeability has been developed. Partitioning of OS between liquid paraffin and aqueous receptor phases was conducted. Partition coefficients increased with increase in OS concentration. A range of OS concentrations in liquid paraffin was diffused across human epidermis and synthetic membranes into 4% bovine serum albumin in phosphate-buffered saline and 50% ethanol. Absorption profiles of OS obtained from silicone and low-density polyethylene (LDPE) membranes were similar to each other but higher than for the high-density polyethylene [HDPE (3 times)] membrane and human epidermis (15 times). The steady state fluxes and apparent permeability coefficients (K-p') obtained from the diffusion studies showed the same trends with all membranes, except for the HDPE membrane which showed greater increase in flux and K-p' at concentrations above 30%. IR spectra showed that several bands of OS were shifted with concentrations, and the molecular models further suggested that the main contribution to the self-association is from non-1,4 van der Waals interactions.