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.

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.

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.

Clinically significant drug interactions with agents specific for migraine attacks

The drugs which provide specific relief from migraine attacks, the ergopeptides (ergotamine and dihydroergotamine) and the various 'triptans' (notably sumatriptan), are often prescribed for persons already taking various migraine preventative agents, and sometimes drugs for other indications. As a result, migraine-specific drugs may become involved in drug-drug interactions. The migraine-specific drugs all act as agonists at certain subclasses of serotonin (5-hydroxytryptamine; 5-MT) receptor, particularly those of the 5-HT1D subtype, and produce vasoconstriction through these receptor-mediated mechanisms. The oral bioavailabilities of these drugs, particularly those of the ergopeptides, are often incomplete, due to extensive presystemic metabolism. As a result, if migraine-specific agents are coadministered with drugs with vasoconstrictive properties, or with drugs which inhibit the metabolism of the migraine-specific agents, there is a risk of interactions occurring which produce manifestations of excessive vasoconstriction. This can also occur through pharmacodynamic mechanisms, as when ergopeptides or triptans are coadministered with methysergide or propranolol (although a pharmacokinetic element may apply in relation to the latter interaction), or if one migraine-specific agent is used shortly after another. When egopeptide metabolism is inhibited by the presence of macrolide antibacterials, particularly troleandomycin and erythromycin, the resultant interaction can produce ergotism, sometimes leading to gangrene. Similar pharmacokinetic mechanisms, with their vasoconstrictive consequences, probably apply to combination of the ergopeptides with HIV protease inhibitors (indinavir and ritonavir), heparin, cyclosporin or tacrolimus. Inhibition of triptan metabolism by monoamine oxidase A inhibitors, e.g. moclobemide, may raise circulating triptan concentrations, although this does not yet seem to have led to reported clinical problems. Caffeine may cause increased plasma ergotamine concentrations through an as yet inadequately defined pharmacokinetic interaction. However, a direct antimigraine effect of caffeine may contribute to the claimed increased efficacy of ergotamine-caffeine combinations in relieving migraine attacks. Serotonin syndromes have been reported as probable pharmacodynamic consequences of the use of ergots or triptans in persons taking serotonin reuptake inhibitors. There have been two reports of involuntary movement disorders when sumatriptan has been used by patients already taking loxapine. Nearly all the clinically important interactions between the ergopeptide antimigraine agents and currently marketed drugs are likely to have already come to notice. In contrast, new interactions involving the triptans are likely to be recognised as additional members of this family of drugs, with their different patterns of metabolism and pharmacokinetics, are marketed.

Laboratory evaluation of two native fishes from tropical North Queensland as biological control agents of subterranean Aedes aegypti

The ability of 2 freshwater fishes, eastern rainbow fish Melanotaenia splendida splendida and fly-specked hardyhead Craterocephalus stercusmuscarum stercusmuscarum. native to North Queensland to prey on immature Aedes aegypti was evaluated under laboratory conditions. The predation efficiency of the 2 species was compared to the exotic guppy, Poecilia reticulata, which is commonly used as a biological control agent of mosquito larvae. Of the 3 fish species tested, M. s. splendida was shown to be the most promising agent for the biological control of Ae. aegypti that breed in wells. Melanotaenia s. splendida consumed significantly greater numbers of immature Ae. aegypti than P. reticulata, irrespective of developmental stage or light conditions. Unlike C. s. stercusmuscarum, M, s. splendida could be handled, transported, and kept in captivity for extended periods with negligible mortality. However, M. s. splendida was also an efficient predator of Litoria caerulea tadpoles, a species of native frog found in wells during the dry season. This result may limit the usefulness of M. s. splendida as a biological control agent of well-breeding Ae. aegypti and suggests that predacious copepods, Mesocyclops spp., are more suitable. However, the use of M. s. splendida as a mosquito control agent in containers that are unlikely to support frog populations (e.g., aquaculture tanks and drinking troughs) should be given serious consideration.