support of the Natural Science Foundation of Shandong Province(No.ZR2020MF144);Postgraduate Research and Practice Innovation Program of Jiangsu Province(No.KYCX17_0288).
It plays a central role in intelligent agent systems to model agents’epistemic states and their changes.Asynchrony plays a key role in distributed systems,in which the messages transmitted may not be received instant...
The people can tolerate elitists’claims to be superior on three conditions,relating to distributive justice,open access,and transparent deliberation.Hierarchy is acceptable as long as the elite redistribute wealth an...
the National Natural Science Foundation of China(Nos.52375036,U2233212,52272409,62303030);Beijing Municipal Natural Science Foundation-Fengtai Rail Transit Frontier Research Joint Foundation,China(No.L221008);the fellowship of China Postdoctoral Science Foundation(No.2022M710305);the program of China Scholarship Council(Nos.202106020106,202306020133).
Importance measures can be used to identify the vulnerable components in an aviation system at the early design stage.However,due to lack of knowledge or less available information on the component or system,the epist...
supported by the National Natural Science Foundation of China(No.52107072);the Natural Science Foundation of Chongqing(No.CSTB2022NSCQ-MSX0811).
For conventional power systems,the forced outage of components is the major cause of load shedding.Unreliability tracing is utilized to allocate the total system load-shedding risk among individual components in accor...
As per conventional wisdom, scientists and the lay public differ in their epistemic abilities. Based on an analysis of a public debate on Pu'er tea, this paper emphasizes that there are differences between scientists ...
The adoption of a stakeholder approach to public engagement within the public sector has been extensive. However, there remain critical gaps in the understanding of stakeholder participation arising from hidden dispar...
The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300);National Natural Science Foundation of China(Grant No.61962001);Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...
supported by the National Natural Science Foundation of China under Grant No.61836005;the Australian Research Council under Grant Nos.DP220102059 and DP180100691。
In multiagent systems,agents usually do not have complete information of the whole system,which makes the analysis of such systems hard.The incompleteness of information is normally modelled by means of accessibility ...
Aims:The joint dynamics of knowledge(of patients,health professionals,decision-makers,researchers)and of the powers(of speech and action,asymmetries,and hierarchies established between individuals and their knowledge)...
In light of the postcolonial theory,this thesis attempts to analyze the marginal plight of the low class and women images in Tar Baby from the perspective of Gayatri C.Spivak’s epistemic violence.Under the influence ...