Combined reasoning by automated cooperation

Different reasoning systems have different strengths and weaknesses, and often it is useful to combine these systems to gain as much as possible from their strengths and retain as little as possible from their weaknesses. Of particular interest is the integration of first-order and higher-order techniques. First-order reasoning systems, on the one hand, have reached considerable strength in some niches, but in many areas of mathematics they still cannot reliably solve relatively simple problems, for example, when reasoning about sets, relations, or functions. Higher-order reasoning systems, on the other hand, can solve problems of this kind automatically. But the complexity inherent in their calculi prevents them from solving a whole range of problems. However, while many problems cannot be solved by any one system alone, they can be solved by a combination of these systems.We present a general agent-based methodology for integrating different reasoning systems. It provides a generic integration framework which facilitates the cooperation between diverse reasoners, but can also be refined to enable more efficient, specialist integrations. We empirically evaluate its usefulness, effectiveness and efficiency by case studies involving the integration of first-order and higher-order automated theorem provers, computer algebra systems, and model generators.     

Hormonal and monoamine signaling during reinforcement of hippocampal long-term potentiation and memory retrieval

Recently it was shown that holeboard training can reinforce, i.e., transform early-LTP into late-LTP in the dentate gyrus during the initial formation of a long-term spatial reference memory in rats. The consolidation of LTP as well as of the reference memory was dependent on protein synthesis. We have now investigated the transmitter systems involved in this reinforcement and found that LTP-consolidation and memory retrieval were dependent on β-adrenergic, dopaminergic, and mineralocorticoid receptor (MR) activation, whereas glucocorticoid receptors (GRs) were not involved. Blockade of the β-adrenergic signaling pathway significantly increased the number of reference memory errors compared with MR and dopamine receptor inhibition. In addition, β-adrenergic blockade impaired the working memory. Therefore, we suggest that β-adrenergic receptor activation is the main signaling system required for the retrieval of spatial memory. In addition, other modulatory interactions such as dopaminergic as well as MR systems are involved. This result points to specific roles of different modulatory systems during the retrieval of specific components of spatial memory. The data provide evidence for similar integrative interactions between different signaling systems during cellular memory processes.     

Traumatische Trauer – ein eigenständiges Krankheitsbild?

Grief is a highly individualized process influenced by intrapsychic, interpersonal and social factors. The definition of normal and pathological grief is complicated by the variety of grief reactions. Empirical research indicates that pathological grief may be concerned considered as a separate entity. Two research groups developed empirically validated criteria with a special focus on the traumatic aspect of grief. The current state of research allows, however, in our opinion not the conclusion, that the proposed diagnostic criteria for complicated (Horowitz et al. 1997) or traumatic grief (Prigerson et al. 1999b) do not enclose all types of grief. Further empirical research on representative samples is necessary to validate previous findings and to differentiate specific subgroups of pathological grief.     

Decomposing person and occasion-specific effects: an extension of latent state-trait (LSI) theory to hierarchical LST models

An extension of latent state-trait (LST) theory to hierarchical LST models is presented. In hierarchical LST models, the covariances between 2 or more latent traits are explained by a general 3rd-order factor, and the covariances between latent state residuals pertaining to different traits measured on the same measurement occasion are explained by 2nd-order latent occasion-specific factors. Analogous to recent developments in multitrait-multimethod methodology, all factors are interpreted in relation to factors taken as comparison standards. An empirical example from test anxiety research illustrates how estimates of additive variance components due to general trait, specific trait, occasion, state residual, method, and measurement error can be obtained using confirmatory factor analysis. Advantages and limitations of these models are discussed.     

Love: an important dimension in marital research and therapy

How do men and women describe and assess their relationship? What themes are decisive for its quality and stability? To answer such questions, we investigated a random sample of 204 married couples (reference sample), and 31 married couples undergoing psychotherapy (clinical sample) using a newly developed questionnaire. The participating couples were asked to evaluate a total of 19 themes with respect to their importance for the couple's connectedness. Although only rarely directly addressed in couple therapy and in‐vestigated in couple research, the theme “Love” proved to be the decisive factor for quality and stability. The results of the present study, therefore, indicate that “Love” should be investigated more thoroughly in couple research and included more actively in diagnostic and therapeutic procedures.     

Processes of task-set reconfiguration: switching operations and implementation operations

When participants are asked to shift between four dimensionally organized tasks which differ in the type of judgment (numerical vs. spatial) and/or the judgment-to-response mapping (compatible vs. incompatible), a characteristic profile of shift costs can be observed. It can be accounted for in terms of two different types of operations: generalizing switching operations on a dimensionally organized set of task representations and implementation operations [T. Kleinsorge, H. Heuer, Psycholog. Res. 62 (1999) 300]. In a first experiment we corroborated our previous findings by way of a new procedure that makes it possible to estimate shift costs unconfounded by a number of factors that are likely to affect estimates of shift costs based on more conventional procedures. In a second experiment we investigated the endogenous and exogenous nature of the postulated types of operations. The characteristic profile of shift costs disappeared when long precue intervals (PCIs) were used. Augmented by a formal analysis, this finding suggests that both switching and implementation operations are endogenously controlled. In addition, there remained some residual shift costs which were essentially insensitive to the nature of the task shift but depended on the difficulty of the new task. Most likely they reflect a process of consolidation of an already configured task set.     

Contents of Volume 68

Volume Contents

Contents of Volume 68