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.

A first-principles density-functional calculation of the electronic and vibrational structure of the key melanin monomers

We report first-principles density-functional calculations for hydroquinone (HQ), indolequinone (IQ), and semiquinone (SQ). These molecules are believed to be the basic building blocks of the eumelanins, a class of biomacromolecules with important biological functions (including photoprotection) and with the potential for certain bioengineering applications. We have used the difference of self-consistent fields method to study the energy gap between the highest occupied molecular orbital and the lowest unoccupied molecular orbital, HL. We show that HL is similar in IQ and SQ, but approximately twice as large in HQ. This may have important implications for our understanding of the observed broadband optical absorption of the eumelanins. The possibility of using this difference in HL to molecularly engineer the electronic properties of eumelanins is discussed. We calculate the infrared and Raman spectra of the three redox forms from first principles. Each of the molecules have significantly different infrared and Raman signatures, and so these spectra could be used in situ to nondestructively identify the monomeric content of macromolecules. It is hoped that this may be a helpful analytical tool in determining the structure of eumelanin macromolecules and hence in helping to determine the structure-property-function relationships that control the behavior of the eumelanins.

The potential of virulent Wolbachia to modulate disease transmission by insects

A virulent strain of Wolbachia has recently been identified in Drosophila that drastically reduces adult lifespan. It has been proposed that this phenotype might be introduced into insect disease vector populations to reduce pathogen transmission. Here we model the requirements for spread of such an agent and the associated reduction in disease transmission. First, a simulation of mosquito population age structure was used to describe the age distribution of mosquitoes transmitting dengue virus. Second, given varying levels of cytoplasmic incompatibility and fecundity effect, the maximum possible longevity reduction that would allow Wolbachia to invade was obtained. Finally, the two models were combined to estimate the reduction in disease transmission according to different introduction frequencies. With strong CI and limited effect of fecundity, an introduction of Wolbachia with an initial frequency of 0.4 could result in a 60–80% reduction of transmitting mosquitoes. Greater reductions are possible at higher initial release rates.

Fast Structure-Based Assignment of 15N HSQC Spectra of Selectively 15N-Labeled Paramagnetic Proteins

A novel strategy for fast NMR resonance assignment of N-15 HSQC spectra of proteins is presented. It requires the structure coordinates of the protein, a paramagnetic center, and one or more residue-selectively N-15-labeled samples. Comparison of sensitive undecoupled N-15 HSQC spectra recorded of paramagnetic and diamagnetic samples yields data for every cross-peak on pseudocontact shift, paramagnetic relaxation enhancement, cross-correlation between Curie-spin and dipole-dipole relaxation, and residual dipolar coupling. Comparison of these four different paramagnetic quantities with predictions from the three-dimensional structure simultaneously yields the resonance assignment and the anisotropy of the susceptibility tensor of the paramagnetic center. The method is demonstrated with the 30 kDa complex between the N-terminal domain of the epsilon subunit and the theta subunit of Escherichia Coll DNA polymerase III. The program PLATYPUS was developed to perform the assignment, provide a measure of reliability of the assignment, and determine the susceptibility tensor anisotropy.

How many ways can a VP split? An investigation of the structure of VP shells in Japanese Causatives

The Japanese inchoative-lexical causative pair poses an interesting problem for the Minimalist Program – how should the lexical causative and the syntactic causative be structurally represented and theoretically accounted for? The lexical causative verb and the syntactic causative verb formed by suffixing the syntactic causative morpheme sase onto the inchoative counterpart are both single causative constructions that are semantically similar. Yet, they differ in some ways, most significantly in their clausality – the lexical causative is monoclausal in nature while the syntactic causative is biclausal, comparable to English biclausal constructions formed with let or force. This paper investigates how this difference can be represented by investigating the possible VP shell structures of different Japanese sentences, and the analysis from the discussion suggests a different structure where a CP is embedded into a higher VP shell as the sister of Agro head.

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.