Building on recent work by Yale Weiss, we study conditional logics in the intuitionistic setting. We consider a number of semantic conditions which give rise, among others, to intuitionistic counterparts of Lewis’s logic VC and Stalnaker’s C2. We show how to obtain a sound and complete axiomatization of each logic arising from a combination of these conditions. On the way, we remark how, in the intuitionistic setting, certain classically equivalent principles of conditional logic come apart, and how certain logical connections (...) between different principles no longer hold. (shrink)

Previous research has extended the stress literature by exploring the relationship between family incivility and cyberbullying perpetration, yet relatively less attention has been paid to underlying psychological mechanisms between that relationship among university students. According to the Frustration-Aggression Theory, this study examined the relationships of family incivility, cyberbullying perpetration, negative emotions and neuroticism among Chinese university students. Data were collected from 814 university students. The results examined the mechanism through which family incivility was significantly related to cyberbullying perpetration through the (...) mediation of negative emotions, suggesting a strong link of stressful life events to online aggression. In addition, high levels of neuroticism moderated the relationship between family incivility and cyberbullying perpetration, as well as that between family incivility and negative emotions. The study revealed the chronic and potential impact of family incivility, underlined the interaction between stressful life events and online aggression, and put forward the intervention strategies of cyberbullying among university students. (shrink)

Conflicts in land exploration are incisive social problems which have been the subject in many studies. Risk assessment of land conflicts is effective to resolve such problems. Specifically, fuzzy mathematics and the analytic hierarchy process were combined together to evaluate risk in land conflicts in our work, which is proved useful to solve uncertainty and imprecision problems. Based on the analysis of the principles for the risk assessment of a land conflicts index system, a set of risk assessment indexes using (...) the fuzzy analytic hierarchy process was presented. The results show that the overall risk is at medium level, and the risk of the feasibility index and controllability index need to be paid more attention to. The contribution of this article is reflected in two aspects: the application of FAHP in risk assessments of land conflicts is effective and valid; it is helpful for governments to establish a stricter management system of work safety for conflicts in land exploration based on the risk assessment results. (shrink)

Reading-to-write is an essential skill in academic writing, and reading-writing tasks have been widely adopted in standardized English tests. Much more recent literature on integrated reading-writing tasks has focused on writers’ use of source texts or the validity of integrated writing assessment, while little is known about whether the nature of the types of reading texts has any bearing on integrated reading-writing tasks. This study examines whether the types of reading texts (i.e., similar views or opposing views on a debatable (...) issue) have any influence on second language (L2) students’ argumentative writing in terms of the use of argument elements and its overall quality. Fifty-four Chinese second-year university students majoring in English language teaching were asked to write an argumentative essay after reading texts with either similar views or opposing views. Results show that students reading texts with opposing viewpoints presented more data and higher overall quality of argumentative essays than students reading texts with similar viewpoints, although the latter group presented more counterargument data. Pedagogical implications on teaching argumentative writing are discussed. (shrink)

Purpose: Short track speed skating is a racing sport with racing tactics are equally crucial to speed and technical skating skills. Therefore, to investigate the relationship between starting and finishing positions for elite skaters and subsequently, explore pacing patterns for champions are necessary.Methods: To investigate a pattern of effective tactical positioning strategy, Kendall’s tau-b correlations between starting and finishing position were calculated, with 500 m races having the most positive correlation.Results: Furthermore, starting position distributions of winners in each round, as (...) well as the fluctuations in champion starting positions across rounds were analyzed. Our findings showed that skaters on the first track were inclined to win the rounds in 500, 1,000, and 1,500 m, and the differences between starting and finishing positions for champions were minimized in semi-finals. Meanwhile, the pacing patterns were gaining more fluctuations by the increase of race distances for champions, as the average standard deviation of lap rankings equaled 0.90, 1.15, and 2.21 for 500, 1,000, and 1,500 m races, respectively.Conclusion: In conclusion, elite skaters should adopt flexible tactics at the lowest cost of energy consumption. The overall variability of lap ranking in long-distance races were distinctly higher than it in short distance. (shrink)

The year 2012 has witnessed worldwide celebrations of Alan Turing’s 100th birthday. A great number of conferences and workshops were organized by logicians, computer scientists and researchers in AI, showing the continued flourishing of computer science, and the fruitful interfaces between logic and computer science. Logic is no longer just the concept that Frege had about one hundred years ago, let alone that of Aristotle twenty centuries before. One of the prominent features of contemporary logic is its interdisciplinary character, connecting (...) across mathematics, philosophy, modern computer science, and even the cognitive and social sciences. -/- China is no exception. This special issue explores interfaces of logic with AI and other disciplines, and it attempts to give a bird’s eye view of the developing landscape of logic and AI in China. Our contributors come from computer science, AI, philosophy and linguistics, united by their interest in using formal logical tools and notions to deal with substantial problems in their fields. We are aware that AI is a vast area, and that the limitations of space in a volume like this may provide a somewhat incomplete or biased view. Still we hope that the six papers selected here illustrate the concerns and curiosity driving Chinese researchers, on topics shared with our colleagues around the world. -/- One of the active research areas in AI is planning under uncertainty, with incomplete knowledge, where a well-established logical framework is the action language of Son and Baral (Son and Baral 2001). This language can express the notions of sensing actions and making conditional plans. However, its current semantics is not yet satisfactory, since according to the semantics an agent would not have knowledge of what happens after a plan is executed, which can be a serious problem in a safety-critical environment. In their paper Proof Systems for Planning under Cautious Semantics (Shen and Zhao 2013), Yuping Shen and Xishun Zhao address this problem and propose a cautious and weakly cautious semantics for the action language. This new semantics enables the agent to know exactly what happens after executing an action. Hoare style proof systems are then proposed and proved to be sound and complete. What is more, the proposed new system reduces the reasoning complexity of the action language. -/- In Preferential Semantics for Plausible Subsumption in Possibility Theory (Qi and Zhang 2013), Guilin Qi and Zhizheng Zhang investigate another important issue in AI: how to handle exceptions in a knowledge-based system. This has become a hot topic in recent years, especially in ontological design, where description logics are widely used. The question then arises whether we can get a nonmonotonic extension of description logic. To answer this, the authors first propose three preferential semantics for plausible subsumption in the framework of possibility theory (Dubois and Prade 1985) and study their properties and their relationships. Then they introduce preferential subsumptions to a description logic-based knowledge system, and define an entailment relation of plausible subsumption. Moreover, they study reductions of the new semantics to standard semantics for an expressive description logic. -/- Counterfactual reasoning has been explored extensively by philosophers, cf. Lewis (1973), Stalnaker (1968). But in the last two decades, causal models have been proposed for modeling counterfactual reasoning by researchers in AI. In A Lewisian Logic of Causal Counterfactuals (Zhang 2013), Jiji Zhang studies classes of causal models and provides formal characterizations. In particular, a new logic system is proposed and proved complete for the class of ‘Lewisian models’ satisfying all the principles of David Lewis’s logic of counterfactuals. Moreover, Zhang compares his new framework with those of Lewis and Stalnaker, and also establishes formal connections with more recent approaches by Galles and Pearl, and by Halpern. -/- Consistency is a fundamental notion in logic, but it also plays a key role in many techniques for solving constraint satisfaction problems (Mackworth 1977). In Variable-Centered Consistency in Model RB (Li et al. 2013), Liang Li, Tian Liu and Ke Xu start with a discussion of i-consistency in ‘Model RB’ and ‘Model RD’, two models of random constraint satisfaction problems with growing domain size, then compare it with the notion of t-consistency and strong t-consistency in well-known earlier work by Freuder. After that, the authors define a new kind of variable-centered consistency, and show an upper bound on a suitably chosen parameter in Model RB and Model RD, such that up to this bound, all typical instances of Model RB are variable-centered consistent. -/- Language understanding is a cognitive process that human beings carry out every day. Metaphor is a pervasive phenomenon in natural languages, and its cognitive role calls for interpretation. There is a growing body of literature on cognitive mechanisms underlying metaphor. The paper An Ontology-Based Approach to Metaphor Cognitive Computation (Huang et al. 2013) by Xiaoxi Huang, Huaxin Huang, Beishui Liao, and Cihua Xu proposes a theoretical framework for metaphor understanding based on recent results from cognitive science (Shutova 2010). They then introduce ontology as a knowledge representation method, and present a new ontological model to formalize metaphor-based knowledge. An algorithmic description is provided using a quantitative measure of integrated degree, and its effectiveness is demonstrated. -/- Puzzles and their solution mechanisms are a recurrent theme in many fields. Dynamic epistemic logic (van Ditmarsch et al. 2007); (van Benthem 2011) is a recent framework that can handle information dynamics in knowledge puzzles. In Reasoning About Agent Types and the Hardest Logic Puzzle Ever (Liu and Wang 2013), Fenrong Liu and Yanjing Wang propose a new dynamic-epistemic logic that can specify different types of agents and analyse agents’ knowledge, communication and reasoning. To demonstrate its power, Smullyan’s well-known Knights and Knaves puzzles are formalized, as well as the Hardest Logic Puzzle Ever (HLPE) of Boolos (Boolos 1996). Moreover, a spectrum of new puzzles is found involving knowledge-based agent types, and their solution complexity is shown to be harder than that for existing logic puzzles. It is also shown that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. -/- Finally, we would like to thank the editor of Minds and Machines, Gregory Wheeler, for his efficient assistance and kind support. We also thank Ties Nijssen at Springer for his encouragement to start this project at the first place. And of course, our appreciation goes to our authors, as well as all the colleagues who have helped us review the papers in this collection. (shrink)

History of Logic in China: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in the field. We hear their views on the field, the aim, the scopes, the future direction of research and how their work fits in these respects. Interviews with Rens Bod, Chung-Ying Cheng, Cui Qingtian, Dong Zhitie, Chris Fraser, Yiu-Ming Fung, Jane Geaney, Chad Hansen, Christoph Harbsmeier, Ju Zhonglin, Hsien-Chung Lee, Jer-Shiarn Lee, Michiel (...) Leezenberg, Liu Peiyu, Thierry Lucas, Gregor Paul, Dan Robins, Shen Jianying, Sun Zhongyuan, Wang Kexi, Yang Wujin, Zhai Jincheng, Zheng Weihong, Zhou Shan and Zhou Yunzhi. (shrink)

Ben shu yi Ming ru Li Cai de jiang xue huo dong yu xue pai jian gou wei zhong xin, tan tao cong shi liu shi ji chu dao shi qi shi ji mo li xue qun ti zhong xin xing xue shuo he xue pai de chan sheng, chuan bo, kuo zhan yu chuan cheng de mo shi, bing zhuo zhong cong si xiang shi de jiao du jie shi zhe zhong mo shi chan sheng he yun xing de (...) si xiang gen yuan yu nei zai dong li. Quan shu zheng wen gong qi zhang, zhu yao nei rong fen wei shang xia liang bian, shang bian yi hong guan zong lun de fang shi, cong li xue jing dian "Da xue" de wen ben bian dong he quan shi jing zheng qie ru, tan tao zhong wan Ming li xue xue shuo he xue pai jian gou de li lun gen ju; xia bian yi Li Cai de "zhi xiu" xue shuo ji qi jiang xue huo dong zuo wei ge an yan jiu, tan tao li xue xue shuo he xue pai de chuan bo ji chuan cheng de she hui hua tu jing. (shrink)

As a way of human-computer interaction, game-based assessment is more suitable for young children because it is situational, interesting, and effective. National identity is an important factor affecting the overall development of young children and the future development of a country, which has attracted extensive attention from researchers. Nevertheless, the assessment of young children's national identity is still based on traditional evaluation, including questionnaires and interviews, which have the limitations of being inaccurate, dull, and time-consuming. To understand the characteristics of (...) children's national identity, it is necessary to use scientific and interactive assessment methods. The present study investigated whether the game-based assessment we developed specifically would be an appropriate tool to measure young children's national identity. The results show that the game-based assessment had good item discrimination. Exploratory factor analysis demonstrated the game covered three aspects: national cognition mastery, national emotion engagement, and national behavior tendency. The confirmatory factor analysis suggested that the model with three factors fit the data well. The internal consistency, the split-half reliability, and the test-retest reliability meet standards. Overall, the results indicated that this game can be successfully used to assess young children's national identity with acceptable validity and reliability. Our study provides strong evidence for the use of human-computer interaction in child measurement. These findings are the first to demonstrate the promise of game-based assessment in assessing children's national identity reliably and effectively. (shrink)

BackgroundAdolescents’ engagement in daily physical activity brings multiple benefits, including reduction in obesity, improvement of mental health, and enhancement of cognitive function. While prior studies have examined the link between physical activity and cognitive function, little is known regarding the extent to which this relationship is shaped by health and wellbeing factors. This study examines how subjective wellbeing and general health mediate the relationship between adolescents’ physical activity and cognitive function.MethodsThis study estimates a parallel structural equation model using the Program (...) for International Student Assessment 2018 dataset. Specifically, a total of 63,228 15-year-old subjects in nine countries/economies satisfied the study inclusion criteria, including in Bulgaria, Georgia, Hong Kong, Ireland, Mexico, Panama, Serbia, Spain, and United Arab Emirates. Frequency of moderate physical activity was reported weekly; SWB and GH were assessed using an internationally validated multi-item standardized questionnaire. SWB was measured by students’ self-evaluated satisfaction with their health, life, and schooling. GH was measured by students’ physical health and mental health status. Cognitive function was modeled as a latent function consisting of plausible values derived using item response theory on reading, mathematics, and science achievement tests.ResultsFindings indicated that increase in weekly MPA was positively associated with higher levels of SWB, GH, and CF among the study subjects. Parallel mediation analyses revealed that more frequent weekly MPA had relatively large direct effects on CF, and indirect effects channeling through improvements in SWB and GH were non-trivial. Heterogeneity results showed that boosts to CF, associated with MPA, were larger for mathematics and science than for reading.ConclusionThis study used a large-scale international dataset to show that the positive relationship observed between MPA and CF among adolescents was robust, and that SWB and GH were two critical mediators through which physical activity positively bolster CF. (shrink)

In this paper, a size-independent modification of the general detrended fluctuation analysis method is introduced. With this modified DFA, seismic time series pertaining to most seismically active regions of the world from the year1972up to the year2016are comparatively analyzed. An eminent homogeneity of spatial clustering behaviors in worldwide range is detected and DFA scaling exponents coincide with previous results for local regions. Furthermore, universal nontrivial spatial clustering behaviors are revealed from shallow to intermediate-depth earthquakes by varying the depth of the (...) hypocenter: in shallow earthquakes, the depth range corresponding to the minimum spatial clustering is first verified to be spatiotemporal and identical; in intermediate-depth earthquakes, strong weakening long-range correlations compared to shallow earthquakes are unveiled to strengthen the recent findings in seismology. Our work aims to suggest a possible statistical approach to explore the dynamic mechanisms implied in the seismicity as well as in other analogous dynamic evolution processes. (shrink)

Aiming at the problems of poor adaptability and low secret key generation rate of secret key generation scheme based on single characteristic parameter of wireless channel, a secret key generation method based on joint characteristic parameters of amplitude and phase of wireless channel is proposed. This method is based on the single-eavesdropping wireless fading channel model; the joint characteristic model of amplitude and phase of wireless fading channel is established; it detects and extracts the joint characteristic parameters of amplitude and (...) phase of channel, and then the proposed characteristics are quantified by using the equal probability joint quantization strategy of amplitude and phase to generate the secret key random parameters. In this paper, the amplitude and phase joint feature parameter detection method of wireless channel can not only improve the generation rate of random secret key parameters but also make the eavesdropping party’s eavesdropping error rate closer to 0.5. The test results show that the proposed scheme can significantly improve the rate, reliability, and security of generating key random parameters. (shrink)

The role of other-directed moral emotions (e.g. anger) in constructing leadership ethics is well-discussed, yet the effects of leaders expressing self-directed moral emotions remain under-explored. This paper focuses on guilt, a typical self-conscious moral emotion, to investigate the interpersonal prosocial impact of a leader’s guilt expression. Drawing from the emotion as social information theory, we propose that a leader’s guilt expression can enhance followers’ forgiveness and organizational citizen behaviors by evoking followers’ moved emotions and delivering the leader’s benevolence information. Additionally, (...) we examine the moderating role of the quality of leader–member exchange in these effects. Our results, obtained through a two-wave field survey (Study 1), a critical incident technique experiment (Study 2), and a scenario experiment (Study 3), provide support for most of our hypotheses. Our research contributes to the EASI theory and literature on emotions and provides practical guidance on leader emotional management. (shrink)

This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.

The sampling-based motion planner is the mainstream method to solve the motion planning problem in high-dimensional space. In the process of exploring robot configuration space, this type of algorithm needs to perform collision query on a large number of samples, which greatly limits their planning efficiency. Therefore, this paper uses machine learning methods to establish a probabilistic model of the obstacle region in configuration space by learning a large number of labeled samples. Based on this, the high-dimensional samples’ rapid collision (...) query is realized. The influence of number of Gaussian components on the fitting accuracy is analyzed in detail, and a self-adaptive model training method based on Greedy expectation-maximization algorithm is proposed. At the same time, this method has the capability of online updating and can eliminate model fitting errors due to environmental changes. Finally, the model is combined with a variety of sampling-based motion planners and is validated in multiple sets of simulations and real world experiments. The results show that, compared with traditional methods, the proposed method has significantly improved the planning efficiency. (shrink)

Venture capital syndication, an investment model, is gaining increasing attention. This paper uses a new perspective on knowledge transfer to explore the influence mechanism of knowledge heterogeneity in VCS on the innovation performance of entrepreneurial firms. We use firm-year panel data from the Shenzhen Stock Exchange for 2000–2017 and find that the knowledge heterogeneity of VCS includes, at least, management knowledge heterogeneity, investment knowledge heterogeneity, and technical knowledge heterogeneity. In particular, management knowledge heterogeneity and technical knowledge heterogeneity positively affect the (...) IP of entrepreneurial firms. We further find that the intellectual capital of entrepreneurial firms mediates these positive relationships. Moreover, the equity concentration of VCS positively moderates the relationship between knowledge heterogeneity and IP and negatively moderates the relationship between knowledge heterogeneity and IC. This paper provides a new theoretical explanation of the relationship between VCS and IP of entrepreneurial firms from a knowledge transfer perspective and explores the impact paths of this relationship. (shrink)

Guiding core enterprises to participate in supply chain work safety governance is an innovative mode of work safety control, which has an important impact on improving the work safety level of small and medium-sized enterprises in the supply chain. Through in-depth interviews, the grounded theory is adopted to explore the driving factors of work safety management behaviors of core enterprise. It is found that the work safety management behavior of the core enterprise is driven by both internal and external factors. (...) External driving factors are the main category of institutional pressure composed of regulatory pressure, normative pressure, and cognitive pressure. Internal driving factors are divided into the main category of behavioral awareness and the behavioral capability of the core enterprises. The behavioral awareness is composed of responsibility sense, problem cognition and behavioral effect perception. The behavioral capability is composed of safety management strength and safety coordination capability. Institutional pressure, behavioral awareness, and behavioral capability all influence the work safety management behavior of core enterprise in supply chain significantly, but with different ways and paths. On this basis, the driving mechanism model of the above three main categories on the work safety management behavior in core enterprise supply chain is explored. The research can provide targeted policy ideas and implementation paths for the government to formulate effective guiding policies to promote the work safety management behavior of core enterprise. (shrink)

It has been a growing trend in Chinese universities to shift from English for general purposes to English for specific purposes teaching. Against this background, large groups of teachers previously engaged in teaching EGP have become or are becoming ESP teachers, which means a complex process of learning for subject-specific information, transforming teaching practices and constructing new identities. Despite this, very little has been written about the ESP teacher cognition of language teaching or the factors influencing this shift in teaching. (...) This study involved English for Medical Purposes teachers in Chinese universities as participants, and a scale of EMP TC with 31 items was developed on the basis of questionnaire results. Data from exploratory factor analysis revealed six dimensions of the scale, namely, teacher attitude, teacher belief, teacher learning, teacher support, role identification, and teacher practice—that combine to constitute and influence EMP TC. While the identity factor has attracted wide attention in ESP teacher research, other factors have largely been neglected. Thus, this research highlights the importance of more factors in shaping and changing the language teaching cognition of EMP or ESP teachers in large, especially the teacher belief factor. In addition, results of independent samples t-tests indicated significant difference in EMP teacher learning in terms of gender, differences in EMP teacher attitude and teacher support in terms of EMP teaching experience. Suggestions for enhancing EMP TC are offered on the basis of the conclusions of this research. (shrink)

BackgroundThe high incidence of post-stroke depression during rehabilitation exerts a negative effect on the treatment and functional recovery of patients with stroke and increases the risk of mortality. It is necessary to screen PSD in the rehabilitation stage and thus provide effective intervention strategies. However, existing measurements used to assess PSD in the rehabilitation stage in patients with stroke lack specificity. This study aimed to develop a clinical measure to assess symptoms of PSD in the rehabilitation stage.MethodsThe research team created (...) the initial items through a literature review and semi-structured interviews of patients with stroke. Then, the symptom-related items were estimated by three panels: healthcare professionals, Delphi experts, and patients with stroke in the rehabilitation stage.ResultsThe literature review and semi-structured interview produced 51 symptom-related items including six domains, and the items were reduced to 47 by the healthcare professionals. The symptom-related items were further reduced to 33 items by a two-round Delphi consultation. The initiative coefficients of the two Delphi rounds were 71.4 and 100%, the expert authority coefficients were both 0.85, Kendall’s W were 0.152 and 0.408, and the coefficient of variation were 0.05–0.32 and 0.00–0.18, respectively. The item-level content validity index was 0.53–1.00, the scale-level CVI/universal agreement was 0.26, and the S-CVI/average was 0.85 for the first found Delphi consultation; the I-CVI was 0.67–1.00, the S-CVI/UA was 0.61, and the S-CVI/Ave was 0.97 for the second round Delphi consultation. All content validity indicators have been significantly improved compared with the first round. Using mean ≥ 4 and full score ≥ 0.5, combined with CV ≤ 0.16 as the item criteria, a clinical measure of PSD with 33 items and 6 dimensions was finally formed after two rounds. The patients with stroke made no further revisions after evaluation.ConclusionThe research team developed a specific tool with good content validity to assess the symptoms of PSD in the rehabilitation stage. (shrink)

Vaccine is one of the most effective means to deal with the COVID-19 pandemic in many countries, but vaccine hesitancy has been always widespread among people due to individual differences in access to vaccine information. This research aims to empirically investigate the relationship between media use preference, knowledge level, risk perception and willingness to vaccinate among Chinese residents. A cross-sectional survey of a Chinese sample was carried out to explore factors that influence the COVID-19 vaccination intention of Chinese residents. The (...) empirical results show that the knowledge level and risk perception of Chinese residents positively contribute to vaccination intention. People with video-usage preference have lower levels of knowledge about the COVID-19 vaccine than those with text-usage preference. People’s risk perception of the COVID-19 pandemic is not influenced by their media use preference or knowledge level, as COVID-19 is a global pandemic and a significant social risk. The current study yields health-related implications for the role of media use preference in vaccination intention. (shrink)