Most e-commerce platforms allow consumers to post product reviews, causing more and more consumers to get into the habit of reading reviews before they buy. These online reviews serve as an emotional feedback of consumers’ product experience and contain a lot of important information, but inevitably there are malicious or irrelevant reviews. It is especially important to discover and identify the real sentiment tendency in online reviews in a timely manner. Therefore, a deep learning-based real online consumer sentiment classification model (...) is proposed. First, the mapping relationship between online reviews of goods and sentiment features is established based on expert knowledge and using fuzzy mathematics, thus mapping the high-dimensional original text data into a continuous low-dimensional space. Secondly, after obtaining local contextual features using convolutional operations, the long-term dependencies between features are fully considered by a bidirectional long- and short-term memory network. Then, the degree of contribution of different words to the text is considered by introducing an attention mechanism, and a regular term constraint is introduced in the objective function. The experimental results show that the proposed convolutional attention–long and short-term memory network model has a higher test accuracy of 83.3% compared with other models, indicating that the model has better classification performance. (shrink)

Clinical studies as well as hundreds of case reports have indicated that Yan Xin Life Science Technology has enabled human participants to live a normal life with little or no food intake for prolonged periods—a state referred to as bigu. Bigu is described in historical records as “taking in qi to avoid food,” and is regarded as a special technique to achieve a long and healthy life. In this study, experiments were designed to study whether cells in vitro can survive (...) without commonly acknowledged essential nutrients after receiving external qi treatments from Dr. Yan Xin, a chief physician and a renowned life scientist. Results reported here indicate that mouse hybridoma cells can survive in Dulbeco’s modified Eagles medium without serum or in phosphate-buffered saline buffer without other nutrient ingredients after qi treatment. These results are the first evidence that a cellular equivalent of the human bigu phenomenon or cellular bigu phenomenon may occur. (shrink)

To solve the problem of user privacy disclosure caused by attacks on anonymous areas in spatial generalization privacy protection methods, a K and P Dirichlet Retrieval method based on k-anonymity mechanism is proposed. First, the Dirichlet graph model is introduced, the same kind of information points is analyzed by using the characteristics of Dirichlet graph, and the anonymous set of users is generated and sent to LBS server. Second, the relationship matrix is generated, and the proximity relationship between the user (...) position and the target information point is obtained by calculation. Then, the private information retrieval model is applied to ensure the privacy of users’ target information points. Finally, the experimental results show that the KPDR method not only satisfies the diversity of l 3 / 4, but also increases the anonymous space, reduces the communication overhead, ensures the anonymous success rate of users, and effectively prevents the disclosure of user privacy. (shrink)

Adherence to ethical principles in clinical research and practice is becoming topical issue in China, where the prevalence of mental illness is rising, but treatment facilities remain underdeveloped. This paper reports on a study aiming to understand the ethical knowledge and attitudes of Chinese mental health professionals in relation to the process of diagnosis and treatment, informed consent, and privacy protection in clinical trials.

Phosphatidylinositol 3 kinase (PI 3-kinase) is an important enzyme that is involved in the regulation of a variety of biological processes such as apoptosis, cell division, and ion channel activity and can play a role in the pathological development of a number of diseases, including AIDS and cancer. The authors’ data indicate that external qi of Yan Xin Life Science Technology (YXLST) can modulate enzyme activity in two directions. Within a time window of 3 days of the initial emission of (...) external qi of YXLST, PI 3-kinase activity was restored in an outdated enzyme sample that had lost activity, and PI 3-kinase activity was suppressed in a freshly purified sample relative to an untreated control sample so that its activity was nearly undetectable. The data presented are consistent with the hypothesis that external qi of YXLST can alter molecular events. The uniqueness of this and other observations mandates further study. (shrink)

Co-creativity focuses on how individuals produce innovative ideas together. As few studies have explored co-creativity using standardized tests, it is difficult to effectively assess the individual’s creativity performance within a group. Therefore, this study aims to develop a platform that allows two individuals to answer creativity tests simultaneously. This platform includes two divergent thinking tasks, the Straw Alternative Uses Test and Bottle Alternative Uses Test, and Chinese Radical Remote Associates Test A and B, which were used to evaluate their open-and (...) closed-ended creative problem-solving performance. This platform has two modes: single-player mode and paired-player mode. Responses from 497 adults were collected, based on which the fluency, flexibility, and originality of divergent thinking were measured. This study also developed a computer scoring technique that can automatically calculate the scores on these creativity tests. The results showed that divergent thinking scores from computer-based calculation and manual scoring were highly positively correlated, suggesting that the scores on a divergent thinking task can be calculated through a system that avoids time-consuming, uneconomical manual scoring. Overall, the two types of tests on this platform showed considerable internal consistency reliability and criterion-related validity. This advanced application facilitates the collection of empirical evidence about co-creativity. (shrink)

Metal roof enclosure system is an important part of steel structure construction. In recent years, it has been widely used in large-scale public or industrial buildings such as stadiums, airport terminals, and convention centers. Affected by bad weather, various types of accidents on metal roofs frequently occurred, causing huge property losses and adverse effects. Because of wide span, long service life and hidden fault of metal roof, the manual inspection of metal roof has low efficiency, poor real-time performance, and it (...) is difficult to find hidden faults. On the basis of summarizing the working principle of metal roof and cause of accidents, this paper classifies the fault types of metal roofs in detail and establishes a metal roof monitoring and fault diagnosis system using distributed multisource heterogeneous sensors and Zigbee wireless sensor networks. Monitoring data from strain gauge, laser ranging sensor, and ultrasonic ranging sensor is utilized comprehensively. By extracting time domain feature, the data trend characteristics and correlation characteristics are analyzed and fused to eliminate erroneous data and find superficial faults such as sensor drift and network interruption. Aiming to the hidden faults including plastic deformation and bolt looseness, an SVM fault diagnosis algorithm based on RBF kernel function is designed and applied to diagnose metal roof faults. The experimental results show that the RBF-SVM algorithm can achieve high classification accuracy. (shrink)

BackgroundAt present, adherence to antipsychotic treatment is often poor, leading to the recurrence of symptoms. This increases the likelihood of the patient experiencing disability and thus increases the disease burden for the patient, their family, and society as a whole. However, to date, there is no clear evidence regarding the effect of medication adherence interventions on outcomes for patients with schizophrenia. Moreover, the traditional intervention methods are limited by manpower and resources in low- and middle-income countries. Recent studies have demonstrated (...) that increasing a patient’s level of self-compassion may improve their treatment adherence. Online mental health care interventions have advantages in terms of feasibility and acceptability for patients with schizophrenia. In this regard, a WeChat-based self-compassion training protocol to improve patient treatment adherence was designed in this study and will be evaluated in the future to determine its impact on patients with schizophrenia.MethodsThe protocol for the randomized controlled trial is based on the SPIRIT 2013 statement. This parallel RCT will aim to recruit 392 patients with schizophrenia who will be randomized at a 1:1 ratio into a 3-week intervention or control group. Both groups will receive routine care. The intervention group will also receive WeChat-based self-compassion training, which requires participants to complete three tasks every day, including a reading task, a meditation task, and a self-compassion journal task. The control group will receive WeChat-based psychological health education, which will only require participants to read positive articles about psychological health every day. Medication adherence, self-compassion, stigma, and social support will be measured at baseline, immediately after the intervention, and 3 weeks after the intervention. Program feasibility will be evaluated throughout the course of the study, and acceptability will be measured immediately after the intervention.Expected results:The intervention described here will address the barriers to accessing mental health care for people with schizophrenia, including patients’ desire for independent management, difficulty accessing providers, and concerns about privacy and stigma. The current study provides guidance for clinical nurses to carry out psychological intervention, with the ultimate aim of addressing the problems associated with a shortage of psychological professionals in low- and middle-income countries. (shrink)

GraphicalPatients with early- to middle-stage PD were enrolled for C-Gait assessment and traditional walking ability assessments. The correlation of C-Gait assessment and traditional walking tests were studied. Two models were established based on C-Gait assessment and traditional walking tests to explore the value of C-Gait assessment in predicting freezing of gait.ObjectiveEfficient methods for assessing walking adaptability in individuals with Parkinson’s disease are urgently needed. Therefore, this study aimed to assess C-Gait for detecting freezing of gait in patients with early- to (...) middle-stage PD.MethodPeople with PD diagnosis were recruited from April 2019 to November 2019 in Beijing Rehabilitation Hospital. The participants performed six items of walking adaptability on an instrumented treadmill augmented with visual targets and obstacles. The patient’s walking adaptability was evaluated by C-Gait assessment and traditional walking tests, and FOG-related indexes were collected as outcome measures. Two discriminant models were established by stepwise discriminant analysis; area under the receiver operating characteristic curve was used to validate the models.ResultIn total, 53 patients were included in this study. Most C-Gait assessment items had no or low correlations with traditional walking tests. The obstacle avoidance and speed of adaptation items could lead to FOG with high sensitivity. In addition, the C-Gait assessment model had slightly better discrimination of freezers from non-freezers compared with traditional walking test models ; specifically, obstacle avoidance and speed of adaptation have uniquely discriminant potential.ConclusionC-gait assessment could provide additional value to the traditional walking tests for PD. Gait adaptability assessment, as measured by C-Gait, may be able to help identify freezers in a PD population. (shrink)

Li Zhen priest has repeatedly tried to clarify there are two basic problems of philosophy, there is one problem with the nothingness, there is one root of the problem. For the first problem, he believes there is the meaning of life is based on earnings instead of the full emptiness. For the second question, he thinks there is a God of the root. Li Zhen priest in one deeply experienced man's limited nature, on the other hand they found (...) that the driving force towards infinity. Although the constitution were limited, however, its intention to infinity. The meaning of human life are the cornerstone upon which to build, is built up from within, however, can not be limited to their own self-sealing inner nature, on the contrary, the primordial human tendency is inherent and can go beyond that, that is limited and can be infinite . Li Zhen is that there exists a final basis the full surplus. This will be for the Christian religion in the "no" to explore the concept of active surface, as well as Buddhist talks about "empty" comparisons, as Li Zhen of the basic study with and without supplement. "Beyond" and "there" are supported by ethics, the ethics of generosity and love. Go beyond him in person, he is certainly not only those, but also those who are not asking for anything good for his efforts. Li Zhen advocate and practice is an ethics of love and generosity. (shrink)

Ben shu shen ru tao lun lun li zai qi ye jing ying yu jing ji fa zhan zhong zhi gong neng.

Previous studies have shown that the motion intention recognition for lower limb prosthesis mainly focused on the identification of performed gait. However, the bionic prosthesis needs to know the next movement at the beginning of a new gait, especially in complex operation environments. In this paper, an upcoming locomotion prediction scheme via multilevel classifier fusion was proposed for the complex operation. At first, two motion states, including steady state and transient state, were defined. Steady-state recognition was backtracking of a completed (...) gait, which would be used as prior knowledge of motion prediction. In steady-state recognition, surface electromyographic and inertial sensors were fused to improve recognition accuracy; five typical locomotion modes were recognized by random forest classifier with over 97.8% accuracy. The transient state was defined as an observation period at the initial stage of upcoming movement, in which only the sEMG signal was recorded due to the limitation of sliding window length. LightGBM classifier was validated to outperform other methods in the accuracy and prediction time of transient-state recognition. Finally, a simplified HMM model based on prior knowledge and observation result was constructed to predict upcoming locomotion. The results indicated that the locomotion prediction was over 91% accuracy. The proposed scheme implements the locomotion prediction at the initial stage of each gait and provides critical information for the gait control of lower limb prosthesis. (shrink)

AimOur study aimed to investigate the effect of social responsibility on the subjective well-being of volunteers for COVID-19 and to examine the mediating role of job involvement in this relationship.BackgroundNowadays, more and more people join volunteer service activities. As we all know, volunteer work contributes to society without any return. Volunteers often have a strong sense of social responsibility and reap subjective well-being in their dedication. Although research shows that social responsibility will drive them to participate in volunteer work actively, (...) it is less clear whether job involvement will impact their subjective well-being.MethodsThe data were collected in the precaution zone in Shanghai, China, from April to May 2022. A sample of 302 volunteers for COVID-19 completed the social responsibility scale, subjective well-being scale and job involvement scale in the form of an electronic questionnaire on their mobile phones. A structural equation model was adopted to verify the research hypotheses.ResultsSocial responsibility was significantly and positively related to volunteers’ subjective well-being and job involvement. Job involvement fully mediates the relationship between volunteers’ social responsibility and subjective well-being.ConclusionSocial responsibility is critical to predicting volunteers’ subjective well-being. Job involvement plays an intervening mechanism in explaining how social responsibility promotes volunteers’ subjective well-being. (shrink)

Sleep quality, personality, and cognitive load potentially increase second language writing (SLW) anxiety and subsequently affect SLW achievement. This study investigates the predictions of sleep quality, personality (social inhibition/ negative affectivity), and cognitive load (content/ computer) toward SLW anxiety and achievement in a computer-based test. Participants included 172 voluntary undergraduates majoring in English as foreign language. SLW anxiety in a computer-based test, sleep disturbance, personality and cognitive load was assessed with the SLW Anxiety Inventory, Pittsburg Sleep Quality Index, Type-D Personality, (...) and cognitive load questionnaires. A structural equation modeling approach was applied to examine the interdependence among the observed variables. An adequate-fit SLW anxiety model was built (X2 = 6.37,df = 6,p = 0.383,NFI = 0.97,CFI = 1.00,RMSEA = 0.02; R-squared multiple correlations: SLW anxiety in a computer-based test = 0.19, computer-based SLW achievement = 0.07). The structural model showed that sleep disturbance (+0.17), social inhibition personality (+0.31), and computer-induced cognitive load (+0.16) were significant predictors of SLW anxiety in a computer-based test. Subsequently, SLW anxiety in a computer-based test (−0.16) and computer-induced cognitive load (−0.16) were significant negative predictors of computer-based SLW achievement. (shrink)

一部從玄學美學角度對中國審美範式進行深入系統研究的文藝美學專著。為了有別于以西方美學為主要參照系的審美形態論，作者在書中提出了“審美範式”。 概念，這是作者的獨創。作者將中國審美範式分為“中和”“氣韻”“意象”和“意境”四種，並分析了這四種審美範式的精神特質、內在理路、表現特征以及美學價值，以求建構中國審美範式的理論框架。.

This paper from the dilemma of the modern super-g to re-read and judge the angle of the Chinese New Scholasticism. Western modern legislation based on human subjectivity, emphasizing human reason, and who constructed the appearance of culture. In which, with the appearance of the main building through rational, manipulation of power, domination of others and otherness, creating a solid all embarrassed, defects clusters. Neo-Confucian emphasis on human subjectivity and for the reconstruction of Chinese philosophy and laid a priori basis for (...) China's modernization, but ignoring the dimension of otherness, especially those who ignore the people he's the ultimate open. Contemporary Neo-Confucian philosophy as a subject, "benevolence" as the self-love and not to speak of ethics and practice, not easy to overcome the dilemma of modernity. By comparison, Catholic scholars of contemporary China, especially Chinese New Scholastic Philosophy, in the process of integration of Chinese culture, emphasizes the human spirit to live straight, but still trying to maintain the relationship of ultimate otherness. Although they used the interpretation of the Christian faith, not necessarily the history of Chinese philosophy, the image, but their efforts to point out that Chinese culture and Chinese philosophy about human nature has not of intrinsic dimension beyond, and to promote and practice of true humility has , Love and Love of ethics, is indeed precious. Philosophy they create, from the ontology, cosmology, human nature, ethics, training Jilun point of view, the plight of modern super-g. Due to space limitations, this article cite Yu Bin , Lo Kuang , Li Zhen three to illustrate their ideas into practice and how can the life of the plight of the modern super-g. This paper re-reads and re-assesses the development of 'Chinese Neo-Scholasticism in terms of its potential to overcome the malaise of modernity, which has been caused by the self-enclosure of human subjectivity, the culture of representations, impoverishment of human reason, and the tendency towards domination by the will to power that characterize Modernity. Different from it, Modern New Confucianism keeps itself to the self-enclosed human subjectivity, without the love for many others, with their strong discourse and weak praxis, and therefore still belongs to modernity and is unable to overcome its malaise. In comparison, Chinese Neo-Scholasticism, in its attempt of synthesis with Chinese philosophy, is open to God, to all things in the universe, to other people, and to love them in their life praxis, it does not allow the self-enclosure of human nature. Even it what they interpret is not necessarily the historical image of Chinese philosophy, their effort in keeping irreducible human nature's openness to God arid many others is very significant today. The philosophical system they build, containing diverse dimensions such as ontology, cosmology, theory of human nature, ethics, theory of self-cultivation, philosophy of culture and philosophy of education ... etc., and their actualization of 'their ideas in their life praxis, indeed offer a way of life and thinking that is capable of 'overcoming the malaise of modernity. This paper will take Cardinal Yu Bin, Archbishop Lo Kuang and Mgr. Gabriel Li, and their theories and life praxis as examples of analysis. (shrink)

Ben shu jie shao le gong zi zhen, wei yuan, yan fu, kang you wei, tan si tong, liang qi chao, chen tian hua, zhang bing lin deng wan qing si xiang jia de zhe xue si xiang.

Fan Zhen’s 范縝 “Shen Mie Lun 神滅論” can be read as a debate between a physicalist and a dualist in the philosophy of mind. This debate, known as the “mind-body problem” in the Western tradition, has a long history beginning with the ancient Greeks, and is still rife to this very day. Many of the arguments found in the “Shen Mie Lun” correspond to arguments found in the history of Western thought, including those of Aristotle, Descartes, Leibniz, (...) Frege, and Ryle. My aims in this essay are threefold: (1) offer a philosophical translation and explication of the key arguments in the “Shen Mie Lun,” (2) compare them with the corresponding arguments of some relevant Western philosophers, and (3) clarify Fan Zhen’s position on the mind-body problem through comparing the conceptual distinctions employed by him with those employed by his Western counterparts. (shrink)

F an Zhen’s 范縝 “Shen Mie Lun 神滅論” can be read as a debate between a physicalist and a dualist in the philosophy of mind. This debate, known as the “mind-body problem” in the Western tradition, has a long history beginning with the ancient Greeks, and is still rife to this very day. Many of the arguments found in the “Shen Mie Lun” correspond to arguments found in the history of Western thought, including those of Aristotle, Descartes, (...) Leibniz, Frege, and Ryle. My aims in this essay are threefold: (1) offer a philosophical translation and explication of the key arguments in the “Shen Mie Lun,” (2) compare them with the corresponding arguments of some relevant Western philosophers, and (3) clarify F an Zhen’s position on the mind-body problem through comparing the conceptual distinctions employed by him with those employed by his Western counterparts. (shrink)

Yi jing dian jie du he guan nian quan shi wei ji nen jin lu de si xiang shi yan jiu, yu wei rao xin yang yu she hui shen g huo de hu dong zhan kai de she hui shi yan jiu ke yi bei shi zuo zong jiao li shi yan jiu de liang ge zhi dian. Xin yang cong dai dou shi yi ti liang mian de: shi zhong guan qie chao yue de zhi qu bi (...) ran shi de xin yang yi mou zhong si xiang huo guan nian de fang shi fou ding huo shu li ri chang sheng huo he shi su shi jie, que li du te de yu zhou zhi xu yu xin yang jia zhi; yu zhi xiang dui, xin yang shi jian de zhan kai you shi yu ri chang sheng huo xu yu bu li de, cong xian shi de yi yi shang shuo, yi zhong chun cui qie tuo li le shi su sheng huo de xin yang shi nan yi xiang xiang de. Jiu dao jiao er yan, xiu zhen deng xian de xuan si yu rang zai qi fu de shi jian shi bu ke fen ge de, ke yi jie lu de gui zhi yu du die zhang ji de lu fa ye shi bing xing bu bei de. Ru guo yao chang shi li jie mou yi ge li shi shi qi zhong de dao jiao xin yang, jiu xu yao jie he qi shi de jing dian wen xian yu she hui sheng huo. Jian ci, ben shu yi Tang Song shi qi de dao jiao xin yang wei zhu ti, fen bie cong Sui Tang shi qi de dao jiao xin yang si xiang yu Tang Song shi qi de lu fa ji xin yang guan lian liang ge shi jiao zhan kai zhuan ti yan jiu, zhan shi shang shu yi ti liang mian de xin yang shi kuang jia. (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)