To optimize the weak robustness of traditional face recognition algorithms, the classification accuracy rate is not high, the operation speed is slower, so a face recognition algorithm based on local binary pattern and stacked autoencoder is proposed. The advantage of LBP texture structure feature of the face image as the initial feature of sparse autoencoder learning, use the unified mode LBP operator to extract the histogram of the blocked face image, connect to form the LBP features of the entire image. (...) It is used as input of the stacked AE, feature extraction is done, realize the recognition and classification of face images. Experimental results show that the recognition rate of the algorithm LBP-SAE on the Yale database has achieved 99.05%, and it further shows that the algorithm has a higher recognition rate than the classic face recognition algorithm; it has strong robustness to light changes. Experimental results on the Olivetti Research Laboratory library shows that the developed method is more robust to light changes and has better recognition effects compared to traditional face recognition algorithms and standard stack AEs. (shrink)

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 article explores micro- and macro-level variables that influence the incidence of bribery payouts by firms. A rich data set with information from 55 countries was utilized to achieve this objective. Results of logit regression models indicate that there are a number of micro- and macro-level factors that significantly affect the incidence of bribery payouts. This suggests that it is not only the characteristics of a firm but also the environment of doing business that affect the firm's bribery decision. The (...) results of this study provides information that may help firms develop strategies to reduce corruption in their respective industries and thereby improve their image of corporate social responsibility. The analysis also points to possible policy directions that governments could undertake in order to reduce the incidence of bribery in their country. (shrink)

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)

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)

Electroencephalogram has been widely utilized in emotion recognition. Psychologists have found that emotions can be divided into conscious emotion and unconscious emotion. In this article, we explore to classify subliminal emotions with EEG signals elicited by subliminal face stimulation, that is to select appropriate features to classify subliminal emotions. First, multi-scale sample entropy, wavelet packet energy, and wavelet packet entropy of EEG signals are extracted. Then, these features are fed into the decision tree and improved random forest, respectively. The classification (...) accuracy with Ei and WpEn is higher than MSpEn, which shows that Ei and WpEn can be used as effective features to classify subliminal emotions. We compared the classification results of different features combined with the decision tree algorithm and the improved random forest algorithm. The experimental results indicate that the improved random forest algorithm attains the best classification accuracy for subliminal emotions. Finally, subliminal emotions and physiological proof of subliminal affective priming effect are discussed. (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)

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)

This article explores micro- and macro-level variables that influence the incidence of bribery payouts by firms. A rich data set with information from 55 countries was utilized to achieve this objective. Results of logit regression models indicate that there are a number of micro- and macro-level factors that significantly affect the incidence of bribery payouts. This suggests that it is not only the characteristics of a firm but also the environment of doing business that affect the firm's bribery decision. The (...) results of this study provides information that may help firms develop strategies to reduce corruption in their respective industries and thereby improve their image of corporate social responsibility. The analysis also points to possible policy directions that governments could undertake in order to reduce the incidence of bribery in their country. (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)

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

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

本书选录自先秦至辛亥革命前一百多位作者的215则家训,分为立志、修身、勉学、处世等主题,以注释、评说形式进行介绍。.

本书记录了我国南宋时期的思想家、文学家、改革家陈亮的生平事迹。他一生不忘恢复主张变革国策;他是南宋词史上不可忽视的名家。.

Recent studies have identified practical wisdom as a critical area for exploration in the domains of management and leadership. This paper delves into the cultivation and manifestation of practical wisdom in leadership, emphasizing the potential of narratives as an efficacious tool, as corroborated by academic literature. Employing practical wisdom theory and a refined analytical model, we examine the role of narratives as a key instrument for practically wise leaders. Through the provision of theoretical underpinnings and empirical evidence, our study seeks (...) to elucidate the tripartite interconnectedness of practical wisdom, narratives, and leadership. Subsequently, a conceptual model is developed and illustrated, outlining the relationship between narratives and practical wisdom across diverse leadership contexts. This analysis positions practical wisdom as a fundamental guidance for leaders’ narrative practices. Acknowledging the paper’s conceptual focus, we discuss the practical and theoretical implications of the proposed model and advocate for empirical inquiry to further enhance understanding of narrative practices in practically wise leadership. (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)

本书对构成现代西方哲学思潮的人本主义进行研究,以神话故事蕴涵的深刻意义为缘起论述西方人本主义思想的历史发展,并对中国传统文化人本主义思想进行探析等。.

As an important view in the epistemology of perception, dogmatism proposes that for any experience, if it has a distinctive kind of phenomenal character, then it thereby provides us with immediate justification for beliefs about the external world. This paper rejects dogmatism by looking into the epistemology of imagining. In particular, this paper first appeals to some empirical studies on perceptual experiences and imaginings to show that it is possible for imaginings to have the distinctive phenomenal character dogmatists have in (...) mind. Then this paper argues that some of these imaginings fail to provide us with immediate justification for beliefs about the external world at least partly due to their inappropriate etiology. Such imaginings constitute counterexamples to dogmatism. (shrink)

Pre‐marital sex for a woman is regarded as wrong in my country. As a result, it is socially forbidden for a woman to engage in this act. In order to present a woman as a virgin on her marriage day, she is subjected to pressure, and put under control both by her family and societal norms. However, a man is free and never made to suffer any of the above. A woman found to be a virgin on her first night (...) of marriage is seen as a normal person while one suspected to have lost her virginity is made to undergo a series of medical examinations to bring clarity to her situation. (shrink)

According to phenomenal conservatism or dogmatism, perceptual experiences can give us immediate justification for beliefs about the external world in virtue of having a distinctive kind of phenomenal character—namely phenomenal force. I present three cases to show that phenomenal force is neither pervasive among nor exclusive to perceptual experiences. The plausibility of such cases calls out for explanation. I argue that contrary to a long-held assumption, phenomenal force is a separate, non-perceptual state generated by some metacognitive mechanisms that monitor one’s (...) first-order mental processes and states. This new account advances our understanding of the nature of phenomenal force. (shrink)

According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to the unjustified primacy of an undetermined scalar field. Instead, we propose to consider algebraic structures in which all (and only) physical fields are (...) primitive. We explain how the theory of natural operations in differential geometry—the modern formalism behind classifying diffeomorphism-invariant constructions—can be used to obtain concrete implementations of this idea for any given collection of fields. For concrete examples, we illustrate how our approach applies to a number of particular physical fields, including electrodynamics coupled to a Weyl spinor. (shrink)

Does phenomenal force, the distinctive phenomenology attributed to perceptual experience, really form an integral part of the latter? If not, what implications does it have for perceptual justification? In this paper, I first argue for a metacognitive account, according to which phenomenal force constitutes a separate, metacognitive state. This account opens up a previously unexplored path for challenging phenomenal conservatism or dogmatism, which has been a prominent theory of perceptual justification over the past two decades. Moreover, I investigate several alternative (...) possibilities in which phenomenal force might still be deemed as significant, but ultimately demonstrate that its epistemic role remains marginal at best. (shrink)

In this paper, I advance an original view of the structure of space called Infinitesimal Gunk. This view says that every region of space can be further divided and some regions have infinitesimal size, where infinitesimals are understood in the framework of Robinson’s nonstandard analysis. This view, I argue, provides a novel reply to the inconsistency arguments proposed by Arntzenius and Russell, which have troubled a more familiar gunky approach. Moreover, it has important advantages over the alternative views these authors (...) suggested. Unlike Arntzenius’s proposal, it does not introduce regions with no interior. It also has a much richer measure theory than Russell’s proposal and does not retreat to mere finite additivity. (shrink)

ABSTRACT Cognitive penetrability refers to the possibility that perceptual experiences are influenced by our beliefs, expectations, emotions, or other personal-level mental states. In this paper, I focus on the epistemological implication of cognitive penetration, and examine how, exactly, aetiologies matter to the justificatory power of perceptual experiences. I examine a prominent theory, according to which some cognitively penetrated perceptual experiences are like conclusions of bad inferences. Whereas one version of this theory is psychologically implausible, the other version has sceptical consequences. (...) In the second half of the paper, I suggest an alternative theory, drawing on recent empirical research on imagining-perception interaction and the epistemology of imagining. (shrink)

In this paper, I develop an original view of the structure of space—called infinitesimal atomism—as a reply to Zeno’s paradox of measure. According to this view, space is composed of ultimate parts with infinitesimal size, where infinitesimals are understood within the framework of Robinson’s nonstandard analysis. Notably, this view satisfies a version of additivity: for every region that has a size, its size is the sum of the sizes of its disjoint parts. In particular, the size of a finite region (...) is the sum of the sizes of its infinitesimal parts. Although this view is a coherent approach to Zeno’s paradox and is preferable to Skyrms’s infinitesimal approach, it faces both the main problem for the standard view and the main problem for finite atomism, leaving it with no clear advantage over these familiar alternatives. (shrink)

I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry based on certain algebraic objects, which regiments a mode of reasoning heuristically used by geometricists and physicists. I argue that SIG has the following utilities. It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. It generalizes a standard implementation of spacetime algebraicism called Einstein algebras. It solves the long-standing problem of (...) interpreting smooth infinitesimal analysis realistically, an alternative foundation of spacetime theories to real analysis, 277–392, 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations. Against this, I argue that SIG is such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails. (shrink)

2. The mouth: Sexuality and metaphysics.

Challenge-oriented organizational citizenship behavior or the organization-improving tasks employees perform beyond their job description is important for high organizational performance, but the organizational factors influencing it are poorly understood. In this study, we explored how inclusive leadership influences employees’ challenge-oriented organizational citizenship behavior in the Chinese context, drawing on data from 558 employees in high-tech industries. Multivariate correlation analysis showed that inclusive leadership promotes employees’ challenge-oriented organizational citizenship behavior and that this influence is partly mediated by work engagement. Further, it (...) showed that organizational innovative atmosphere has a moderating effect on the relationship between inclusive leadership and employees’ challenge-oriented organizational citizenship behavior. In effect, this study expands the range of predictive variables for challenge-oriented organizational citizenship behavior and provides not only theoretical insight but also practical guidance for leaders who seek to motivate this behavior in their employees. (shrink)