The coronavirus disease 2019 continues to spread globally. This infectious disease affects people not only physically but also psychologically. Therefore, an effective psychological intervention program needs to be developed to improve the psychological condition of patients screened for fever during this period. This study aimed to investigate the effect of a brief mindfulness intervention on patients with suspected fever in a screening isolation ward awaiting results of the COVID-19 test. The Faces Scale and the Emotional Thermometer Tool were used to (...) investigate 51 patients who were randomly divided into an intervention group and a control group. All patients completed self-rating questionnaires online at the time they entered the isolation ward and before they were informed of the results. The intervention group listened to the mindfulness audios through hospital broadcasts in the isolation ward before their lunch break and while they slept. Compared with the control group, the intervention group’s life satisfaction score increased and the emotional thermometer score decreased. The anxiety scores and the needing help scores decreased significantly. Distress, depression, and anger also decreased, but did not reach significance. Brief mindfulness interventions can alleviate negative emotions and improve the life satisfaction of patients in the isolation ward who were screened for COVID-19 during the waiting period. (shrink)

ObjectiveThe large-scale epidemic of Coronavirus Disease 2019 has triggered unprecedented physical and psychological stress on health professionals. This study aimed to investigate the prevalence and risk factors of burnout syndrome, and the relationship between burnout and depressive symptoms among frontline medical staff during the COVID-19 epidemic in China.MethodsA total of 606 frontline medical staff were recruited from 133 cities in China using a cross-sectional survey. The Maslach Burnout Inventory was used to assess the level of burnout. Depressive symptoms were assessed (...) by the Patient Health Questionnaire Depression.ResultsDuring the COVID-19 pandemic, 36.5% of the medical staff experienced burnout. Personal and work-related factors were independently associated with burnout, including age, family income, having physical diseases, daily working hours, and profession of nurse. The correlation coefficients between the scores of each burnout subscale and the scores of depressive symptoms were 0.57 for emotional exhaustion, 0.37 for cynicism, and −0.41 for professional efficacy.ConclusionsOur findings suggest that the prevalence rate of burnout is extremely high among medical staff during the COVID-19 pandemic, which is associated with other psychological disorders, such as depression. Psychological intervention for medical staff is urgently needed. Young and less experienced medical staff, especially nurses, should receive more attention when providing psychological assistance. (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)

This book is devoted to a thorough analysis of the role that models play in the practise of physical theory. The authors, a mathematical physicist and a philosopher of science, appeal to the logicians’ notion of model theory as well as to the concepts of physicists.

A central tenet of cognitive linguistics is that adults’ knowledge of language consists of a structured inventory of constructions, including various two-argument constructions such as the active, the passive and “fronting” constructions. But how do speakers choose which construction to use for a particular utterance, given constraints such as discourse/information structure and the semantic fit between verb and construction? The goal of the present study was to build a computational model of this phenomenon for two-argument constructions in Mandarin. First, we (...) conducted a grammaticality judgment study with 60 native speakers which demonstrated that, across 57 verbs, semantic affectedness – as determined by further 16 native speakers – predicted each verb’s relative acceptability in the bei-passive and ba-active constructions, but not the Notional Passive and SVO Active constructions. Second, in order to simulate acquisition of these competing constraints, we built a computational model that learns to map from corpus-derived input to an output representation corresponding to these four constructions. The model was able to predict judgments of the relative acceptability of the test verbs in the ba-active and bei-passive constructions obtained in Study 1, with model-human correlations in the region of r = 0.5 and r = 0.3, respectively. Surprisingly, these correlations increased when lexical verb identity was removed; perhaps because this information leads to over-fitting of the training set. These findings suggest the intriguing possibility that acquiring constructions involves forgetting as a mechanism for abstracting across certain fine-grained lexical details and idiosyncrasies. (shrink)

Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the context of normative (...) conflicts. (shrink)

「玻璃帷幕•懵懂篇Ⅲ」，承接「玻璃帷幕‧懵懂篇 Ⅱ」，幼嵐身受重傷，卻因為葉文芸一句話，令她憤而上臺演出。拿命與葉文芸賭氣的方幼嵐，是否會因此葬送演戲生涯？ 慕容麗華勸梅玉晴選擇愛情歸屬，她究竟會選擇葉文芸？還是柳季剛？ 柳季剛帶女人回家，被葉文芸抓姦在床，卻是經紀人繆于綸大發脾氣。到底發生了什麼事？ 愛戲成痴，卻對人沒有感情的葉文芸，屢屢被人侵犯底線，造成她為此昏迷不醒？一位巨星是否會因此殞落？ 戲劇節的賭局揭曉了。最後的結論究竟是什麼？ 零度劇團的下齣戲，導演是誰？演員又是哪些？劇碼為何？ 何雨煙成了零度劇團子團的團長，接下來，要面對的是什麼？ 明爭暗鬥的舞臺背後，隱藏了多少精彩可期的事情，敬請期待！.

本书共十一章,内容包括西方法律文化总述,西方法学文化,西方司法文化,西方法院文化,西方律师文化,中国法律文化总述,中国法学文化等.

The paper first raises the problem concerning the confirmation of idealized theories in science and its relationship to scientific realism. Then a solution by Laymon is discussed. It is then argued that two different types of idealization need to be distinguished and that only one of them produces false theories. But then, such “theories” are really theory-maps, which point to theories at the end of improvements. Finally, Laymon’s account is modified in accordance with the above insight.

內容簡介 經世需要安身，安身常為了經世。經世與安身，如車之兩輪，鳥之雙翼，相輔相成。但是，安身究竟如何經世？經世又怎麼反映安身的狀況？本書的論文，即是希望藉由具體史例，來分析這個重要問題。 劉芝慶，生長於花蓮玉里。關注領域為中國學術思想史，其中又以宋明理學以及先秦諸子、明清近代學術思想史用功最多，發表論文也多分布在這些部分。最感興趣的兩大核心主題，一是古人如何安身立命的問題，二是「達則兼 善天下」（孟子語）如何可能；前者為如何修身，後者為如何經世，兩者時而獨立，又時而交疊，而兩大主題也貫穿了至今的全部研究成果。.

本书是刘述先教授根据2005年担任第十八届钱宾四先生学术文化讲座的第三次讲演撰写而成. 全书以当代新儒家的观点清理儒学的三个时期的发展, 即先秦、宋明与当代.