Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ?upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or ?regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version with preferences between (...) actions, as well as worlds. Some illustrations are presented involving defaults and obligations. We conclude that our dynamic framework is viable, while admitting a further extension to more numerical ?utility update'. (shrink)

In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...) also consider refinements and alternatives to the ‘threshold’ model, the most significant of which is to consider changes to plausibility judgements rather than mere beliefs. We show first that some such change is mandated by difficult problems with belief-based dynamics related to the need to decide on an order in which different beliefs are considered. Secondly, we show that the resulting plausibility-based account results in a deterministic dynamical system that is non-deterministic at the level of beliefs. (shrink)

Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference (...) change, including new information, suggestions, and commands. In sum, the book creates new bridges between many fields, from philosophy and computer science to economics, linguistics, and psychology. For the experienced scholar access to a large body of recent literature is provided and the novice gets a thorough introduction to the action and techniques of dynamic logic. (shrink)

This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leading also to a generalization for the Kanger‐Anderson reduction of deontic logic. Next, the priority framework is applied to model (...) two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two‐level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners. (shrink)

The present research attempts to understand the importance of altruistic and egoistic values in determining consumers’ motives and intention to purchase organic foods. Using the face-to-face survey approach, a total of 1,067 responses were collected from consumers in China. Data analysis was performed using a two-step structural equation modeling approach, i.e., measurement and structural models. The findings indicated that both values influence the intention to purchase organic foods through the mediation of motives. Specifically, the altruistic value influences the environmental concern, (...) and the egoistic value influences the health concern. Moreover, the perceived uncertainty negatively moderates a relationship between consumer HC and organic purchase intention while positively moderating a relationship between consumer EC and organic purchase intention. Several implications and suggestions are also discussed. (shrink)

With the development of industrialization and urbanization, cities have become the main carriers of economic activities. However, the long-term development of cities has also caused damage to resources and the environment. Hence, objective and scientific evaluation of urban low-carbon sustainable development capacity is very important. An index system of urban low-carbon sustainable development capability is constructed in this paper, and a TOPSIS-BP neural network model is established to evaluate the low-carbon sustainable development capability of Beijing, Shanghai, Shenzhen, and Guangzhou in (...) China. At the same time, the difference degree of low-carbon sustainable development level in these four cities is analyzed by standard deviation and coefficient of variation, and the influencing factors of urban low-carbon sustainable development ability are extracted by grey correlation analysis. The results show that the capability of low-carbon sustainable development in four cities is rising and the difference of low-carbon sustainable development capability is decreasing; the general view that the higher the general investment in low-carbon sustainable development, the higher the level of low-carbon sustainable development in cities has not been verified; with the change of time series, the factors affecting the capability of low-carbon sustainable development in the same city are different and the influence of the same factor on the capability of low-carbon sustainable development in different cities is different. (shrink)

In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed by Boolos (...) (in Harv Rev Philos 6:62–65, 1996). In particular, we formalize HLPE and verify a classic solution to it. Moreover, we propose a spectrum of new puzzles based on HLPE by considering subjective (knowledge-based) agent types and relaxing the implicit epistemic assumptions in the original puzzle. The new puzzles are harder than the previously proposed ones in the literature, in the sense that they require deeper epistemic reasoning. Surprisingly, we also show that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. Our formalism paves the way for studying these new puzzles using automatic model checking techniques. (shrink)

Efficient knowledge sharing is an important support for the continuous innovation and sustainable development of scientific research teams. However, in realistic management situations, the knowledge sharing of scientific research teams always appears to be unsustainable, and the reasons for this are the subject of considerable debate. In this study, an attempt was made to explore the interactive mechanism of knowledge hiding behaviors in scientific research teams between individual and collective knowledge hiding behaviors and its impact on knowledge sharing by adopting (...) grounded theory to comprehensively understand this situation. The results show that knowledge hiding behavior in the scientific research team is a two-phase interactive process and is capable of affecting sustainable knowledge sharing by reducing the supply of knowledge, creating a poor knowledge sharing atmosphere, and forming an interpersonal distrust relationship. This research may provide a strong basis for a deeper understanding of the interaction mechanism of knowledge hiding behavior and its impact on knowledge sharing. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion and we add a new modal variant to that class of logics. We also discuss the relative expressive power of the proposed logic in comparison to the standard (...) modal counterparts. (shrink)

Background Immense volumes of personal health information are required to realize the anticipated benefits of artificial intelligence in clinical medicine. To maintain public trust in medical research, consent policies must evolve to reflect contemporary patient preferences. Methods Patients were invited to complete a 27-item survey focusing on: broad versus specific consent; opt-in versus opt-out approaches; comfort level sharing with different recipients; attitudes towards commercialization; and options to track PHI use and study results. Results 222 participants were included in the analysis; (...) 83% were comfortable sharing PHI with researchers at their own hospital, although younger patients were more uncomfortable than older patients. While 56% of patients preferred broad consent, 38% preferred specific consent; 6% preferred not sharing at all. The majority of patients preferred to be asked for permission before entry into a contact pool. Again, this trend was more pronounced for younger patients. Approximately half of patients were uncomfortable sharing PHI with commercial enterprises. Most patients preferred to track PHI usage, with the highest proportion once again reported by the youngest patients. A majority of patients also wished to be notified regarding study results. Conclusions While most patients were willing to share their PHI with researchers within their own institution, many preferred a transparent and reciprocal consent process. These data also suggest a generational shift, wherein younger patients preferred more specific consent options. Modernizing consent policies to reflect increased autonomy is crucial in fostering sustained public engagement with medical research. (shrink)

This paper proposes a two-level modeling perspective which combines intrinsic 'betterness' and reason-based extrinsic preference, and develops its static and dynamic logic in tandem. Our technical results extend, integrate, and re-interpret earlier theorems on preference representation and update in the literature on preference change.

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

Background Rapid ethical access to personal health information to support research is extremely important during pandemics, yet little is known regarding patient preferences for consent during such crises. This follow-up study sought to ascertain whether there were differences in consent preferences between pre-pandemic times compared to during Wave 1 of the COVID-19 global pandemic, and to better understand the reasons behind these preferences. Methods A total of 183 patients in the pandemic cohort completed the survey via email, and responses were (...) compared to the distinct pre-pandemic cohort ; all were patients of a large Canadian cancer center. The survey covered broad versus study-specific consent; opt-in versus opt-out contact approach; levels of comfort sharing with different recipients; perceptions of commercialization; and options to track use of information and be notified of results. Four focus groups were subsequently conducted to elucidate reasons motivating dominant preferences. Results Patients in the pandemic cohort were significantly more comfortable with sharing all information and biological samples, sharing information with the health care institution, sharing information with researchers at other hospitals, sharing PHI provincially, nationally and internationally compared to the pre-pandemic cohort. Discomfort with sharing information with commercial companies remained unchanged between the two cohorts. Significantly more pandemic cohort patients expressed a wish to track use of PHI, and to be notified of results. Thematic analysis uncovered that transparency was strongly desired on outside PHI use, particularly when commercialization was involved. Conclusions In pandemic times, patients were more comfortable sharing information with all parties, except with commercial entities, where levels of discomfort remained unchanged. Focus groups identified that the ability to track and receive results of studies using one’s PHI is an important way to reduce discomfort and increase trust. These findings meaningfully inform wider discussions on the use of personal health information for research during global crises. (shrink)

Resumo: Uma das medidas mais significativas do progresso de uma nação, no fornecimento de educação para pessoas com deficiências, bem como uma medida de quão bem seus sistemas de apoio operam e quão longe a sociedade se encontra, em seu desenvolvimento social, é o crescimento do ensino superior para pessoas com deficiências. Os resultados indicaram que os alunos surdos com experiência escolar geral apresentaram melhor adaptabilidade. O modelo de integração era mais adequado para aumentar a conscientização dos alunos surdos sobre (...) a interação social e a adaptabilidade escolar. Ademais, os alunos surdos tinham uma demanda maior por orientação profissional. No entanto, é importante observar que o modelo de treinamento de integração ainda possui espaço para aprimoramentos. Com base nos resultados das referidas pesquisas e nos problemas da prática, o presente artigo apresenta as sugestões e pareceres de contramedidas correspondentes. O artigo sugere que devemos construir um modelo educativo de integração baseado no conceito “trindade”, orientado para talentos socialmente integrados em aplicações artísticas, aperfeiçoar o sistema de gestão da educação de integração, melhorar o sistema de apoio ao aprendizado de estudantes universitários surdos sob a liderança da escola, modificar e reconstruir o sistema curricular de integração das áreas de arte e artesanato e fortalecer o apoio e a orientação da sociedade para a construção de um ambiente de integração. (shrink)

This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approach to obligations is tested first against standard scenarios of contrary-to-duty obligations, leading also to a generalization for the Kanger-Anderson reduction of deontic logic. Next, the priority framework is applied to model (...) two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two-level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners. (shrink)

Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference, and changes in preference, first mentioned in von Wright’s book The Logic of Preference but not thoroughly explored there. I show how these two issues can be handled together in one dynamic logical framework, working with structured two-level models, and I investigate the resulting dynamics of reason-based preference in some detail. Next, I study the foundational issue of entanglement between preference (...) and beliefs, and relate the resulting richer logics to belief revision theory and decision theory. (shrink)

Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference, and changes in preference, first mentioned in von Wright’s book The Logic of Preference but not thoroughly explored there. I show how these two issues can be handled together in one dynamic logical framework, working with structured two-level models, and I investigate the resulting dynamics of reason-based preference in some detail. Next, I study the foundational issue of entanglement between preference (...) and beliefs, and relate the resulting richer logics to belief revision theory and decision theory. (shrink)

Les agents épistémiques peuvent avoir différents pouvoirs d’observation et de raisonnement, et nous montrons comment cette diversité prend place en logique dynamique de mise à jour.

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)

In the context of China’s supply-side structural reform and the concept of green development, we introduce the energy and environmental factors into the analytical framework of the total factor productivity of the logistics industry and use the Global Malmquist–Luenberger index method to analyze the evolution trend and heterogeneity of green TFP in the logistics industry of 30 provinces in China from 2003 to 2017. The results show that, firstly, the green TFP and traditional TFP of China’s logistics industry are both (...) on the rise and the absence of energy and environmental factors will lead to the overestimation of TFP of the logistics industry. Whether it is green TFP or traditional TFP, the main source of its growth is technical progress. Secondly, there is obvious regional heterogeneity in green TFP of logistics industry. Under the three regional division standards, the average annual growth rate of green TFP is from high to low in the order of eastern, western, and central regions. Under the eight regional classification standards, the eastern coastal economic zone, the southern coastal zone, the northern coastal zone, the northeast region, the middle reaches of the Yellow River, the southwest region, the middle reaches of the Yangtze River, and the northwest region are in order from high to low. Thirdly, there is obvious interprovincial heterogeneity in green TFP of the logistics industry. The highest growth rate of green TFP is in Zhejiang, followed by Jiangsu and Guangdong, and the slowest growth rate is in Chongqing. The technical progress of logistics industry in most provinces contributes more to the growth of green TFP. Fourthly, the differences of green TFP in the three regions of the east, center, and west are shrinking, which may be σ convergence, but the differences among the three regions are expanding. Compared with the existing literature, this paper applies the measurement framework of green TFP to China’s logistics industry and investigates the regional and provincial heterogeneity of green TFP in logistics industry. The conclusions are significant to understand and grasp the heterogeneity of green TFP growth in China’s logistics industry under environmental constraints and how to promote the development of green logistics in China. (shrink)

Diversity of agents occurs naturally in epistemic logic, and dynamic logics of information update and belief revision. In this paper we provide a systematic discussion of different sources of diversity, such as introspection ability, powers of observation, memory capacity, and revision policies, and we show how these can be encoded in dynamic epistemic logics allowing for individual variation among agents. Next, we explore the interaction of diverse agents by looking at some concrete scenarios of communication and learning, and we propose (...) a logical methodology to deal with these as well. We conclude with some further questions on the logic of diversity and interaction. (shrink)

The interference of the complex background and less information of the small targets are two major problems in vehicle attribute recognition. In this paper, two cascaded networks of vehicle attribute recognition are established to solve the two problems. For vehicle targets with normal size, the multitask cascaded convolution neural network MC-CNN-NT uses the improved Faster R-CNN as the location subnetwork. The vehicle targets in the complex background are extracted by the location subnetwork to the classification subnetwork CNN for the classification. (...) The implementation of this task decomposition strategy effectively eliminates the interference of the complex background in target detection. For vehicle targets with small size, the multitask cascaded convolution neural network MC-CNN-ST applies the network compression strategy and the multilayer feature fusion strategy to extract the feature maps. These strategies enrich the location information and semantic information of the feature maps. In order to optimize the nonlinear mapping ability and the hard-to-detect samples mining ability of the networks, the activation function and the loss function in the two cascaded networks are improved. The experimental results show that MC-CNN-NT for the normal targets and MC-CNN-ST for the small targets achieve the state-of-the-art performance compared with other attribute recognition networks. (shrink)

On 19 October 2013, the Chinese government issued the Opinions on Further Regulation on Party and Political Leaders and Cadres Working Part-Time in Enterprises, also known as the 18th Decree, to regulate government officials’ employment with businesses. The 18th Decree is widely perceived as having had a significant impact on the use of independent directors with political backgrounds by firms, given the prevalence of this business practice. This paper examines the market reaction to the 18th Decree to ascertain the value (...) effect of political connections in China. We note a negative relationship between the political connections of independent directors and market reaction. We also note that the negative relationship between political connections and market reaction is moderated by ownership type and state of regional development. Specifically, we find that the negative relationship holds only for private firms in less developed regions. These results support our prediction that political connections add value to Chinese firms and that the value effect of political connection is contingent on institutional factors. (shrink)

This paper describes a scoping review of China’s academic resource databases, relevant official websites, news reports and public accounts spanning a period from the end of 2019 to the end of 2022, to investigate the challenges in scientific integrity and ethical soundness of research conducted during and immediately after the COVID-19 pandemic in China. By conducting the scoping review with keywords related to the research questions in Chinese, relevant data were extracted and classified into four categories: challenges in research, challenges (...) in ethics review, challenges in publishing academic work, and research ethics guidelines during and after the pandemic. The paper points out that problematic studies and findings increased with the escalation in medical research projects during the pandemic in China. The situation faced by researchers was more difficult than before the pandemic. The mode of informed consent, and ethics review and oversight systems also underwent changes. In addition, Traditional Chinese Medicine as an alternative medical treatment for COVID-19, attracted attention from the research community and became a topic of discussion. We conclude that the various challenges and concerns identified indicate a need for a proper and timely response system be formulated in preparation for possible future occurrences of new pandemics or other critical situations. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in (...) comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is \(\textsf{P}\) -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework. (shrink)

At present, customers’ low satisfaction and loyalty to city express service have restricted the development of city express. It is particularly important to analyze the factors causing customers’ low satisfaction and loyalty, which will promote the development of city express industry effectively. Based on SERVQUAL model and CCSI model, this paper constructs a new evaluation index system from the perspective of service quality. Through this new system, this paper first explores the factors that affect customers’ satisfaction and loyalty, respectively, by (...) fuzzy analytic hierarchy process and hierarchical regression analysis, taking the expected and perceived service quality as conversion variables. And then it analyzes the common factors that affect customers’ satisfaction and loyalty comprehensively. These two analyses will provide reference for solving the problem of low customer satisfaction and loyalty of city express enterprises. The results show that popularity and credibility, delivery time commitment, and mailing security are the common main factors affecting customer satisfaction and loyalty. Easy-to-understand receipts, the three-level index corresponding to the empathy dimension, is the most significant factor affecting customers’ loyalty in city express industry; Delivery time commitment, the three-level index corresponding to the reliability dimension, is the most significant factor affecting customers’ loyalty in city express industry. (shrink)

To improve the positioning accuracy of industrial robots and avoid using the coordinates of the end effector, a novel kinematic calibration method based on the distance information is proposed. The kinematic model of an industrial robot is established. The relationship between the moving distance of the end effector and the kinematic parameters is analyzed. Based on the results of the analysis and the kinematic model of the robot, the error model with displacements as the reference is built, which is linearized (...) for the convenience of the following identification. The singular value decomposition is used to eliminate the redundant parameters of the error model. To solve the problem that traditional optimization algorithms are easily affected by data noise in high dimension identification, a novel extended Kalman filter and regularized particle filter hybrid identification method is presented. EKF is used in the preidentification of the linearized error model. With the preidentification results as the initial parameters, RPF is used to identify the kinematic parameters of the linearized error model. Simulations are carried out to validate the effectiveness of the proposed method, which shows that the method can identify the error of the parameters and after compensation the accuracy of the robot is improved. (shrink)

We make a proposal for formalizing simultaneous games at the abstraction level of player's powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of 'concurrent game logic' CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.