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.

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.

Dendritic cells in rheumatoid arthritis - A model autoimmune inflammatory site

Rheumatoid arthritis (RA) is a chronic autoimmune inflammatory disease in which unknown arthrogenic autoantigen is presented to CD4+ T cells. The strong association of the disease with an epitope within the HLA-DR chain shared between various alleles of HLA-DR4 and DR1 emphasizes the importance of antigen presentation. This immune response predominantly occurs in the synovial tissue and fluid of the joints and autoreactive T cells are readily demonstrable in both the synovial compartment and blood. Circulating dendritic cells (DC) are phenotypically and functionally identical with normal peripheral blood (PB) DC. In the synovial tissue, fully differentiated perivascular DC are found in close association with T cells and with B cell follicles, sometimes containing follicular DC. These perivascular DC migrate across the activated endothelium from blood and receive differentiative signals within the joint from monocyte-derived cytokines and CD40-ligand+ T cells. In the SF, DC manifest an intermediate phenotype, similar to that of monocyte-derived DC in vitro. Like a delayed-type hypersensitivity response, the rheumatoid synovium represents an effector site. DC at many effector sites have a characteristic pattern of infiltration and differentiation. It is important to note that the effector response is not self-limiting in RA autoimmune inflammation. In this article, we argue that the presentation of self-antigen by DC and by autoantibody-producing B cells is critical for the perpetuation of the autoimmune response. Permanently arresting this ongoing immune response with either pharmaceutical agents or immunotherapy is a major challenge for immunology.

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.

maT - A clade of transposons intermediate between mariner and Tc1

A group of transposons, named maT, with characteristics intermediate between mariner and Tc1 transposons, is described. Two defective genomic copies of MdmaT from the housefly Musca domestica, with 85% identity, were found flanking and imbedded in the MdalphaE7 esterase gene involved in organophosphate insecticide resistance. Two cDNA clones, with 99% identity to each other and 72%-89% identity to the genomic copies were also obtained, but both represented truncated versions of the putative open reading frame. A third incomplete genomic copy of MdmaT was also identified upstream of the putative M. domestica period gene. The MdmaT sequences showed high identity to the transposable element Bmmar1 from the silk-worm moth, Bombyx mori, and to previously unidentified sequences in the genome of Caenorhabditis elegans. A total of 16 copies of full-length maT sequences were identified in the C elegans genome, representing three variants of the transposon, with 34%-100% identity amongst them. Twelve of the copies, named CemaT1, were virtually identical, with eight of them encoding a putative full length, intact transposase. Secondary structure predictions and phylogenetic analyses confirm that maT elements belong to the mariner-Tc1 superfamily of transposons, but their intermediate sequence and predicted structural characteristics suggest that they belong to a unique clade, distinct from either mariner-like or Tc1-like elements.

Cyclopropyl fatty acids implicate a radical but not a cation as an intermediate in P450(BM3)-catalysed hydroxylations

Novel cyclopropyl containing fatty acids are good substrates for P450(BM3) catalysed hydroxylation and analysis of their oxidation products indicates the presence of a radical intermediate (maximum rebound rate 2.6x10(10) s(-1)) and the absence of any cationic intermediate.

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.