This paper shows how propositional dynamic logic can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles belief change as (...) relation substitution, and we show that the update part of this logic is more expressive than either that of LCC or that of doxastic/epistemic PDL with a belief change modality. It is shown that the properties of knowledge and belief are preserved under any update, and that the logic is complete. © 2008 Springer-Verlag Berlin Heidelberg. (shrink)

• We study a new composition operation on (epistemic) multiagent models and update actions that takes vocabulary extensions into account.

We look at lying as an act of communication, where (i) the proposition that is communicated is not true, (ii) the utterer of the lie knows that what she communicates is not true, and (iii) the utterer of the lie intends the lie to be taken as truth. Rather than dwell on the moral issues, we provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects (...) of lying in public discourse. Next, we turn to the study of lying in games. First, a game-theoretical analysis is used to explain how the possibility of lying makes such games interesting, and how lying is put to use in optimal strategies for playing the game. Finally, we give a matching logical analysis. Our running example of lying in games in liar’s dice. (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)

BackgroundWith the popularity of computers, the internet, and the global spread of COVID-19, more and more attention deficit hyperactivity disorder patients need timely interventions through the internet. At present, there are many online intervention schemes may help these patients. It is necessary to integrate data to analyze their effectiveness.ObjectivesOur purpose is to integrate the ADHD online interventions trials, study its treatment effect and analyze its feasibility, and provide reference information for doctors in other institutions to formulate better treatment plans.MethodsWe searched (...) PubMed, EMBASE and Cochrane libraries. We didn't limit the start date and end date of search results. Our last search was on December 1, 2021. The keyword is ADHD online therapy. We used the Cochrane bias risk tool to assess the quality of included studies, used the standardized mean difference as an effect scale indicator to measure data. Random effects model, subgroup analysis were used to analyze the data.ResultsSix randomized controlled trials were identified, including 261 patients with ADHD. These studies showed that online interventions was more effective than waiting list in improving attention deficit and social function of adults and children with ADHD. The attention deficit scores of subjects were calculated in six studies. The sample size of the test group was 123, the sample size of the control group was 133, and the combined SMD was −0.73. The social function scores of subjects were calculated in six studies. The sample size of the experimental group was 123 and the control group was 133. The combined SMD was −0.59.ConclusionsThe results show that online interventions of ADHD may be an effective intervention. In the future, we need more online intervention researches to improve the symptoms of different patients, especially for some patients who have difficulties in accepting face-to-face treatment. (shrink)

In this paper1, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS..

Epistemic protocols are communication protocols aiming at transfer of knowledge in a controlled way. Typically, the preconditions or goals for protocol actions depend on the knowledge of agents, often in nested form. Informal epistemic protocol descriptions for muddy children, coordinated attack, dining cryptographers, Russian cards, secret key exchange are well known. The contribution of this paper is a formal study of a natural requirement on epistemic protocols, that the contents of the protocol can be assumed to be common knowledge. By (...) formalizing this requirement we can prove that there can be no unbiased deterministic protocol for the Russian cards problem. For purposes of our formal analysis we introduce an epistemic protocol language, and we show that its model checking problem is decidable. (shrink)

本书是浙江大学王元骧教授七十寿庆暨浙江大学文艺学研究所成立五周年纪念文集。全书分为王元骧先生的文艺学道路、文艺学思想的自由探索、文艺学思想的现代性解释三辑。.

Quan shu fen "Zengzi shi pian", "Zengzi quan shu", "Zengzi bu yi" he fu lu si bu fen. qi zhong, "Zengzi shi pian" wei Han dai Dai De suo ji, shou lu yu "Da dai li ji" ; "Zengzi quan shu" wei nan Song Wang Zhuoji lu, shou wen fen wei nei pian he wai pian, nei pian shou wen liang pian,wai pian shou wen shi pian, gong shou wen shi er pian; "Zengzi bu (...) yi" ze wei zheng li zhe xin ji, cai liao lai yuan zhu yao shi li dai jing, shi, zi xiang guan wen xian; fu lu bu fen zhu yao shou lu xiang guan xu ba, kao zheng deng, gong fen liu pian. (shrink)

本书主要内容包括:中国刑事证据制度的改革、论刑事法庭审判中证据的判断与运用、关于《人民法院统一证据规定》调研报告、证明负担动态论研究、中国证据立法的理想与现实等.

作者运用心理科学的理论原则,从党政领导实施,组织人事工作,思想教育工作等各方面,分析研究了党政工作中的心理学问题.

Ben shu nei rong bao kuo: ren lei wei he ru ci duo shi; dong fang gu dian de Afanda Wutuobang; sheng ren jiu jing wei shui xiao lao; zhi li de xian du yu xu wei you guo lun; deng gao si wang, man mu zhu ji hai shi man mu la ji; nan yi yong yu yan wen zi biao da yu chuan shou de da dao deng.

Xue xi he yan jiu Zhongguo zhe xue, yi ban lai shuo, Feng xian sheng shi ke chao er bu ke yue de. Yi si shi, hou ren wan quan ke neng er qie ye ying dang sheng guo Feng xian sheng, dan shi que bu neng rao guo Feng xian sheng. Rao guo Feng xian sheng, bu dan bi ran yao duo fei li qi, er qie rong yi zou wan lu er nan yu shen ru tang ao. Feng (...) Youlan zuo wei wo guo jin dai zhe xue de yi dai ju bo, zai mou zhong yi yi shang, ying xiang liao zheng ge jin dai Zhongguo zhe xue de ge ju. Er dui yu Feng Youlan zhe xue ji qi xue shu sheng ya de yan jiu, ye sui zhe dang dai guo xue yan jiu de xing qi, shou dao yue lai yue duo de guan zhu. Minguo shi qi de Zhongguo xue shu jie, ying gai shuo shi hui ju le yi da pi kua shi dai de xue shu jing ying, te bie shi zai chuan tong xue shu ling yu, kan cheng yi chang si xiang de sheng yan.ben shu zuo zhe zai hao ru yan hai de Minguo wen xian zhong, jing xin zheng li chu dang shi xue jie dui Feng Youlan zhe xue de hui ying he dui hua, qi zhong bao kuo zhu ru Chen Yinke, Jin Yuelin, Hu Shi, Zhang Dainian, Cai Shangsi deng yi da pi xue jie tai dou de wen zhang, zi liao xing fei chang qiang, bu jin fan ying le zhu wei xue zhe ge ren de du dao jian jie, geng cong yi ge ce mian fan ying le Minguo shi qi Feng Youlan zhe xue yan jiu de sheng kuang, dui dang xia yan jiu Feng Youlan zhe xue si xiang ju you zhong yao de can kao jia zhi. (shrink)

It is a hallmark of a good model to make accurate a priori predictions to new conditions (Busemeyer & Wang, 2000). This study compared 8 decision learning models with respect to their generalizability. Participants performed 2 tasks (the Iowa Gambling Task and the Soochow Gambling Task), and each model made a priori predictions by estimating the parameters for each participant from 1 task and using those same parameters to predict on the other task. Three methods were used to evaluate (...) the models at the individual level of analysis. The first method used a post hoc fit criterion, the second method used a generalization criterion for short‐term predictions, and the third method again used a generalization criterion for long‐term predictions. The results suggest that the models with the prospect utility function can make generalizable predictions to new conditions, and different learning models are needed for making short‐versus long‐term predictions on simple gambling tasks. (shrink)

Ben shu dui Luling Wang xue de yan jiu, zhu yao cong yi xia liang fang mian zhan kai: shou xian, zhong dian jie shao le ti chu Luling Wang xue de li lun yi ju he Luling Wang xue fa zhan de ge ge jie duan de jie ding, te dian ji qi zhu yao de dai biao ren wu. Qi ci, ju ti lun shu le Luling Wang xue fa zhan de ge ge (...) jie duan de zui zhu yao dai biao ren wu de zhi xue li lu, xin xue si xiang, jing xue te dian. Tong guo dui Luling Wang xue zong ti shang de yan jiu, gai kuo he zheng li yi ji dui ge ge fa zhan jie duan zhu yao de dai biao ren wu Wang xue si xiang de bu tong shi jiao de tan tao chan fa, cong zong ti shang rang shi ren jiao wei xi tong de liao jie Luling Wang xue de gai mao ji qi cao chuang, fa zhan, ding sheng ji shi wei de li shi guo cheng he zhong yao dai biao ren wu de Wang xue si xiang. Tong shi, zai qian mian yan jiu de ji chu shang, dui Luling Wang xue zai Jiang you Wang xue nai zhi Yangming hou xue fa zhan guo cheng zhong de zhong yao di wei yi ji dui zhong wan Ming ru xue si xiang fa zhan de ying xiang zuo le zong jie. (shrink)

Ben shu shou lu le zi 1500 nian yi lai, Zhongguo, Riben, Hanguo he Ou Mei di qu gong kai chu ban, fa biao de Yangming xue ji qi xiang guan xue shuo de wen xian mu lu, gong ji 5 wan yu tiao. Quan shu fen wei 10 juan. Qi zhong, di yi, er juan shou lu Zhong,Ri, Han san guo ji Ou Mei di qu yan jiu Yangming xue de zhong yao wen xian, bing an zhao (...) yu yan lei xing, fen wei Zhong wen wen xian, Ri wen wen xian, Han wen wen xian he Ying wen wen xian si ge bu fen; Di san zhi shi juan shou lu Zhongguo yan jiu Yangming xue de xiang guan wen xian, bing an nian du he xue ke fen lei cheng juan. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Chinese Gleams of Sufī Light: Wang Tai-yü's Great Learning of the Pure and Real and Liu Chih's Displaying the Concealment of the Real Realm, with a New Translation of Jāmī's Lawā'iḥ from the Persian by William C. ChittickE. N. AndersonChinese Gleams of Sufī Light: Wang Tai-yü's Great Learning of the Pure and Real and Liu Chih's Displaying the Concealment of the Real Realm, with a New (...) Translation of Jāmī's Lawā'iḥ from the Persian by William C. Chittick. By Sachiko Murata, with a foreword by Tu Weiming. Albany: State University of New York Press, 2000. Pp. xiv + 264.Contacts between China and the Near East are at least as old as civilization but have been relatively little studied. This has led to a lack of attention to Chinese Islam. Yet, Islam has been a profoundly influential force in China for centuries. In Chinese Gleams of Sufī Light, Sachiko Murata has stepped forward to bring a wider awareness to the interactions between Chinese Islam and native Chinese philosophic traditions. (Murata is also the author of The Tao of Islam [1992] and, with Islamicist William Chittick, The Vision of Islam [1994]). [End Page 257]The present book adds greatly to our understanding. It includes a translation of The Great Learning of the Pure and Real, by Wang Tai-yü (ca. 1590-ca. 1658) and facing-page versions of William Chittick's English translation of the fifteenth-century Gleams (Lawā'iḥ) by 'Abd al-Rahman Jāmī and Murata's English translation of Liu Chih's (ca. 1662-ca. 1730) Chinese version of the same work. (Here, incidentally, I follow the book in using the Wade-Giles system.) One can see, comparing the translations, howLiu recast Jāmī's work in Chinese philosophic language, paraphrased some difficult passages, summarized others, and added his own commentaries.Interestingly, Liu eliminated Jāmī's Persian poetry. Murata thinks this is because Liu wanted to focus on the hard ideas; I suspect that it was because Liu realized that Persian prosody and imagery were too far from Chinese poetry to please his audience.Both Wang and Liu belonged to what must have been a rather loose but some-how connected circle of Chinese Islamic scholars. Both, also, almost necessarily used language fairly widespread in Chinese philosophy. Terms such as "emptiness" and "transformation" had many Chinese resonances, some most un-Islamic (Neo Confucian and Buddhist, for instance).Neither Chittick nor Murata give any glosses for key philosophical terms in either source language. Their philosophical and religious provenance, Chinese or Muslim, is correspondingly unclear.What is clear is that Neo-Confucianism had a strong influence on these scholars. Haqiqa "reality" is often translated as li "principle." Pen-jan "root nature" is used for the Arabic compound "essence and attributes." These examples are discussed in the introduction (p. 19). "Annihilation" becomes "conquering" (pp. 148-149). This is strange, because "Annihilation" (fana') is a technical term in Sufism for the disappearance of the self in God; it is an Arabic term, and literally means something like. "passing away." It signifies the forgetting or loss of self, such that only contemplation of the Divine remains. It is as close to the Divine as humans can get since, in Islam, humans cannot be absorbed into Allah (as, in Buddhism, they can be absorbed into Nirvāṇa or the Buddha-nature). "Conquering" seems a rather strange way to express this in Chinese. Perhaps Chinese Muslim readers of the time had developed this specialized sense for it.There are, of course, debatable translations here to contend with (both from Persian and Arabic to Chinese and from Persian and Chinese into English), but it appears that real incommensurability is involved. It was very difficult to use the language of Chinese philosophy in the seventeenth century, influenced as it was by centuries of Neo-Confucian thought, to talk about a radically different religion characterized by an infinitely powerful and wise God, aware of all futures, close to the believer and yet cut off.The inevitable result is to wedge the Arabic and Persian philosophy, so heavily informed by Neoplatonic essentialism and other... (shrink)

Ben shu shou ci dui ming mo qing chu zui fu sheng ming de hui zu san da han wen yi zhu jia--Wang Daiyu, Ma Zhu, Liu Zhi de zheng zhi lun li si xiang, jing ji lun li si xiang, hun yin jia ting lun li si xiang, ren xing shan e guan, dao de xiu yang guan jin xing le quan fang wei, duo jiao du de shu li, gou chen he kao cha.

Does the real world, defined as a world of objects that exist independent of human interests, concerns, and cognitive activities, really exist? Jan Westerhoff argues that we have good reason to believe it does not. His discussion considers four main facets of the idea of the real world, ranging from the existence of a separate external and internal world, to the existence of an ontological foundation that grounds the existence of all the entities in the world, and the existence of (...) an ultimately true theory that provides a final account of all there is. As Westerhoff discusses the reasons for rejecting the postulation of an external world behind our representations, he asserts that the internal world is not as epistemically transparent as is usually assumed, and that there are good reasons for adopting an anti-foundational account of ontological dependence. Drawing on conclusions from the ancient Indian philosophical system of Madhyamaka Buddhism, Westerhoff defends his stance in a purely Western philosophical framework, and affirms that ontology, and philosophy more generally, need not be conceived as providing an ultimately true theory of the world. (shrink)

The concept of a socially extended mind suggests that our cognitive processes are extended not simply by the various tools and technologies we use, but by other minds in our intersubjective interactions and, more systematically, by institutions that, like tools and technologies, enable and sometimes constitute our cognitive processes. In this article we explore the potential of this concept to facilitate the development of a critical neuroscience. We explicate the concept of cognitive institution and suggest that science itself is a (...) good example. Science, through various practices and rules, shapes our cognitive activity so as to constitute a certain type of knowledge, packaged with relevant skills and techniques. To develop this example, we focus on neuroscience, its cultural impact, and the various institutional entanglements that complicate its influence on reframing conceptions of self and subjectivity, and on defining what questions count as important and what kind of answers will be valued. (shrink)