The original design of a software system is rarely prepared for every new requirement. Software systems should be updated frequently, which is usually accompanied by the decline in software modularity and quality. Although many approaches have been proposed to improve the quality of software, a majority of them are guided by metrics defined on the local properties of software. In this article, we propose to use a global metric borrowed from the network science to detect the moving method refactoring. First, (...) our approach uses a bipartite network to represent classes, features, and their dependencies. Second, a new metric is introduced to quantify the modularity of a software system as a whole. Finally, a crossover-only evolutionary algorithm that uses the metric as its fitness function is introduced to optimize the class structure of a software system and detect the methods that should be moved. Empirical results on the benchmark Java projects show that our approach can find meaningful methods that should be moved with a high stability. The advantages of our approach are illustrated in comparison with some other approaches, specifically one refactoring approach, namely search-based refactoring approach, and two community detection algorithms, namely a graph theoretic clustering algorithm and a fast algorithm for community detection. Our approach provides a new way to do refactoring from the perspective of software structure. (shrink)

According to doxastic pragmatism, certain perceived practical factors, such as high stakes and urgency, have systematic effects on normal subjects’ outright beliefs. Upholders of doxastic pragmatism have so far endorsed a particular version of this view, which we may call threshold pragmatism. This view holds that the sensitivity of belief to the relevant practical factors is due to a corresponding sensitivity of the threshold on the degree of credence necessary for outright belief. According to an alternative but yet unrecognised version (...) of doxastic pragmatism, practical factors affect credence rather than the threshold on credence. Let’s call this alternative view credal pragmatism. In this paper, I argue that credal pragmatism is more plausible than threshold pragmatism. I show that the former view better accommodates a cluster of intuitive and empirical data. I conclude by considering the issue of whether our doxastic attitudes’ sensitivity to practical factors can be considered rational, and if yes, in what sense. (shrink)

According to evidentialist views, credence in a proposition p should be proportional to the degree of evidential support that one has in favor of p. However, empirical evidence suggests that our credences are systematically sensitive to practical factors. In this article, I provide a cost–benefit analysis of credences' practical sensitivity. The upshot of this analysis is that credences sensitive to practical factors fare better than practically insensitive ones along several dimensions. All things considered, our credences should be sensitive to practical (...) factors. (shrink)

ObjectiveThis study took users of short-form mobile videos as research participants to explore the role of their boredom proneness in mediating the relationship between the use of mobile social media and subjective well-being.MethodsA sample of 656 users was evaluated by the Problematic Mobile Social Media Usage Assessment Questionnaire, General Well-Being Schedule, and Boredom Proneness Scale.ResultsFirstly, significant interactions were found between monthly living expenses and the UMSM of the participants, which were recognized as factors affecting SWB. Secondly, the level of living (...) expenses had little effect on the high-level and low-level groups of the UMSM but imposed a significant impact on the medium-level group. Thirdly, the UMSM showed an influence that could positively predict boredom; both the UMSM and boredom demonstrated a negative predictive effect on SWB.ConclusionThe findings indicate that the inappropriate use of mobile social media negatively affects users’ subjective well-being; boredom partially mediated the relationship between the use of mobile social media and SWB. (shrink)

Background: The prevalence of sedentary behavior in adolescents has aroused social attention. The association between sedentary behavior and cognitive flexibility remains unclear, and it may vary depending on the type of sedentary behavior. This study aimed to investigate the associations between specific-type sedentary behaviors and cognitive flexibility in adolescents.Method: A total of 700 Chinese adolescents aged 10–15 years were recruited. The self-report questionnaire was used to assess total sedentary time, recreational screen-based sedentary time, and educational sedentary time. The More-odd shifting (...) task was used to assess cognitive flexibility.Results: The correlation analysis showed that recreational screen-based sedentary time was negatively correlated with cognitive flexibility, whereas educational sedentary time was positively correlated with cognitive flexibility. The regression analysis also further revealed that a significantly negative association between recreational screen-based sedentary time and cognitive flexibility, while a significantly positive association existed between educational sedentary time and cognitive flexibility.Conclusion: The findings shown that the association between recreational screen-based sedentary behavior and cognitive flexibility differs from educational sedentary behavior in adolescents, providing new ideas for a more comprehensive understanding of the association between sedentary behavior and cognitive flexibility in adolescents. (shrink)

It has been argued recently that knowledge is the norm of practical reasoning. This norm can be formulated as a bi-conditional: it is appropriate to treat p as a reason for acting if and only if you know that p. Other proposals replace knowledge with warranted or justified belief. This paper gives counter-examples of both directions of any such bi-conditional. To the left-to-right direction: scientists can appropriately treat as reasons for action propositions of a theory they believe to be false (...) but good approximations to the truth for present purposes. Cases based on a variant of Pascal’s Wager and actions performed by a skeptic also illustrate the point. To the right-to-left direction: in certain circumstances, it can be unreasonable for a scientist to reason from propositions of a theory she knows to be true. (shrink)

One challenge for moderate invariantists is to explain why we tend to deny knowledge to subjects in high stakes when the target propositions seem to be inappropriate premises for practical reasoning. According to an account suggested by Williamson, our intuitive judgments are erroneous due to an alleged failure to acknowledge the distinction between first-order and higher-order knowledge: the high-stakes subject lacks the latter but possesses the former. In this paper, I provide three objections to Williamson’s account: i) his account delivers (...) counterintuitive verdicts about what it is appropriate for a high-stakes subject to do; ii) the high-stakes subject doesn’t need iterated knowledge in order to be regarded as appropriately relying on the relevant proposition in practical reasoning; iii) Williamson’s account doesn’t provide a good explanation of why the high-stakes subject would be blameworthy if she were relying on the relevant proposition in her practical reasoning. (shrink)

The problem of adaptive finite-time fault-tolerant control and output constraints for a class of uncertain nonlinear half-vehicle active suspension systems are investigated in this work. Markovian variables are used to denote in terms of different random actuators failures. In adaptive backstepping design procedure, barrier Lyapunov functions are adopted to constrain vertical motion and pitch motion to suppress the vibrations. Unknown functions and coefficients are approximated by the neural network. Assisted by the stochastic practical finite-time theory and FTC theory, the proposed (...) controller can ensure systems achieve stability in a finite time. Meanwhile, displacement and pitch angle in systems would not violate their maximum values, which imply both ride comfort and safety have been enhanced. In addition, all the signals in the closed-loop systems can be guaranteed to be semiglobal finite-time stable in probability. The simulation results illustrate the validity of the established scheme. (shrink)

Self-deception is typically considered epistemically irrational, for it involves holding certain doxastic attitudes against strong counter-evidence. Pragmatic encroachment about epistemic rationality says that whether it is epistemically rational to believe, withhold belief or disbelieve something can depend on perceived practical factors of one’s situation. In this paper I argue that some cases of self-deception satisfy what pragmatic encroachment considers sufficient conditions for epistemic rationality. As a result, we face the following dilemma: either we revise the received view about self-deception or (...) we deny pragmatic encroachment on epistemic rationality. I suggest that the dilemma can be solved if we pay close attention to the distinction between ideal and bounded rationality. I argue that the problematic cases fail to meet standards of ideal rationality but exemplify bounded rationality. The solution preserves pragmatic encroachment on bounded rationality, but denies it on ideal rationality. (shrink)

According to pragmatic encroachment, whether an epistemic attitude towards p has some positive epistemic status (e.g., whether a belief is epistemically rational or justified, or it amounts to knowledge) partially depends on practical factors such as the costs of being wrong or the practical goals of the agent. Pragmatic encroachment comes in many varieties. This survey article provides an overview of different kinds of pragmatic encroachment. It focuses on three dimensions under which kinds of pragmatic encroachment differ: the type of (...) epistemic status affected by practical factors, the type of practical factors affecting the epistemic status, and the type of normative considerations encroaching on the epistemic status. (shrink)

This study integrates the resource dependence perspective and the stakeholder perspective to analyze local Chinese suppliers’ environment strategies in response to environmental requirements of different types of customers. With a sample of 1,215 local Chinese manufacturing suppliers, we examine the impact of export intensity and environmental requirements of multinational enterprises on local Chinese suppliers’ environment strategies. The results show that local Chinese suppliers with high levels of export intensity are more likely to adopt positive environment strategies to reduce environmental risks. (...) In addition, local Chinese suppliers respond actively to environmental requirements of MNE customers but not to those of local customers. The linkage between MNE customers’ environmental requirements and local Chinese suppliers’ environment strategies remains significant, even after we control for the impact of export intensity. Implications of the findings conclude the article. (shrink)

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

This article mainly outlines and explores the art exhibitions held between China and the Soviet Union during the founding of the People's Republic of China. The author examines in detail such aspects of the topic as mutual exchanges of art exhibitions between China and the Soviet Union since the founding of the People's Republic of China. Particular attention is paid to the political background against which the evolution in Chinese art took place, as well as the legacy of Soviet realist (...) art in China in the political context and the interaction of art with politics and state-building. The author emphasizes the positive influence of art exhibitions held by the Soviet Union in China on Chinese art education and the creativity of artists. The main conclusions of this study are that the various exhibitions of Soviet art held in China provided an effective opportunity for Chinese artists to study Soviet realist oil paintings. The emergence of Soviet realism in China also served as an important reference point for the development of Chinese oil painting in the 1950s. The novelty of the study lies in the fact that the author not only analyzed the process of the acceptance and dissemination of Soviet realist art in China, but also examined the beginning and end of artistic exchange between China and the Soviet Union in conjunction with the country's social environment and the political leadership of its leaders. (shrink)

Based on ideology-infused psychological contract theory and cognitive evaluation theory, this study investigated the curvilinear relationship between ethical leadership and employee creativity. A curvilinear mediation model was proposed to explain the impact of ethical leadership on creativity, using employee intrinsic motivation as the mediator. Applying a two wave sampling design that consist 258 employees and their leaders, we found that employee creativity improved as ethical leadership increased from low to moderate levels. However, the employee creativity improvement was attenuated when ethical (...) leadership increased from moderate to high levels. Furthermore, the study also revealed that employee intrinsic motivation partially mediated this curvilinear relationship. The theoretical and managerial implications are discussed. (shrink)

According to an increasingly popular view in epistemology and philosophy of mind, beliefs are sensitive to contextual factors such as practical factors and salient error possibilities. A prominent version of this view, called credal sensitivism, holds that the context-sensitivity of belief is due to the context-sensitivity of degrees of belief or credence. Credal sensitivism comes in two variants: while credence-one sensitivism (COS) holds that maximal confidence (credence one) is necessary for belief, threshold credal sensitivism (TCS) holds that belief consists in (...) having credence above some threshold, where this threshold doesn’t require maximal confidence. In this paper, I argue that COS has difficulties in accounting for three important features about belief: i) the compatibility between believing p and assigning non-zero credence to certain error possibilities that one takes to entail not-p, ii) the fact that outright beliefs can occur in different strengths, and iii) beliefs held by unconscious subjects. I also argue that TCS can easily avoid these problems. Finally, I consider an alleged advantage of COS over TCS in terms of explaining beliefs about lotteries. I argue that lottery cases are rather more problematic for COS than TCS. In conclusion, TCS is the most plausible version of credal sensitivitism. (shrink)

In this entry, we provide an overview of some of the methodological debates surrounding contextualism and consider whether they are, in effect, based on an underlying methodological dispute. We consider three modes of motivation of epistemic contextualism including i) the method of cases, ii) the appeal to linguistic analogies and iii) the appeal to conceptual analogies and functional roles. We also consider the methodological debates about contextualism arising from experimental philosophy. We conclude that i) there is no distinctive methodological doctrine (...) or set of methodological doctrines that is centrally invoked by all epistemic contextualists and ii) the substantive dispute about the truth of contextualism very frequently, although not invariably, reflects an underlying methodological dispute. (shrink)

Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this (...) logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences. (shrink)

Building on the human resource management behavioral and organizational climate literature, this study explores the linkage between socially responsible HRM and employee support for perceived external corporate social responsibility and the underlying social and psychological process. Multilevel analysis of data gathered over two separate periods confirmed that the relationship between SRHRM and employee support for external CSR initiatives of the employing organization is mediated by the organizational CSR climate. Moreover, the indirect effect is contingent on perceived internal CSR. This study (...) extends CSR research into the HRM domain and develops a better understanding of the micro-foundations of CSR by integrating the micro- and macro-perspectives of CSR. Based on the study findings, this paper also discusses theoretical contributions and future research directions. (shrink)

Operators can be compared in at least two respects: expressive strength and deductive strength. Inspired by Hintikka’s treatment of question embedding verbs, the variations of noncontingency operator, and also the various combinations of modal operators and Boolean connectives, we propose a logic with strong noncontingency operator as the only primitive modality. The novel operator is deductively but not expressively stronger than both noncontingency operator and essence operator, and expressively but not deductively weaker than the necessity operator. The frame-definability power of (...) this new logic is in between standard modal logic and noncontingency logic. A notion of bisimulation is proposed to characterize this logic within standard modal logic and first-order logic. Axiomatizations over various frame classes are presented, among which the minimal logic is related to the treatment of an alternative semantics of the agreement operator proposed by Lloyd Humberstone. (shrink)

The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.

Morality, in the context of luxury counterfeit goods, has been widely discussed in existing literature as having a strong association with decreased purchase intention. However, drawing on moral disengagement theory, we argue that individuals are motivated to justify their immoral behaviors through guilt avoidance, thus increasing counterfeit purchase intention. This research demonstrates that consumers’ desire to purchase counterfeit luxuries hinges on two types of moral reasoning strategies: moral rationalization and moral decoupling. The empirical results show that each strategy increases purchase (...) intention, but respectively through moral judgment and perceived benefit. Implications for researchers and managers are discussed. (shrink)

In this paper, we introduce a notion of ‘disjunctive ignorance’, which is a weak combination of two forms of ignorance in the literature. We propose a logical language with ‘disjunctive ignorance’ as a sole modality, explore the logical properties of this notion and its related notions, and axiomatize it over various frame classes. By finding suitable reduction axioms, we extend the results to the case of public announcements and apply it to Moore-like sentences.

Inspired by an interesting quotation from the literature, we propose four modalities, called ‘sane belief’, ‘insane belief’, ‘reliable belief’ and ‘unreliable belief’, and introduce logics with each operator as the modal primitive. We show that the four modalities constitute a square of opposition, which indicates some interesting relationships among them. We compare the relative expressivity of these logics and other related logics, including a logic of false beliefs from the literature. The four main logics are all less expressive than the (...) standard modal logic over various model classes, and the logics of sane and insane beliefs are, respectively, equally expressive as the logics of unreliable and reliable beliefs on any class of models. The logics of reliable and unreliable beliefs are then combined into a bimodal logic, which turns out to be equally expressive as the standard modal logic. Despite this, we cannot obtain a complete axiomatization of the minimal bimodal logic, by simply translating the axioms and rules of the minimal modal logic $\textbf{K}$ into the bimodal language. We then introduce a schematic modality which unifies reliable and unreliable beliefs and axiomatize it over the class of all frames and also the class of serial frames. This line of research is finally extended to unify sane and insane beliefs and some axiomatizations are given. (shrink)

ObjectivesThe study aims to investigate the state anxiety of parents of special needs children during the 2019 coronavirus disease epidemic and the influence of parental stress, social support, and other related variables on the anxiety of parents.MethodsBespoke questionnaires of children’s and parent’s mental and behavioral problems during the epidemic were used in the study. We also used the State Anxiety Inventory, the Parenting Stress Index—Short Form-15, the NEO Five-Factor Inventory, and the Multidimensional Scale of Perceived Social Support. The data used (...) in the study were pooled from an online survey of parents of special needs children and analyzed by one-way analysis of variance and multiple linear regression.ResultsOverall, 1,451 individuals were included, of which 402 were fathers and 1,049 were mothers. ANOVA results showed that educational background, family monthly income, and type of their child’s disability made parents’ state anxiety significantly different. The results of multiple linear regression showed that during the epidemic, social support negatively predicted parents’ state anxiety, whereas parenting stress and parental mental and behavioral problems positively predicted parents’ state anxiety.ConclusionsDuring the outbreak of COVID-19, parents of special needs children suffered mental and behavioral problems, together with parenting stress and social support, which influenced their state anxiety. These findings can be used to develop relevant psychological interventions to improve the mental health of vulnerable groups during a pandemic like COVID-19. (shrink)

This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in 1995. We show that Kuhn’s function is actually equal to a related function originally given by Humberstone.

In Fan's 2019 article, “Symmetric Contingency Logic with Unlimitedly Many Modalities”, it is left as an open question in Fan (2019b) how to (completely) axiomatize contingency logic over the class of symmetric and transitive frames, and conjectured that is the desired axiomatization. In the current article, we show that the conjecture is false, and then propose a desired axiomatization, thereby answering the open question. Beyond these results, we also present a family of axiomatizations of contingency logic over Kripke frames.

Prior research has demonstrated that the adverse consequences of the coronavirus disease 2019 pandemic may go beyond its economic hardships and physical health concerns, having a significant influence on psychological distress for individuals under quarantine. Nevertheless, relatively little attention has been paid to exploring the risk and protective factors in the link between COVID-19 infection risk and psychological distress among young adults. Following a socioecological framework, the current study examines the moderating role of grit and social support in the association (...) between COVID-19 infection risk and depressive symptoms. A sample of 1,251 young adults under home quarantine was involved in this study, and they were asked to complete a set of self-reported questionnaires online. Results of a linear regression analysis exhibited that COVID-19 infection risk was positively associated with depressive symptoms in young adults in quarantine. Moreover, moderation analyses showed that this association was moderated by perseverance and social support. To be specific, for those reporting higher levels of social support, this linkage was not significantly positive; in contrast, for those reporting lower levels of social support, perseverance was a significant protective factor for depressive symptoms when young adults were exposed to a high infection risk of COVID-19. The current study suggests that greater social support is essential to helping young adults deal with possible negative emotions in the context of the COVID-19 pandemic. Moreover, university-based counseling services should pay specific attention to those young adults with relatively insufficient social support resources and low levels of perseverance. (shrink)

Previous studies of the relationship between hope and life satisfaction left the underlying mechanism of how hope predicts life satisfaction unexplored to scholars. This study thus investigates the two potential mediators in the relationship between hope and life satisfaction among a sample of Chinese shadow education institution tutors who may be under immense professional development pressure from a cross-sectional approach. The main body of the study consists of an online survey in which 221 SEI tutors reported their hope, positive coping, (...) perceived social support, and life satisfaction. The survey results were analyzed using mediation and moderation analysis via SPSS 23.0. The results indicated that positive coping improved the relationship between hope and life satisfaction, supporting the hypothesis regarding the serial mediating effect of positive coping and perceived social support. In other words, tutors with a high level of hope tend to adopt positive coping strategies, thus will receive more social support and improve life satisfaction. Our findings revealed the independent and accumulative mediating effects of positive coping and perceived social support on the relationship between hope and life satisfaction, and had implications for the psychological intervention of SEI tutors who are currently facing enormous industry pressure. (shrink)

In this article, we study logics of unknown truths and false beliefs under neighborhood semantics. We compare the relative expressivity of the two logics. It turns out that they are incomparable over various classes of neighborhood models, and the combination of the two logics are equally expressive as standard modal logic over any class of neighborhood models. We propose morphisms for each logic, which can help us explore the frame definability problem, show a general soundness and completeness result, and generalize (...) some results in the literature. We axiomatize the two logics over various classes of neighborhood frames. Most importantly, by adopting the intersection semantics and the subset semantics in the literature, we extend the results to the case of public announcements, which gives us the desired reduction axioms and has good applications related to Moore sentences, successful formulas and self-refuting formulas. Also, we can say something about the comparative merits of the intersection semantics and the subset semantics. (shrink)

Resumo: Após o reinado do Imperador Jiajing, da Dinastia Ming, à medida que o problema dos piratas japoneses se tornava cada vez mais grave, começaram a ser publicados livros dedicados ao estudo do Japão. Entre eles, os mais importantes são Uma Breve Pesquisa do Japão (Ri Ben Kao Lue), Uma Compilação de Mapas Japoneses (Ri Ben Tu Zuan), O Espelho do Japão (Ri Ben Yi Jian), Uma pesquisa do Japão (Ri Ben Kao), Um registro de Costumes Japoneses (Ri Ben Fen (...) Tu) Ji) e A Biografia de Piratas Japoneses em Qiantai (Qian Tai Wo Zhuan). Entre eles, O Espelho do Japão é um especial. Além disso, há também livros especiais para apresentar a situação geral do Japão, como A Coleção de Mapas Militares Costeiros (Chou Hai Tu Bian), Resistência aos Piratas Japoneses na Dinastia Ming (Huang Ming Yu Wo Lu), a Compilação de Defesa Costeira (Hai Fang Zuan Yao) e a Continuação da Categoria de Defesa Costeira nas Regiões Zhedong e Zhexi ( Liang Zhe Hai Fang Lei Kao Xu Bian). Como Zheng Shungong, autor do livro O Espelho do Japão, visitou o Japão duas vezes, muitos conteúdos do livro são baseados em sua própria experiência e conhecimento. Portanto, sua pesquisa sobre o Japão foi além da literatura semelhante da Dinastia Ming, em amplitude, profundidade e precisão. Além disso, o registro e as análises dos piratas japoneses no livro são de grande valor de pesquisa. Antes da publicação dos Anais do Japão (Ri Ben Tu Zhi), de Huang Zunxian, O Espelho do Japão era uma das monografias de mais alto nível sobre o Japão, na China antiga. (shrink)

Inspired by the supervenience-determined consequence relation and the semantics of agreement operator, we introduce a modal logic of supervenience, which has a dyadic operator of supervenience as a sole modality. The semantics of supervenience modality very naturally correspond to the supervenience-determined consequence relation, in a quite similar way that the strict implication corresponds to the inference-determined consequence relation. We show that this new logic is more expressive than the modal logic of agreement, by proposing a notion of bisimulation for the (...) latter. We provide a sound proof system for the new logic. We lift onto more general logics of supervenience. Related to this, we address an interesting open research direction listed in the literature, by comparing propositional logic of determinacy and noncontingency logic in expressive powers and axiomatizing propositional logic of determinacy over various classes of frames. We also obtain an alternative axiomatization for propositional logic of determinacy over universal models. (shrink)

Traditional scientific views of rationality are couched in economic terms; choosing an option that does not maximize expectancy is irrational. The construct has been extended metaphorically so that the term “irrational” now describes any decision deemed foolish by the evaluator. For everyday decisions that do not involve money, a decision maker’s utilities are generally not known to an onlooker. Therefore, the pejorative label may be applied inappropriately because the evaluation is distorted by incorrect assessment of the decision maker’s goals. We (...) tie this linguistic confusion to the predominance of gambling studies within decision making research. For noneconomic decisions, we propose an alternative definition, one inspired by a theory of everyday decisions. We label a decision irrational if is inconsistent with a policy previously established by the decision maker. The hierarchical structure of everyday decisions, along with the descriptive multiattribute utility model, are core elements in the theory presented by Weiss et al. (2010 Theory and Decision, 68, 101–114). The theory holds that fast changing considerations are a crucial element in the evaluation of decision options. The momentary salience attached to a consequence can change with current, often fleeting circumstances. An option that would usually be rejected can quickly become too tempting to resist. Most people exhibit this kind of irrationality, violating a personal policy, some of the time—and they are not necessarily foolish to do so. (shrink)

We propose a logic of temporal contingency, which has operators of past and future contingency as primitive modalities. This logic is less expressive than standard temporal logic over the class of bidirectional frames, and cannot define some basic frame properties such as bidirectionality and transitivity. We present a minimal system based on two key ‘bridge axioms’ and a bimodal version of a so-called ‘almost definability’ schema in the literature. The completeness proof is highly nontrivial due to the requirement that the (...) canonical model be bidirectional. We then extend the results to the simplest dynamic case: public announcements. (shrink)

We present a research on smart city planning and community governance using dynamic game methods, analyze the current status and problems of the current smart community service system, and put forward countermeasures and suggestions based on the global smart community development experience. Through smart city planning and construction, the game model of government governance and information sharing between communities and decision making is obtained, and the two-dimensional replication dynamic system equations of smart city planning and construction agencies and communities are (...) obtained from smart city planning and construction. The evolutionary stability strategy and a united front are analyzed. The strategy achieves the ideal stable conditions. We define the relevant definition of a smart community and discuss the purpose and significance of the research, especially the importance and necessity of the construction of the smart community. Based on the current situation of the construction of smart communities, we conduct specific research, discuss the deficiencies and shortcomings in the current construction of smart communities, and find out the causes of these problems. Finally, based on learning from the relevant work experience, corresponding improvement measures are proposed for the existing problems from the united front, top-level design, social participation, platform construction, and talent training. (shrink)