Bunched sequential information

It is known that the logic BI of bunched implications is a logic of resources. Many studies have reported on the applications of BI to computer science. In this paper, an extension BIS of BI by adding a sequence modal operator is introduced and studied in order to formalize more fine-grained resource-sensitive reasoning. By the sequence modal operator of BIS, we can appropriately express “sequential information” in resource-sensitive reasoning. A Gentzen-type sequent calculus SBIS for BIS is introduced, and the cut-elimination and decidability theorems for SBIS are proved. An extension of the Grothendieck topological semantics for BI is introduced for BIS, and the completeness theorem with respect to this semantics is proved. The cut-elimination, decidability and completeness theorems for SBIS and BIS are proved using some theorems for embedding BIS into BI.     

病理性使用互联网的界定与测量

病理性使用互联网（Pathological Internet Use,PIU）是人在互联网使用过程中出现的一种新型心理疾病。很多研究者认为互联网使用过度或不当是病理性使用互联网的主要原因。该文对病理性使用互联网已有研究的概念的界定与测量问题进行了分析与整合,讨论了在中国社会文化背景下如何界定与测量病理性使用互联网。     

A descriptive study of e-counsellor attitudes,ethics, and practice

Introduction: The purpose of this study was to examine questions related to the process, perceived outcomes, and ethics of therapists who provide counselling and therapy online. Method: An online survey was conducted (N=93) with identified e-counsellors with at least a Master's Degree. Questions included demographic information and Likert-type scales related to extent of practice, theoretical orientation, training and supervision, attitudes about appropriate practice, referral, legal and ethical issues, practice difficulties, and therapist satisfaction. Results: Overall, e-counsellors are satisfied with their practice and believe it is effective. They generally do not have formal training or supervision in online practice. Current e-counselling appears to be a part-time, supplemental practice with little overlap to FTF practice. There was little agreement among respondents on attitudes, practice, ethical issues, and knowledge of regulations related to e-counselling. Discussion: Lack of consensus about ethical obligations and practice suggest the need for formal training in e-counselling by professional programmes and international cooperation in formulating practice ethics. Areas for further research are discussed.     

Spread of Risk Information Through Microblogs: Twitter Users with More Mutual Connections Relay News That is More Dreadful1

In elucidating the spread of risk information through microblogging, it is important to understand the behaviors of numerous average users, in addition to the activities of authorities. We followed the transmission pathways of 10 actual widely spread tweets concerning several risk information topics, including natural disasters, nuclear disasters, and infectious diseases, and we identified the types of risk that affected retweeting by classifying each tweet based on Slovic's risk-perception model. Furthermore, we examined the types of users who did and did not retweet the information. Users with few connections in the form of followers (i.e., people who are following a user) or followees (people a user is following), or with a low ratio of mutual followers within their connections, had a tendency to retweet a large amount of risk information, regardless of the type of risk involved. On the other hand, users with a high ratio of mutual followers exhibited a greater tendency to retweet risk information when it was perceived as dreadful, though they did not retweet risk information much on the whole. These results suggest that there are two mechanisms by which risk information is spread within the Twitter network: information exchange and social sharing of personal reactions.     

A note on computing Louis’ observed information matrix identity for IRT and cognitive diagnostic models

Using Louis’ formula, it is possible to obtain the observed information matrix and the corresponding large-sample standard error estimates after the expectation–maximization (EM) algorithm has converged. However, Louis’ formula is commonly de-emphasized due to its relatively complex integration representation, particularly when studying latent variable models. This paper provides a holistic overview that demonstrates how Louis’ formula can be applied efficiently to item response theory (IRT) models and other popular latent variable models, such as cognitive diagnostic models (CDMs). After presenting the algebraic components required for Louis’ formula, two real data analyses, with accompanying numerical illustrations, are presented. Next, a Monte Carlo simulation is presented to compare the computational efficiency of Louis’ formula with previously existing methods. Results from these presentations suggest that Louis’ formula should be adopted as a standard method when computing the observed information matrix for IRT models and CDMs fitted with the EM algorithm due to its computational efficiency and flexibility.     

The effects of exposure to political and domestic violence on preschool children and their mothers

The purpose of this study was to examine the effects of exposure to political violence on preschool children and their mothers. We explored whether these dyads are different from dyads with no known history of exposure to violence and from mother–child dyads with known exposure to domestic violence. Specifically, we explored differences in mothers' psychological status (depression and anxiety), dyadic emotional availability (EA), children's social information processing, and children's social behaviour, in a sample of 216 dyads divided into three groups (exposure to political violence, no exposure to violence, and exposure to domestic violence). We found evidence to support our hypotheses that children exposed to domestic violence exhibit the highest levels of social maladjustment with smaller but still significant differences between children exposed to political violence and children in the comparison group. As expected, the lowest EA scores were found in the exposure to domestic violence group, followed by dyads in the exposure to political violence group. Dyads belonging to the comparison group (no exposure) exhibited the highest levels of EA. These findings contribute to our understanding of the meaning of exposure to political violence, as well as sharpen the difference between exposure to political and domestic violence.     

Linguistic Distributional Knowledge and Sensorimotor Grounding both Contribute to Semantic Category Production

The human conceptual system comprises simulated information of sensorimotor experience and linguistic distributional information of how words are used in language. Moreover, the linguistic shortcut hypothesis predicts that people will use computationally cheaper linguistic distributional information where it is sufficient to inform a task response. In a pre-registered category production study, we asked participants to verbally name members of concrete and abstract categories and tested whether performance could be predicted by a novel measure of sensorimotor similarity (based on an 11-dimensional representation of sensorimotor strength) and linguistic proximity (based on word co-occurrence derived from a large corpus). As predicted, both measures predicted the order and frequency of category production but, critically, linguistic proximity had an effect above and beyond sensorimotor similarity. A follow-up study using typicality ratings as an additional predictor found that typicality was often the strongest predictor of category production variables, but it did not subsume sensorimotor and linguistic effects. Finally, we created a novel, fully grounded computational model of conceptual activation during category production, which best approximated typical human performance when conceptual activation was allowed to spread indirectly between concepts, and when candidate category members came from both sensorimotor and linguistic distributional representations. Critically, model performance was indistinguishable from typical human performance. Results support the linguistic shortcut hypothesis in semantic processing and provide strong evidence that both linguistic and grounded representations are inherent to the functioning of the conceptual system. All materials, data, and code are available at https://osf.io/vaq56/ .     

What could be My Next Job? Using Flat Information Structures to Generate Creative Future Career Ideas

In a dynamic labor market, it is important to help people combine information and generate creative solutions to cope with complex career challenges. In the present research, we apply the theory of information structure to creative career idea generation and hypothesize that flat information structures—that is, structures in which the information is disorganized—are more conducive to creativity than hierarchical information structures—that is, structures in which information is organized in higher‐order categories. In two experimental studies, participants had to combine career information related to self and work preferences that was presented either in flat or hierarchical structures. We found that flat information structures, compared with hierarchical information structures, led to future career ideas that were more creative on average. Our results suggest that cognitive flexibility explains the effect of information structure on the creativity of career ideas. Theoretical implications and suggestions for career management practices are discussed.