Engineering Computational Emotion - A Reference Model for Emotion in Artificial Systems

Emotion is generally argued to be an influence on the behavior of life systems, largely concerning flexibility and adaptivity. The way in which life systems acts in response to a particular situations of the environment, has revealed the decisive and crucial importance of this feature in the success of behaviors. And this source of inspiration has influenced the way of thinking artificial systems. During the last decades, artificial systems have undergone such an evolution that each day more are integrated in our daily life. They have become greater in complexity, and the subsequent effects are related to an increased demand of systems that ensure resilience, robustness, availability, security or safety among others. All of them questions that raise quite a fundamental challenges in control design. This thesis has been developed under the framework of the Autonomous System project, a.k.a the ASys-Project. Short-term objectives of immediate application are focused on to design improved systems, and the approaching of intelligence in control strategies. Besides this, long-term objectives underlying ASys-Project concentrate on high order capabilities such as cognition, awareness and autonomy. This thesis is placed within the general fields of Engineery and Emotion science, and provides a theoretical foundation for engineering and designing computational emotion for artificial systems. The starting question that has grounded this thesis aims the problem of emotion--based autonomy. And how to feedback systems with valuable meaning has conformed the general objective. Both the starting question and the general objective, have underlaid the study of emotion, the influence on systems behavior, the key foundations that justify this feature in life systems, how emotion is integrated within the normal operation, and how this entire problem of emotion can be explained in artificial systems. By assuming essential differences concerning structure, purpose and operation between life and artificial systems, the essential motivation has been the exploration of what emotion solves in nature to afterwards analyze analogies for man--made systems. This work provides a reference model in which a collection of entities, relationships, models, functions and informational artifacts, are all interacting to provide the system with non-explicit knowledge under the form of emotion-like relevances. This solution aims to provide a reference model under which to design solutions for emotional operation, but related to the real needs of artificial systems. The proposal consists of a multi-purpose architecture that implement two broad modules in order to attend: (a) the range of processes related to the environment affectation, and (b) the range or processes related to the emotion perception-like and the higher levels of reasoning. This has required an intense and critical analysis beyond the state of the art around the most relevant theories of emotion and technical systems, in order to obtain the required support for those foundations that sustain each model. The problem has been interpreted and is described on the basis of AGSys, an agent assumed with the minimum rationality as to provide the capability to perform emotional assessment. AGSys is a conceptualization of a Model-based Cognitive agent that embodies an inner agent ESys, the responsible of performing the emotional operation inside of AGSys. The solution consists of multiple computational modules working federated, and aimed at conforming a mutual feedback loop between AGSys and ESys. Throughout this solution, the environment and the effects that might influence over the system are described as different problems. While AGSys operates as a common system within the external environment, ESys is designed to operate within a conceptualized inner environment. And this inner environment is built on the basis of those relevances that might occur inside of AGSys in the interaction with the external environment. This allows for a high-quality separate reasoning concerning mission goals defined in AGSys, and emotional goals defined in ESys. This way, it is provided a possible path for high-level reasoning under the influence of goals congruence. High-level reasoning model uses knowledge about emotional goals stability, letting this way new directions in which mission goals might be assessed under the situational state of this stability. This high-level reasoning is grounded by the work of MEP, a model of emotion perception that is thought as an analogy of a well-known theory in emotion science. The work of this model is described under the operation of a recursive-like process labeled as R-Loop, together with a system of emotional goals that are assumed as individual agents. This way, AGSys integrates knowledge that concerns the relation between a perceived object, and the effect which this perception induces on the situational state of the emotional goals. This knowledge enables a high-order system of information that provides the sustain for a high-level reasoning. The extent to which this reasoning might be approached is just delineated and assumed as future work. This thesis has been studied beyond a long range of fields of knowledge. This knowledge can be structured into two main objectives: (a) the fields of psychology, cognitive science, neurology and biological sciences in order to obtain understanding concerning the problem of the emotional phenomena, and (b) a large amount of computer science branches such as Autonomic Computing (AC), Self-adaptive software, Self-X systems, Model Integrated Computing (MIC) or the paradigm of models@runtime among others, in order to obtain knowledge about tools for designing each part of the solution. The final approach has been mainly performed on the basis of the entire acquired knowledge, and described under the fields of Artificial Intelligence, Model-Based Systems (MBS), and additional mathematical formalizations to provide punctual understanding in those cases that it has been required. This approach describes a reference model to feedback systems with valuable meaning, allowing for reasoning with regard to (a) the relationship between the environment and the relevance of the effects on the system, and (b) dynamical evaluations concerning the inner situational state of the system as a result of those effects. And this reasoning provides a framework of distinguishable states of AGSys derived from its own circumstances, that can be assumed as artificial emotion.

Towards a dynamic model for the Urban Heat Island of Madrid

Present research is framed within the project MODIFICA (MODelo predictivo - edIFIcios - Isla de Calor urbanA) aimed at developing a predictive model for dwelling energy performance under the urban heat island effect in order to implement it in the evaluation of real energy demand and consumption of dwellings as well as in the selection of energy retrofitting strategies. It is funded by Programa de I+D+i orientada a los retos de la sociedad 'Retos Investigación' 2013. Despite great advances on building energy performance have been achieved during the last years, available climate data is derived from weather stations placed in the outskirts of the city. Hence, urban heat island effect is not considered in energy simulations, which implies an important lack of accuracy. Since 1980's several international studies have been conducted on the urban heat island (UHI) phenomena, which modifies the atmospheric conditions of the urban centres due to urban agglomeration [1][2][3][4]. In the particular case of Madrid, multiple maps haven been generated using different methodologies during the last two decades [5][6][7]. These maps allow us to study the UHI phenomena from a wide perspective, offering however an static representation of it. Consequently a dynamic model for Madrid UHI is proposed, in order to evaluate it in a continuous way, and to be able to integrate it in building energy simulations.

On multiple-path sonic anemometer measurement theory

In this paper, a model of the measuring process of sonic anemometers with more than one measuring path is presented. The main hypothesis of the work is that the time variation of the turbulent speed field during the sequence of pulses that produces a measure of the wind speed vector affects the measurement. Therefore, the previously considered frozen flow, or instantaneous averaging, condition is relaxed. This time variation, quantified by the mean Mach number of the flow and the time delay between consecutive pulses firings, in combination with both the full geometry of sensors (acoustic path location and orientation) and the incidence angles of the mean with speed vector, give rise to significant errors in the measurement of turbulence which are not considered by models based on the hypothesis of instantaneous line averaging. The additional corrections (relative to the ones proposed by instantaneous line-averaging models) are strongly dependent on the wave number component parallel to the mean wind speed, the time delay between consecutive pulses, the Mach number of the flow, the geometry of the sensor and the incidence angles of mean wind speed vector. Kaimal´s limit k W1=1/l (where k W1 is the wave number component parallel to mean wind speed and l is the path length) for the maximum wave numbers from which the sonic process affects the measurement of turbulence is here generalized as k W1=C l /l, where C l is usually lesser than unity and depends on all the new parameters taken into account by the present model.

Cuticle Structure in Relation to Chemical Composition: Re-assessing the Prevailing Model

The surface of most aerial plant organs is covered with a cuticle that provides protection against multiple stress factors including dehydration. Interest on the nature of this external layer dates back to the beginning of the 19th century and since then, several studies facilitated a better understanding of cuticular chemical composition and structure. The prevailing undertanding of the cuticle as a lipidic, hydrophobic layer which is independent from the epidermal cell wall underneath stems from the concept developed by Brongniart and von Mohl during the first half of the 19th century. Such early investigations on plant cuticles attempted to link chemical composition and structure with the existing technologies, and have not been directly challenged for decades. Beginning with a historical overview about the development of cuticular studies, this review is aimed at critically assessing the information available on cuticle chemical composition and structure, considering studies performed with cuticles and isolated cuticular chemical components. The concept of the cuticle as a lipid layer independent from the cell wall is subsequently challenged, based on the existing literature, and on new findings pointing toward the cell wall nature of this layer, also providing examples of different leaf cuticle structures. Finally, the need for a re-assessment of the chemical and structural nature of the plant cuticle is highlighted, considering its cell wall nature and variability among organs, species, developmental stages, and biotic and abiotic factors during plant growth.

Efficient parallelization of a regional ocean model for the western Mediterranean Sea

This paper focuses on the parallelization of an ocean model applying current multicore processor-based cluster architectures to an irregular computational mesh. The aim is to maximize the efficiency of the computational resources used. To make the best use of the resources offered by these architectures, this parallelization has been addressed at all the hardware levels of modern supercomputers: firstly, exploiting the internal parallelism of the CPU through vectorization; secondly, taking advantage of the multiple cores of each node using OpenMP; and finally, using the cluster nodes to distribute the computational mesh, using MPI for communication within the nodes. The speedup obtained with each parallelization technique as well as the combined overall speedup have been measured for the western Mediterranean Sea for different cluster configurations, achieving a speedup factor of 73.3 using 256 processors. The results also show the efficiency achieved in the different cluster nodes and the advantages obtained by combining OpenMP and MPI versus using only OpenMP or MPI. Finally, the scalability of the model has been analysed by examining computation and communication times as well as the communication and synchronization overhead due to parallelization.

Graphoids and separoids in model theory

We treat graphoid and separoid structures within the mathematical framework of model theory, specially suited for representing and analysing axiomatic systems with multiple semantics. We represent the graphoid axiom set in model theory, and translate algebraic separoid structures to another axiom set over the same symbols as graphoids. This brings both structures to a common, sound theoretical ground where they can be fairly compared. Our contribution further serves as a bridge between the most recent developments in formal logic research, and the well-known graphoid applications in probabilistic graphical modelling.

Tumor burden and clonality in multiple intestinal neoplasia mouse/normal mouse aggregation chimeras

Aggregation chimeras were formed between C57BL/6 mice heterozygous for the Apcmin (Min) mutation and wild-type SWR mice, that differ in their Pla2g2a status, a modifier of Apcmin, and also in their resistance to intestinal polyp formation. Variation in the dolichos biflorus agglutinin-staining patterns of the intestines of these mouse strains was used to determine the chimeric composition of the intestine in individual mice and to examine the clonal composition of adenomas. Macroscopic adenoma numbers in chimeric mice were compared with the expected adenoma numbers based on the percentage of C57BL/6J-Apcmin/+ epithelium in individual mice. These results unexpectedly show that there was no apparent inhibitory effect of the SWR-derived (Pla2g2a wild-type) tissue on adenoma formation in the C57BL/6J-Apcmin/+ epithelium. This suggests that the main genetic modifiers of the Min phenotype act at a cellular or crypt-restricted level with no discernable systemic effect. All adenomas were seen to contain C57BL/6J-Apcmin/+-derived epithelium, confirming that the germ-line mutation of the mApc gene is necessary to initiate tumorigenesis in this model system, and that the mApc gene acts in a cell autonomous fashion.

The neuroprotective agent SR 57746A abrogates experimental autoimmune encephalomyelitis and impairs associated blood–brain barrier disruption: Implications for multiple sclerosis treatment

Experimental autoimmune encephalomyelitis (EAE) is a T cell autoimmune disorder that is a widely used animal model for multiple sclerosis (MS) and, as in MS, clinical signs of EAE are associated with blood–brain barrier (BBB) disruption. SR 57746A, a nonpeptide drug without classical immunosuppressive properties, efficiently protected the BBB and impaired intrathecal IgG synthesis (two conventional markers of MS exacerbation) and consequently suppressed EAE clinical signs. This compound inhibited EAE-induced spinal cord mononuclear cell invasion and normalized tumor necrosis factor α and IFN-γ mRNA expression within the spinal cord. These data suggested that pharmacological intervention aimed at inhibiting proinflammatory cytokine expression within the central nervous system provided protection against BBB disruption, the first clinical sign of EAE and probably the key point of acute MS attacks. This finding could lead to the development of a new class of compounds for oral therapy of MS, as a supplement to immunosuppressive agents.

Sex-specific quantitative trait loci affecting longevity in Drosophila melanogaster

Senescence, the decline in survivorship and fertility with increasing age, is a near-universal property of organisms. Senescence and limited lifespan are thought to arise because weak natural selection late in life allows the accumulation of mutations with deleterious late-age effects that are either neutral (the mutation accumulation hypothesis) or beneficial (the antagonistic pleiotropy hypothesis) early in life. Analyses of Drosophila spontaneous mutations, patterns of segregating variation and covariation, and lines selected for late-age fertility have implicated both classes of mutation in the evolution of aging, but neither their relative contributions nor the properties of individual loci that cause aging in nature are known. To begin to dissect the multiple genetic causes of quantitative variation in lifespan, we have conducted a genome-wide screen for quantitative trait loci (QTLs) affecting lifespan that segregate among a panel of recombinant inbred lines using a dense molecular marker map. Five autosomal QTLs were mapped by composite interval mapping and by sequential multiple marker analysis. The QTLs had large sex-specific effects on lifespan and age-specific effects on survivorship and mortality and mapped to the same regions as candidate genes with fertility, cellular aging, stress resistance and male-specific effects. Late age-of-onset QTL effects are consistent with the mutation accumulation hypothesis for the evolution of senescence, and sex-specific QTL effects suggest a novel mechanism for maintaining genetic variation for lifespan.

Multiple loop structures critical for ligand binding of the integrin α4 subunit in the upper face of the β-propeller mode 1

A non-I-domain integrin, α4β1, recognizes vascular cell adhesion molecule 1 (VCAM-1) and the IIICS portion of fibronectin. To localize regions of α4 critical for ligand binding, we swapped several predicted loops within or near the putative ligand-binding site of α4 (which spans repeats 2–5 of the seven N-terminal repeats) with the corresponding regions of α5. Swapping residues 112–131 in repeat 2, or residues 237–247 in repeat 4, completely blocked adhesion to immobilized VCAM-1 and connecting segment 1 (CS-1) peptide. However, swapping residues 40–52 in repeat 1, residues 151–164 in repeat 3, or residues 282–288 (which contain a putative cation binding motif) in repeat 5 did not affect or only slightly reduced adhesion to these ligands. The binding of several function-blocking antibodies is blocked by swapping residues 112–131, 151–164, and 186–191 (which contain previously identified residues critical for ligand binding, Tyr-187 and Gly-190). These results are consistent with the recently published β-propeller folding model of the integrin α4 subunit [Springer, T. A. (1997) Proc. Natl. Acad. Sci. USA 94, 65–72], in which seven four-stranded β-sheets are arranged in a torus around a pseudosymmetric axis. The regions of α4 critical for ligand binding are adjacent to each other and are located in the upper face, the predicted ligand-binding site, of the β-propeller model, although they are not adjacent in the primary structure.

Compression, gain, and nonlinear distortion in an active cochlear model with subpartitions

The propagation of inhomogeneous, weakly nonlinear waves is considered in a cochlear model having two degrees of freedom that represent the transverse motions of the tectorial and basilar membranes within the organ of Corti. It is assumed that nonlinearity arises from the saturation of outer hair cell active force generation. I use multiple scale asymptotics and treat nonlinearity as a correction to a linear hydroelastic wave. The resulting theory is used to explain experimentally observed features of the response of the cochlear partition to a pure tone, including: the amplification of the response in a healthy cochlea vs a dead one; the less than linear growth rate of the response to increasing sound pressure level; and the amount of distortion to be expected at high and low frequencies at basal and apical locations, respectively. I also show that the outer hair cell nonlinearity generates retrograde waves.

Dynamical principles in biological processes: A model of charge migration in proteins and DNA

The generalized master equations (GMEs) that contain multiple time scales have been derived quantum mechanically. The GME method has then been applied to a model of charge migration in proteins that invokes the hole hopping between local amino acid sites driven by the torsional motions of the floppy backbones. This model is then applied to analyze the experimental results for sequence-dependent long-range hole transport in DNA reported by Meggers et al. [Meggers, E., Michel-Beyerle, M. E., & Giese, B. (1998) J. Am. Chem. Soc. 120, 12950–12955]. The model has also been applied to analyze the experimental results of femtosecond dynamics of DNA-mediated electron transfer reported by Zewail and co-workers [Wan, C., Fiebig, T., Kelley, S. O., Treadway, C. R., Barton, J. K. & Zewail, A. H. (1999) Proc. Natl. Acad. Sci. USA 96, 6014–6019]. The initial events in the dynamics of protein folding have begun to attract attention. The GME obtained in this paper will be applicable to this problem.

A transgenic mouse model of metastatic prostate cancer originating from neuroendocrine cells

A transgenic mouse model of metastatic prostate cancer has been developed that is 100% penetrant in multiple pedigrees. Nucleotides −6500 to +34 of the mouse cryptdin-2 gene were used to direct expression of simian virus 40 T antigen to a subset of neuroendocrine cells in all lobes of the FVB/N mouse prostate. Transgene expression is initiated between 7 and 8 weeks of age and leads to development of prostatic intraepithelial neoplasia within a week. Prostatic intraepithelial neoplasia progresses rapidly to local invasion. Metastases to lymph nodes, liver, lung, and bone are common by 6 months. Tumorigenesis is not dependent on androgens. This model indicates that the neuroendocrine cell lineage of the prostate is exquisitely sensitive to transformation and provides insights about the significance of neuroendocrine differentiation in human prostate cancer.

Interferon-γ impacts at multiple points during the progression of autoimmune diabetes

The role of interferon-γ in autoimmune diabetes was assessed by breeding a null mutation of the interferon-γ receptor α chain into the nonobese diabetic mouse strain, as well as into a simplified T cell receptor transgenic model of diabetes. In contrast to a previous report on abrogation of the interferon-γ gene, mutation of the gene encoding its receptor led to drastic effects on disease in both mouse lines. Nonobese diabetic mice showed a marked inhibition of insulitis—both the kinetics and penetrance—and no signs of diabetes; the transgenic model exhibited near-normal insulitis, but this never evolved into diabetes, either spontaneously or after experimental provocation. This failure could not be explained by perturbations in the ratio of T helper cell phenotypes; rather, it reflected a defect in antigen-presenting cells or in the islet β cell targets.

Quantitative trait loci and metabolic pathways

The interpretation of quantitative trait locus (QTL) studies is limited by the lack of information on metabolic pathways leading to most economic traits. Inferences about the roles of the underlying genes with a pathway or the nature of their interaction with other loci are generally not possible. An exception is resistance to the corn earworm Helicoverpa zea (Boddie) in maize (Zea mays L.) because of maysin, a C-glycosyl flavone synthesized in silks via a branch of the well characterized flavonoid pathway. Our results using flavone synthesis as a model QTL system indicate: (i) the importance of regulatory loci as QTLs, (ii) the importance of interconnecting biochemical pathways on product levels, (iii) evidence for “channeling” of intermediates, allowing independent synthesis of related compounds, (iv) the utility of QTL analysis in clarifying the role of specific genes in a biochemical pathway, and (v) identification of a previously unknown locus on chromosome 9S affecting flavone level. A greater understanding of the genetic basis of maysin synthesis and associated corn earworm resistance should lead to improved breeding strategies. More broadly, the insights gained in relating a defined genetic and biochemical pathway affecting a quantitative trait should enhance interpretation of the biological basis of variation for other quantitative traits.