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)

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)

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)

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)

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)

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 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.

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)

A comparative historical perspective shows how globalization and the specificities of China’s rapid growth era limit its hegemonic potential in the twenty-first century global economy. Although state capitalism and openness to foreign capital facilitated China’s economic transformation, interactions among three forms of capital—state, private, and foreign—have produced developmental dynamics that constrain China’s capacity to assume the position of the world’s economic hegemon. These include the compromised competitiveness of China’s corporate sector due to the domination of state-owned enterprises, limits on the (...) ability of Chinese firms to develop leading transnational corporations, and early openness to and continued dependence on foreign capital. Moreover, the party-state’s efforts to ameliorate these constraints arouse external suspicion rather than support a Chinese-led hegemonic order based on consent and shared interests. These historically conditioned realities should temper expectations that China is converging teleologically toward a familiar hegemonic role in the international economy. (shrink)

In this paper, the single-machine scheduling problem is studied by simultaneously considering due-date assignment and group technology. The objective is to determine the optimal sequence of groups and jobs within groups and optimal due-date assignment to minimize the weighted sum of the absolute value in lateness and due-date assignment cost, where the weights are position dependent. For the common due-date assignment, slack due-date assignment, and different due-date assignment, an O n log n time algorithm is proposed, respectively, to solve the (...) problem, where n is the number of jobs. (shrink)

ObjectiveThis article explores the effect of preoperative health education, in the form of animation videos, on postoperative self-reported pain levels and anxiety in femoral fractures.MethodsNinety cases of femoral fracture were divided at random into the oral instruction group, the recorded video group, and the animation video group, with 30 cases in each group. Sociodemographic data were collected the day before surgery. Health education was then offered in one of three ways: orally, using a recorded video, or using an animation video. (...) On days 2, 4, and 7 after surgery, the state-trait anxiety inventory and the visual analog scale were used to assess postoperative anxiety and pain levels, respectively, in the participants.ResultsAt different time points during the evaluation, total anxiety scores in the animation and recorded video groups were significantly lower than in the oral instruction group. STAI scores in the three groups were found to have significant interactions with the measurement time in the three groups.ConclusionPreoperative health education with the aid of multimedia is more effective than oral instruction in lowering patients’ postoperative anxiety and pain levels. In addition, animation videos are superior to recorded videos in mitigating postoperative anxiety. Whether the two approaches differ in reducing postoperative pain in bone fractures remains to be further tested. (shrink)

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)

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)

Community search is a query-oriented variant of community detection problem, and the goal is to retrieve a single community from a given set of nodes. Most of the existing community search methods adopt handcrafted features, so there are some limitations in applications. Our idea is motivated by the recent advances of node embedding. Node embedding uses deep learning method to obtain feature representation of nodes directly from graph structure automatically and offers a new method to measure the distance between two (...) nodes. In this paper, we propose a two-stage community search algorithm with a minimum spanning tree strategy based on node embedding. At the first stage, we propose a node embedding model NEBRW and map nodes to the points in a low-dimensional vector space. At the second stage, we propose a new definition of community from the distance viewpoint, transform the problem of community search to a variant of minimum spanning tree problem, and uncover the target community with an improved Prim algorithm. We test our algorithm on both synthetic and real-world network datasets. The experimental results show that our algorithm is more effective for community search than baselines. (shrink)

This cross-sectional study aimed to assess the applicability of social cognitive determinants among the Chinese adolescents and examine whether the predictability of the social cognitive theory model on physical activity differs across gender and urbanization. A total of 3,000 Chinese adolescents ranging between the ages of 12–15 years were randomly selected to complete a set of questionnaires. Structural equation modeling was applied to investigate the relationships between social cognitive variables and PA in the urbanization and gender subgroups. The overall model (...) explained 38.9% of the variance in PA. Fit indices indicated that the structural model of SCT was good: root mean square error of approximation = 0.047, RMR = 0.028, goodness of fit index = 0.974, adjusted goodness of fit index = 0.960, Tucker–Lewis coefficient = 0.971, and comparative fit index = 0.978. Regarding the subgroup analysis, social support had a more substantial impact on the PA of adolescents in suburban areas than that in urban areas, whereas self-regulation had a more substantial impact on the PA of adolescents in urban areas than in suburban areas. The results indicate that the SCT model predicts the PA of Chinese adolescents substantially. An SCT model could apply over a range of subgroups to predict the PA behavior and should be considered comprehensively when designing interventions. These findings would benefit PA among the Chinese adolescents, especially across genders and urbanization. (shrink)