On Different Proof-Search Strategies for Orthologic

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the word problem for free ortholattices.     

The concurrent validity and test–retest reliability of a visuospatial working memory task

To determine whether the visuospatial n-back working memory task is a reliable and valid measure of cognitive processes believed to underlie intelligence, this study compared the reaction times and accuracy of performance of 70 participants, with performance on the Multidimensional Aptitude Battery (MAB). Testing was conducted over two sessions separated by 1 week. Participants completed the MAB during the second test session. Moderate test–retest reliability for percentage accuracy scores was found across the four levels of the n-back task, whilst reaction times were highly reliable. Furthermore, participants' performance on the MAB was negatively correlated with accuracy of performance at the easier levels of the n-back task and positively correlated with accuracy of performance at the harder task levels. These findings confirm previous research examining the cognitive basis of intelligence, and suggest that intelligence is the product of faster speed of information processing, as well as superior working memory capacity.     

What we must Accomplish in the coming Decades

Abstract. In order to survive as a species and grow in complexity, humanity must adopt a new image of what it means to be human, rediscover a reward system beyond the merely material, and see that young people find joy in challenges and in cooperating with others.     

社会身份复杂性的研究：理论、方法与进展

近十年来, “社会身份复杂性”这个概念逐渐引起社会心理学研究者的关注。社会身份复杂性是指个体对多重内群体身份之间的关系进行主观表征的方式, 反映了个体对自己的多重内群体身份之间感知到的重叠程度。当个体感知到的重叠程度较高时, 他们的社会身份复杂性就较低; 反之, 当个体感知到的重叠程度较低时, 他们的社会身份复杂性就较高。本文首先简要介绍了多重内群体身份表征模型, 然后从社会身份复杂性的理论内容、测量方法、作用以及影响因素等方面对以往的相关研究进行了回顾。最后, 指出未来的研究应侧重对社会身份复杂性理论和研究设计的进一步完善、问卷量表的效度验证, 并加强研究结果的具体应用。     

Computing with Cylindric Modal Logics and Arrow Logics,Lower Bounds

The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters.     

Development and Disequilibration: Predicting Counselor Trainee Gain and Loss Scores on the Supervisee Levels Questionnaire

Relative importance of adult cognitive development (according to Perry), education, and experience in predicting longitudinal gain and loss scores on a measure of counselor supervisee development (Supervisee Levels Questionnaire) was examined. Results indicated cognitive & #x2013;developmental stage predicted score change better than age, education, or experience. In addition, an unanticipated, discontinuous, patterned relationship between student cognitive stage and the gain/loss scores was discovered. The possibility of developmental disequilibration is discussed along with implications for counselor education and adult development theory.     

Strategic Communication and the Integrative Complexity‐Ideology Relationship: Meta‐Analytic Findings Reveal Differences Between Public Politicians and Private Citizens in Their Use of Simple Rhetoric

Research on the relationship between political conservatism and integrative complexity has yielded contradictory results, and little effort has been made to place these mixed results in a theoretical context. The present article considers this issue through a strategic model of language that suggests different psychological processes apply to public politicians versus private citizens. We use a methodologically precise meta‐analytic test of the relationship between political ideology and integrative complexity to examine the degree that conservative simplicity can be understood as a function of public versus private samples. Across 35 studies, findings revealed that conservatives are significantly less complex than liberals overall; however, while this effect was significant for public politicians, no relationship emerged for private citizens. Consistent with a strategic model, conservative simplicity was particularly in evidence for elected officials. This theoretical analysis has many consequences for our understanding of psychological theories that help explain the consequences of political ideology.     

Modeling of emotion elicitation conditions for a cognitive-emotive architecture

To cater to the need of embodying emotional behavior in an autonomous agent, there is a need for modeling computationally apt definitions of emotions. A number of emotion theories have been developed that provide an understanding of human psychology and their emotional behaviors, but it is difficult to directly decipher a theory into a computational model of emotion. Nevertheless, these theories together can serve as the theoretical foundation for designing a model for emotion-eliciting conditions. In this study, the salient features of OCC, Scherer, and Roseman theories of emotions are identified, which complement each other. The features are unified and standardized to bring consistency in deriving the computationally apt definition of five emotions viz. Happiness/Joy, Sadness, Fear, Anger, and Surprise. The objective of this hybridization is to set a ground framework for appraising the emotion-triggering cues (e.g., an event) for a simple, flexible and tolerant computational model of emotions. The underlying emotion-eliciting processes are designed using Fuzzy Logic. Fuzzy rules are framed to model the conditions behind emotion elicitation. Furthermore, the ISEAR data set and the real test-case scenarios are used to validate the accuracy of emotion prediction and rule fulfillment respectively.     

悖论型领导对员工工作投入的影响：有调节的中介模型

通过构建有调节的中介模型,本研究揭示了悖论型领导“如何”影响员工工作投入以及影响“何时”更弱或更强。在3个时点收集了320份员工数据,结果表明：（1）悖论型领导正向影响员工的工作投入;（2）心理授权部分中介了悖论型领导对工作投入的影响;（3）工作复杂性调节了悖论型领导对员工心理授权的影响;（4）工作复杂性调节了心理授权在悖论型领导与工作投入之间的中介作用。以上结论能为管理者促进员工的工作投入提供指导。