In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a “core set” of the so-called “reduction axioms”. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that the proof system based on this core set of axioms does not completely axiomatize PAL without additional axioms and rules. In fact, many of the intuitive axioms and rules we took for granted could not be derived from the (...) core set. Moreover, we also propose and advocate an alternative yet meaningful axiomatization of PAL without the reduction axioms. The completeness is proved directly by a detour method using the canonical model where announcements are treated as merely labels for modalities as in normal modal logics. This new axiomatization and its completeness proof may sharpen our understanding of PAL and can be adapted to other dynamic epistemic logics. (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)
Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka [58]. Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of “knowing that”. However, knowledge is expressed in everyday life by using various other locutions such as “knowing whether”, “knowing what”, “knowing how” and so on (knowing-wh hereafter). Such knowledge expressions (...) are better captured in quantified epistemic logic, as was already discussed by Hintikka [58] and his sequel works at length. This paper aims to draw the attention back again to such a fascinating but largely neglected topic. We first survey what Hintikka and others did in the literature of quantified epistemic logic, and then advocate a new quantifier-free approach to study the epistemic logics of knowing-wh, which we believe can balance expressivity and complexity, and capture the essential reasoning patterns about knowing-wh. We survey our recent line of work on the epistemic logics of ‘knowing whether”, “knowing what” and “knowing how” to demonstrate the use of this new approach. (shrink)
When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}” and propose a Kripke-style semantics of such expressions in terms of knowing an explanation of φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}. We obtain two sound and complete axiomatizations w.r.t. two different model classes depending on different assumptions about introspection. Finally we connect our logic with justification logic technically by providing an alternative semantics and an in-depth comparison on various design choices. (shrink)
In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete (...) proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how”. The logical language is further extended to handle knowing how to achieve a goal while maintaining other conditions. (shrink)
As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these (...) logics. (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)
A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a formula that becomes true when announced. We investigate true lies and other types of interaction between announced formulas, their preconditions and their postconditions, in the setting of Gerbrandy’s logic of believed announcements, wherein agents may have or obtain incorrect beliefs. Our results are on the satisfiability and validity of instantiations of these semantically (...) defined categories, on iterated announcements, including arbitrarily often iterated announcements, and on syntactic characterization. We close with results for iterated announcements in the logic of knowledge, and for lying as private announcements to different agents. Detailed examples illustrate our lying concepts. (shrink)
Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...) prevention, and treatment. We emphasize CIDO development relevant to COVID-19. (shrink)
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)
In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al., based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of ∃∀\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document} in the semantics of the know-how modality and the neighborhood semantics for the standard modality. We show that this new semantics (...) is equivalent to the original Kripke semantics in terms of the validities. A key result is a representation theorem showing that the more abstract Kripke neighborhood models can be represented by the concrete Kripke models with action transitions modulo the valid formulas. We prove the completeness of the logic for the neighborhood semantics. The neighborhood semantics can be adapted to other variants of logics of knowing how. It provides us a powerful technical tool to study these logics while preserving the basic semantic intuition. (shrink)
Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.
The purpose of aesthetic research is to uncover the internal method in human aesthetic behaviors and to answer the following questions: Where do beautiful things come from? Why are things beautiful? What is the reason that some things are beautiful while others are not? How can people derive aesthetic pleasure? Until those fundamental problems are solved, further questions cannot be answered, such as “Why do some people like certain things, while other people like other things?” and “How does human aesthetic (...) taste develop?”The aesthetic study established by the Greek philosophical aesthetician Plato is an ontological approach that suggests that there is something decisive in beautiful things that makes them... (shrink)
In this article, we present an attempt to reconcile intellectualism and the anti-intellectualist ability account of knowledge-how by reducing “S knows how to F” to, roughly speaking, “S knows that she has the ability to F demonstrated by a concrete way w.” More precisely, “S has a certain ability” is further formalized as the proposition that S can guarantee a certain goal by a concrete way w of some method under some precondition. Having the knowledge of our own ability, we (...) can plan our future actions accordingly, which would not be possible by merely having the ability without knowing it, and this pinpoints the crucial difference between knowledge-how and ability. Our semi-formal account avoids most of the objections to both intellectualism and the anti-intellectualist ability account, and provides a multistage learning process of knowledge-how, which reveals various subtleties. (shrink)
In view of the fact that vigorously promoting recycling has become a viable means to promote sustainable development, it is important to better understand the impact of recycling efforts on subsequent resource saving behavior. This research empirically examines the effects of recycling efforts on subsequent resource saving by analyzing the survey data of 356 college students in China. The recycling efforts, environmental self-identity and feeling of pride were measured using existing scales while saving behaviors and recycling cost were measured by (...) developing new scales. Partial least squares structural equation modeling was performed to test the structural relationships among recycling efforts, environmental self-identity, feeling of pride, and saving behaviors. Further, the moderation role of recycling cost was tested. The results showed that saving behaviors could be classified into two types based on their costliness; recycling efforts have a positive effect on costless saving behaviors, while having a negative effect on costly saving behaviors; both the positive and negative effect of recycling efforts on resource saving is mediated by pride feeling and environmental self-identity; and recycling cost negatively moderates the effects of recycling efforts on pride feeling. We discuss the theoretical and managerial implications of the findings. (shrink)
Green housing is a new type of building that advocates energy saving and environmental protection. How to stimulate buyers to buy green housing under the background of high cost is the key problem to guide green consumption. First of all, based on the existing literature, the comment of homebuyers was divided into comment quantity, comment quality, comment titer and evaluator credibility. The psychological distance mediation variable was introduced, and three dimensions of time distance, social distance, and space distance were selected (...) to construct the influence model of homebuyer comment on green housing purchase intention. Meanwhile, the concept model was built, and questionnaires were adopted for empirical analysis. On this basis, considering the long-term purchase behavior of buyers, the influence model of homebuyers' second comment on green housing purchase intention with the Hotelling model was established. The results show that comment quality, comment titer, and the credit rating of the evaluator have a positive effect on green housing purchase intention while comment quantity has no significant effect. Psychological distance plays a mediation role between comment quality, comment titer, the credit rating of the evaluator, and green housing purchase intention while having a mediation effect between comment quantity and green housing purchase intention. In the long-term purchase behavior of green housing, psychological distance plays a greater role than price. At last, some suggestions were proposed. (shrink)
Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorpórate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with comparisons on technical subtleties that have been employed in different approaches. Also, we study to which degree the use of epistemics is essential for the analysis of security (...) protocols. We look for formal conditions under which knowledge modalities can bring extra expressive power to pure temporal languages. On the other hand, we discuss the cost of the epistemic operators in terms of model checking complexity. (shrink)
The fundamental dynamics of the deformed Rikitake two-disc dynamo system is explored in this paper. Memory effect on the dynamical behavior of the generator system is studied by introducing a quadratic flux-controlled memristor. Hyperchaotic oscillation in the deformed Rikitake two-disk coupled generator is therefore firstly found. Lyapunov exponents, bifurcation diagram, and phase portraits prove the abundant dynamic behavior consistently.
Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of ∃x◻φ, e.g., knowing how to achieve φ roughly means that there exists a way such that you know that it is a way to ensure that φ. Moreover, the resulting logics are decidable. Inspired by those particular logics, in this work, we (...) propose a very general and powerful framework based on quantifier-free predicate language extended by a new modality, which packs exactly ∃x◻ together. We show that the resulting language, though much more expressive, shares many good properties of the basic propositional modal logic over arbitrary models, such as finite-tree-model property and van Benthem-like characterization w.r.t.\ first-order modal logic. We axiomatize the logic over S5 frames with intuitive axioms to capture the interaction between the new modality and know-that operator in an epistemic setting. (shrink)
This study aims to explore effective ways to improve college students’ entrepreneurial self-efficacy and intentions through entrepreneurship education. The survey used a random sample of 804 college students in Zhejiang Province, China. The results show that: In terms of the characteristics of entrepreneurial intention, there are significant differences in gender, entrepreneurial experience, entrepreneurial competition experience, and family background of self-employment. There are significant differences in the characteristics of entrepreneurship education in gender, entrepreneurial competition experience, and the family background of self-employment. (...) In the relationship among entrepreneurship education, entrepreneurial self-efficacy, and entrepreneurial intention, entrepreneurship education is significantly and positively related to entrepreneurial self-efficacy and entrepreneurial intention. Entrepreneurial self-efficacy is significantly and positively associated with entrepreneurial intention. Entrepreneurial self-efficacy plays a complete mediating role between entrepreneurship education and entrepreneurial intention. Entrepreneurial self-efficacy also has a suppressing effect on the relationship between the two. Entrepreneurial competition experience moderates the second half of the mediating effect of entrepreneurial self-efficacy. Finally, the study offers several proposals for the teaching practice of entrepreneurship education. (shrink)
This paper connects the following three apparently unrelated topics: an epistemic framework fighting logical omniscience, a class of generalized graphs without the arities of relations, and a family of non-normal modal logics rejecting the aggregative axiom. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemic logic of local reasoning with veracity (...) and positive introspection. The logics studied are shown to be decidable based on a filtration construction. (shrink)
Spiking neural P systems are a class of computation models inspired by the biological neural systems, where spikes and spiking rules are in neurons. In this work, we propose a variant of spiking neural P systems, called spiking neural P systems with polarizations and rules on synapses, where spiking rules are placed on synapses and neurons are associated with polarizations used to control the application of such spiking rules. The computation power of PSNRS P systems is investigated. It is proven (...) that PSNRS P systems are Turing universal, both as number generating and accepting devices. Furthermore, a universal PSNRS P system with 151 neurons for computing any Turing computable functions is given. Compared with the case of SN P systems with polarizations but without spiking rules in neurons, less number of neurons are used to construct a universal PSNRS P system. (shrink)
For synchronization of a class of chaotic systems in the presence of nonvanishing uncertainties, a novel time-varying gain observer-based sliding mode control is proposed. First, a novel time-varying gain disturbance observer is developed to estimate the uncertainties. Then, by using the output of TVGDO to modify sliding mode control, a new TVGDO-based SMC scheme is developed. Although the observation and control precision of conventional fixed gain disturbance observer-based control for chaotic systems can be guaranteed by a high observer gain, the (...) undesirable spike problem may be caused by the high gain if the initial values of estimate and true states are not equal. The most attractive feature of this work is that the newly proposed TVGDO can eliminate the spike problem by developing a time-varying gain scheme. Finally, the effectiveness of the proposed method is demonstrated by the numerical simulation. (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..
In this paper, a 3D jerk chaotic system with hidden attractor was explored, and the dissipativity, equilibrium, and stability of this system were investigated. The attractor types, Lyapunov exponents, and Poincare section of the system under different parameters were analyzed. Additionally, a circuit was carried out, and a good similarity between the circuit experimental results and the theoretical analysis testifies the feasibility and practicality of the original system. Furthermore, a robust feedback controller was designed based on the finite-time stability theory, (...) which guarantees the synchronization of 3D jerk master-slave system in finite time and asymptotically converges to the origin. Finally, we also give verification for the discussion in this paper by numerical simulation. (shrink)
Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...) As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)
The Daqing Changyuan oil field is primarily composed of large, fluvial-deltaic thin sandstones and shales with a high degree of heterogeneity. Over the past 50 years of development, the geologic study of this reservoir has relied on a large amount of well-log data in the field. However, a detailed reservoir description based only on wireline-log data cannot meet the requirements of oil field development. There is still some uncertainty about the sand boundary and geometry, due to reliance only on data (...) from fields with an average density of approximately [Formula: see text]. Such uncertainty may severely affect the potential for producing the remaining oil in these mature oil fields. In this study, seismic-sedimentology guided reservoir prediction is examined in an area of dense wells in BB2 block in the Changyuan LMD oil field. The spatial distribution of channel-sand bodies was identified and recognized by facies analysis, sandstone thickness mapping, and seismic stratal slicing of reservoir units, using the principles and methods of seismic sedimentology. The results showed that the seismic amplitude can be correlated to log lithologies. The interpretation of sandstone can be improved by 90°-phase seismic data, and the distribution of channel sand with a thickness greater than 5 m can be directly predicted. The identification and prediction of the boundaries of channel-sand bodies are thus improved. The results have proved useful in new infill drilling and reperforations. (shrink)
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)
The valence–arousal conflict theory assumes that both valence and arousal will trigger approaching or withdrawing tendencies. It also predicts that the speed of processing emotional stimuli will depend on whether valence and arousal trigger conflicting or congruent motivational tendencies. However, most previous studies have provided evidence of the interaction between valence and arousal only, and have not provided direct proof of the interactive links between valence, arousal and motivational tendencies. The present study provides direct evidence for the relationship between approach–withdrawal (...) tendencies and the valence–arousal conflict. In an empirical test, participants were instructed to judge the valence of emotional words after visual–spatial cues that appeared to be either approaching or withdrawing from participants. A three-way interaction was observed such that the response time was shorter if participants responded to a negative high-arousal stimulus after a withdrawing cue, or to a positive low-arousal stimulus after an approaching cue. These findings suggest that the approach–withdrawal tendency indeed plays a crucial role in valence–arousal conflict, and that the effect depends on the congruency of valence, arousal and tendency at an early stage of processing. (shrink)
In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting, $\Box \varphi $ reads all the parts are $\varphi $, interpreted on the models with a whole-part binary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof for a basic system (...) of mereology by providing a new construction of the canonical model. (shrink)
It will be settled out for the open problem of designing an r-order finite-time state observer for reaction-diffusion genetic regulatory networks with time-varying delays. By assuming the Dirichlet boundary conditions, aiming to estimate the mRNA and protein concentrations via available network measurements. Firstly, sufficient F-T stability conditions for the filtering error system have been investigated via constructing an appropriate Lyapunov–Krasovskii functional and using several integral inequalities and convex technique simultaneously. These conditions are delay-dependent and reaction-diffusion-dependent and can be checked by (...) MATLAB toolbox. Furthermore, a method is proposed to design an r-order F-T state observer, and the explicit expressions of observer gains are given. Finally, a numerical example is presented to illustrate the effectiveness of the proposed method. (shrink)
This paper addresses value changes that have occurred to college?educated youth as China is going through drastic social transformations under Western influences. It explains how socio?economic and cultural forces interplay within a particular historical and political context in bringing about such notable changes as individualism, materialism and moral crisis. Through exploring young people's perceptions of the relative status of China versus the West, represented by the USA, the paper reveals a collective inferiority complex and resulting dislocation of cultural identities, manifested (...) as national nihilism and a magnified, empty patriotism. Conclusions are drawn on the importance of educating the younger generations with a sound knowledge of Chinese history, culture and traditional values, and a sensible perspective as regards Western civilization. (shrink)