In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al., based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of ∃∀\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document} in the semantics of the know-how modality and the neighborhood semantics for the standard modality. We show that this new semantics (...) is equivalent to the original Kripke semantics in terms of the validities. A key result is a representation theorem showing that the more abstract Kripke neighborhood models can be represented by the concrete Kripke models with action transitions modulo the valid formulas. We prove the completeness of the logic for the neighborhood semantics. The neighborhood semantics can be adapted to other variants of logics of knowing how. It provides us a powerful technical tool to study these logics while preserving the basic semantic intuition. (shrink)

In this paper, we propose a dynamic epistemic framework to capture the knowledge evolution in multi-agent systems where agents are not able to observe. We formalize multi-agent conformant planning with group knowledge, and reduce planning problems to model checking problems. We prove that multi-agent conformant planning with group knowledge is Pspace -complete on the size of dynamic epistemic models. We also consider the alternative Kripke semantics, and show that for each Kripke model with perfect recall and no miracles, there is (...) an equivalent dynamic epistemic model and vice versa. (shrink)

A succession of events is a sequence of events such that after one event is finished, the next one occurs successively. In this paper, we extended linear temporal logic with a new modality to capture the case that a sequence of events successively occurs. We compared the expressivity between this extended linear temporal logic and the standard linear temporal logic.

The DangShi manor is located in Hejiashi Village, Baijiajian Town approximately 20 kilometers from the southeast part of Suide County, Shaanxi Province, the unique architecture in Qing Dynasty that has been preserved almost intact in Suide County, a great cultural county, and is an officially protected site in Shaanxi Province. By means of field survey, mapping and taking photos and recording in Dangshi manor, this article acquires the abundant first-hand data about carving art of the manor. With the methods of (...) comparison and induction from the holistic perspective and detailed analysis in the local perspective, this article makes a meticulous analysis and study on the style, content, connotation, moulding and technique of carving art of Dangshi manor and discusses characteristics and protection and inheritance value of carving art of Dangshi manor in a systematic way. (shrink)

In this paper, we study the evolution of knowledge in multi-agent conformant planning over transition systems. We propose a dynamic epistemic logical framework with modalities of distributed knowledge to handle the epistemic reasoning in such scenarios, and we reduce a problem of multi-agent conformant planning to a model checking problem. We prove that multi-agent conformant planning is Pspace-complete on the size of the dynamic epistemic model.

© The Author, 2017. Published by Oxford University Press. All rights reserved. In this article, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We generalize the standard conformant planning problem in AI in two crucial aspects: first, the planning goal can be any formula expressed in an epistemic propositional dynamic logic ; second, procedural constraints of the desired plan specified by regular expressions can be imposed. We then reduce the problem of generalized conformant planning (...) to the model checking problem of our logic. Although our conformant planning problem is much more general than the standard one with Boolean goals and no procedural constraints, the complexity is still PSPACE-complete which is equally hard as standard conformant planning over explicit transition systems. (shrink)

This paper is expected to introduce a novel memductor-based chaotic system. The local dynamical entities, such as the basic dynamical behavior, the divergence, the stability of equilibrium set, and the Lyapunov exponent, are all investigated analytically and numerically to reveal the dynamic characteristics of the new memductor-based chaotic system as the system parameters and the initial state of memristor change. Subsequently, an active control method is derived to study the synchronous stability of the novel memductor-based chaotic system through making the (...) synchronization error system asymptotically stable at the origin. Further to these, a memductor-based chaotic circuit is designed, realized, and applied to construct a new memductor-based secure communication circuit by employing the basic electronic components and memristor. Furthermore, the design principle of the memductor-based chaotic circuit is thoroughly analyzed and the concept of “the memductor-based chaotic circuit defect quantification index” is proposed for the first time to verify whether the chaotic output is consistent with the mathematical model. A good qualitative agreement is shown between the simulations and the experimental validation results. (shrink)

Surface flattening plays an important role in the whole process of garment design. We proposed a novel method by using three-dimensional triangle mesh flattening in this study. First, the three-dimensional triangle mesh is flattened to a two-dimensional plane to approximate the original surface. The initial flattening results are then used as preliminary guesses for subsequent optimizations. Considering that the deformation energy in the real woven fabric is related to tensile or shear deformation, a simplified fabric deformation model based on energy (...) is proposed to update the energy distribution to determine the best two-dimensional pattern. An innovative unified axis system process is proposed to obtain the deformation energy, and energy relaxation in local flattening is proposed to release the distortion of flattening. Finally, the experimental results show that complex surfaces such as garments could achieve better flattening results. Compared with other energy-based methods in garment design, our proposed methods are more flexible and practical. (shrink)

Empathy is an important human ability associated with successful social interaction. It is currently unclear how to optimally measure individual differences in empathic processing. Although the Big Five model of personality is an effective model to explain individual differences in human experience and behavior, its relation to measures of empathy is currently not well understood. Therefore, the present study was designed to investigate the relationship between the Big Five personality concept and two commonly used measures for empathy (Empathy Quotient (EQ), (...) Interpersonal Reactivity Index (IRI)) in four samples from China, Germany, Spain and the United States of America. This approach was designed to advance the way the Big Five personality model can be used to measure empathy. We found evidence of medium effect sizes for associations between personality and empathy, with agreeableness and conscientiousness as the most important predictors of affective and cognitive empathy (measured by the respective IRI subscales) as well as a for a one-dimensional empathy score (measured by the EQ). Empathy in a fictional context was most closely related to openness to experience while personal distress was first of all related to neuroticism. In terms of culture, we did not observe any distinct pattern concerning cultural differences. These results support the cross-cultural applicability of the Empathy Quotient and the Interpersonal Reactivity Index and indicate structurally similar associations between personality and empathy across cultures. (shrink)

Previous studies argue that religious firms are more ethical and thus engage less in accrual earnings management. At odds with the ethical view, we use a sample of Chinese listed firms and show that firms in religious regions use more real earnings management. We postulate that besides ethics, religion also proxies for risk aversion, which motivates firms to substitute accrual earnings management with real earnings management. Consistent with this view, we show that the positive association between religiosity and real earnings (...) management is more pronounced for firms with lower litigation risk and for firms with less reputable auditors. In addition, we use a mediation model introduced by Baron and Kenny :1173–1182, 1986) to show that religiosity affects earnings management through the channel of risk aversion. We conclude that firms choose real earnings management over accrual-based earnings management because of risk aversion, rather than ethical reasons. (shrink)

Previous studies argue that religious firms are more ethical and thus engage less in accrual earnings management. At odds with the ethical view, we use a sample of Chinese listed firms and show that firms in religious regions use more real earnings management. We postulate that besides ethics, religion also proxies for risk aversion, which motivates firms to substitute accrual earnings management with real earnings management. Consistent with this view, we show that the positive association between religiosity and real earnings (...) management is more pronounced for firms with lower litigation risk and for firms with less reputable auditors. In addition, we use a mediation model introduced by Baron and Kenny :1173–1182, 1986) to show that religiosity affects earnings management through the channel of risk aversion. We conclude that firms choose real earnings management over accrual-based earnings management because of risk aversion, rather than ethical reasons. (shrink)

Workplace aggression has been established as a prevalent and detrimental issue in organizations. While numerous studies have documented the important role of leaders in inhibiting or accelerating workplace aggression, a systematic overview of the associations between different leadership styles and workplace aggression as well as its boundary conditions is still lacking. This study reports a meta-analysis investigating the associations between leadership and workplace aggression. Drawing on data from 165 samples, our results revealed that change-oriented, relational-oriented, and values-based and moral leadership (...) were associated with reduced workplace aggression. In contrast, passive and destructive leadership were associated with increased workplace aggression. Importantly, relative weights analyses revealed that ethical leadership was most strongly negatively associated with workplace aggression. Additionally, moderation analyses revealed that the associations between leadership and workplace aggression were, in some cases, moderated by power distance and rating sources, but independent of measurement time lag. Overall, the findings of this meta-analysis highlight the important associations between leadership and workplace aggression. Implications for future research and policy recommendations aiming to reduce workplace aggression are discussed. (shrink)

Throughout the developing world, it is a well-documented fact that women farmers tend to get lower yields than their male counterparts. Typically this is attributed to disproportionate access to high-quality inputs and labor, with some even arguing there could be a skills-gap stemming from unbalanced access to training and education. This article examines the gender-based yield gap in the context of Zambian maize producers. In addition to the usual drivers, we argue that Zambia’s patriarchal and multi-tiered land distribution system could (...) disfavor women with respect to accessing quality soils. We are uniquely able to control for soil characteristics using farm data from a sample of 1573 fields with accompanying soil analysis. We find an expected difference in yields, but no evidence of a gap in unobserved characteristics, like skill, after controlling for access to inputs, especially quality soil, suggesting women are indeed disproportionately disadvantaged. We discuss how our findings could be used to develop self-targeting policy interventions that could empower women and would be consistent with the government’s stated equity goals. (shrink)

In the traditional system of Chinese families, individuals are embedded in the institution of the family with defined obligations to enhance family development. As a consequence of the male-biased sex ratio at birth in China since the 1980s, an increasing number of surplus rural males have been affected by a marriage squeeze becoming involuntary bachelors. Under China’s universal heterosexual marriage tradition, family development of rural involuntary bachelors has largely been ignored, but in China’s gender-imbalanced society, it is necessary to adopt (...) a family-based approach to identify and study the plight of rural involuntary bachelors. Studies on gender imbalance indicate that these men face multiple risks from the perspectives of their life course, the family life cycle, and the family ethic. To a certain extent, these risks are caused by a conflict between the individual’s family life and family ethics and are mainly reflected in problems concerning marriage, health, and old-age support. Not only do these vulnerabilities affect the individual and family development across the whole life cycle but also pose major risks to social development in the face of strong gender imbalance. In order to deal with risks faced by rural involuntary bachelors, core ethical principles, including autonomy, beneficence, and justice, need to be adopted. Through adjustments to informal support provided by the family and formal support provided by policy-makers, risk of uncertainty in family development faced by rural involuntary bachelors could be reduced. (shrink)

From the tape-recording of naturally occurring Chinese psychotherapy sessions, this article explores how repeated occurrences of resistance are managed in the course of interactional sequences and the participants’ actions within these sequences. By employing the methods of conversation analysis, we discuss the main discursive strategies employed by the clients to express their resistance and investigate how the therapist manages this. We find that clients show their resistance to the therapist’s questions in four ways: keeping silence, providing minimal response, making non-answer (...) responses, and being over-talkative. Persistent asking is the main technique we identify in the data for the therapist to manage the resistance; in the meantime, asking questions in a stepwise way, making requests after facing resistance to questions, active retreating and reformulating of the client’s words are employed as subsidiary techniques. The successful management of resistance leads to a smooth sequential development of the psychotherapy, while inappropriate strategies might result in a halt or even breakdown of the therapeutic work. In psychotherapy, resistance is a result of the shared interaction between client and therapist. It is such a complex issue that, in order to understand and manage it, we also take into consideration the broader social and cultural context in which it occurs. (shrink)

The foundation scheme in set theory asserts that every nonempty class has an ∈\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\in $$\end{document}-minimal element. In this paper, we investigate the logical strength of the foundation principle in basic set theory and α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory. We take KP set theory without foundation as the base theory. We show that KP-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^-$$\end{document} + Π1\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi _1$$\end{document}-Foundation + V=L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V=L$$\end{document} is enough to carry out finite injury arguments in α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory, proving both the Friedberg-Muchnik theorem and the Sacks splitting theorem in this theory. In addition, we compare the strengths of some fragments of KP. (shrink)

BackgroundAt present, tic disorder has attracted the attention of medical researchers in many countries. More clinicians choose non-drug therapy, especially cognitive-behavioral therapy because of the cognitive side effects of drug therapy. However, few studies had assessed its efficacy. It is necessary to have a more comprehensive understanding of the literature quality of CBT and its intervention effect.MethodsIn this study, MEDLINE, Embase, and Cochrane were searched from the beginning to June 15, 2021 to study the efficacy of -CBT on tic disorder. (...) Only studies using the Yale Global Tic Severity Scale and the control group were included.ResultsA total of 12 randomized controlled trials, including 536 patients with tic disorders, were identified. The results showed that the effect of CBT was better than that of the control group. The pooled standardized mean difference was −0.34. The effect size of CBT differs from different intervention conditions. In seven studies, the subjects’ motor tic scores were counted. The sample size of the experimental group was 224 and that of the control group was 218. The pooled SMD was −0.43. Seven studies counted the vocal tic scores of subjects, 224 in the experimental group and 218 in the control group. The pooled SMD was −0.22. Seven studies counted the tic impairment scores of subjects, 220 in the experimental group and 214 in the control group. The pooled SMD was −0.48.ConclusionThe literature shows that different CBTs can significantly reduce the total score of tic disorder and the score of motor tic, but cannot significantly reduce the score of vocal tic. In the future, more new interventions were needed to improve the symptoms of different patients, especially vocal tic. (shrink)

In this paper, the Internet of Things with intelligent face perception and processing function is used to supervise online English teaching. In the intelligent learning environment, learners mainly learn by watching the information presentation screen of the learning content, i.e., the learning screen, which is the main environment for learners to learn and is the main channel for information interaction between learners and the learning content. The color matching, layout, graphic decoration, and background texture of the learning screen have a (...) significant impact on learners’ emotions, interests, motivation, and effect in the learning process. On the contrary, the accurate identification of learners’ emotions is the basis for building a harmonious emotional interaction in the wisdom learning environment and is an important means to judge learners’ learning status, which is of great significance to promote learners’ wisdom learning. In addition to providing learners with personalized learning contents and learning paths, the learning images presented by the intelligent learning environment should also be compatible with learners’ emotional states and visual emotional preferences and can play a role in regulating and stimulating learners’ learning emotions. The system works well in the testing process, which verifies the feasibility, rationality, and effectiveness of our application of face perception to online teaching effectiveness monitoring, and can be combined with the old result-oriented effectiveness monitoring method for online teaching, with certain theoretical research significance and practical application value. (shrink)

There is ample evidence that the success or failure of language learning is influenced by psychological processes in learners' minds. This review attempted to review the related studies on the relationship between English as a Foreign Language learners' emotional intelligence, communication apprehension, and self-efficacy. Few studies have been done on the correlation between self-efficacy and emotional intelligence. A positive significant correlation between emotional intelligence and self-efficacy has been confirmed in the literature. Studies have shown that interpersonal relationships, self-awareness, problem-solving skills, (...) self-adequacy, self-confidence, self-actualization, and stress tolerance can act as mediator variables in the correlation between self-efficacy and emotional intelligence among EFL learners. Moreover, the related studies have shown that emotional intelligence is significantly correlated with communication apprehension. The investigations have accentuated the mediating role of learners' willingness to communicate and academic achievement in the correlation between emotional intelligence and communication apprehension. The correlation between communication apprehension and self-efficacy has been verified in the related literature. Finally, the pedagogical implications are expanded to foster language learning quality. This review also provides some suggestions for further research to elucidate our viewpoints over emotional variables and their interactions with each other. (shrink)

The evolution of microstructure upon partial crystallization and its influence on the mechanical properties such as hardness, elastic modulus and viscosity in a La 55 Al 25 Cu 10 Ni 5 Co 5 bulk metallic glass alloy are studied. Specimens with various volume fractions of crystalline phases were obtained by annealing the as-cast amorphous alloy above its glass transition temperature and were characterized by transmission electron microscopy. Microscopic examination of the heat-treated samples shows short-range-ordered domains prior to nanocrystallization within the (...) amorphous matrix, followed by the growth and impingement of the crystallites. Whereas the hardness of the annealed samples increases linearly with increasing crystallinity, the elastic modulus and the viscosity both increase abruptly when the crystalline volume fraction is about 40 vol.%, with a only minor variation on either side of this range. The sudden rises in the modulus and viscosity are similar to those in the literature data on the fracture strength of partially crystallized bulk amorphous alloys that shows a steep drop in strength at 30-50 vol.% crystallinity. On the basis of the microscopic observations, it is suggested that the interaction and formation of rigid networks of crystalline phases upon the attainment of a critical second-phase volume fraction may be the possible reason for the sudden change in mechanical properties. Percolation theory is utilized in further substantiating this hypothesis. (shrink)

In this paper I argue that Fan Ruiping’s explication of the Confucian notion of li 禮 is problematic in several ways. First, his division of human activities into “social” and “natural” is less than illuminating, as human “natural” activities are already inescapably social. Second, I question the appropriateness for him to characterize li in terms of “closed activities,” as some rituals are evidently open-ended. Third, he seems to have overemphasized the constitutive function of li and understated its regulative function. Fourth, (...) contrary to Fan’s claim, Confucian li accomplishes “external goals” in human life as well as “internal goals.” Finally, Fan’s requirement for being a Confucian with respect to the observance of li is unrealistically high and makes it difficult for people to qualify as Confucian. (shrink)

国家“十五”规划重点图书北京市“十五”规划重点图书北京市哲学社会科学“九五”规划重点项目北京市社会科学理论著作出版基金重点资助项目.