In this article, an in-depth study and analysis of economic structure are carried out using a neural network fusion release algorithm. The method system defines the weight space and structure space of neural networks from the perspective of optimization theory, proposes a bionic optimization algorithm under the weight space and structure space, and establishes a neuroevolutionary method with shallow neural network and deep neural network as the research objects. In the shallow neuroevolutionary, the improved genetic algorithm based on elite heuristic (...) operation and migration strategy and the improved coyote optimization algorithm based on adaptive influence weights are proposed, and the shallow neuroevolutionary method based on IGA and the shallow neuroevolutionary method based on ICOA are applied to the weight space of backpropagation neural networks. In deep neuroevolutionary method, the structure space of convolutional neural network is proposed to solve the search space design of neural structure search, and the GA-based deep neuroevolutionary method under the structure space of convolutional neural network is proposed to solve the problem that numerous hyperparameters and network structure parameters can produce explosive combinations when designing deep learning models. The neural network fusion bionic algorithm used has the application value of exploring the spatial structure and dynamics of the socioeconomic system, improving the perception of the socioeconomic situation, and understanding the development law of society, etc. The idea is also verifiable through the present computer technology. (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)

In this paper, we study the evolution of knowledge in multi-agent conformant planning over transition systems. We propose a dynamic epistemic logical framework with modalities of distributed knowledge to handle the epistemic reasoning in such scenarios, and we reduce a problem of multi-agent conformant planning to a model checking problem. We prove that multi-agent conformant planning is Pspace-complete on the size of the dynamic epistemic model.

© The Author, 2017. Published by Oxford University Press. All rights reserved. In this article, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We generalize the standard conformant planning problem in AI in two crucial aspects: first, the planning goal can be any formula expressed in an epistemic propositional dynamic logic ; second, procedural constraints of the desired plan specified by regular expressions can be imposed. We then reduce the problem of generalized conformant planning (...) to the model checking problem of our logic. Although our conformant planning problem is much more general than the standard one with Boolean goals and no procedural constraints, the complexity is still PSPACE-complete which is equally hard as standard conformant planning over explicit transition systems. (shrink)

In this paper, we propose a dynamic epistemic framework to capture the knowledge evolution in multi-agent systems where agents are not able to observe. We formalize multi-agent conformant planning with group knowledge, and reduce planning problems to model checking problems. We prove that multi-agent conformant planning with group knowledge is Pspace -complete on the size of dynamic epistemic models. We also consider the alternative Kripke semantics, and show that for each Kripke model with perfect recall and no miracles, there is (...) an equivalent dynamic epistemic model and vice versa. (shrink)

A succession of events is a sequence of events such that after one event is finished, the next one occurs successively. In this paper, we extended linear temporal logic with a new modality to capture the case that a sequence of events successively occurs. We compared the expressivity between this extended linear temporal logic and the standard linear temporal logic.

The DangShi manor is located in Hejiashi Village, Baijiajian Town approximately 20 kilometers from the southeast part of Suide County, Shaanxi Province, the unique architecture in Qing Dynasty that has been preserved almost intact in Suide County, a great cultural county, and is an officially protected site in Shaanxi Province. By means of field survey, mapping and taking photos and recording in Dangshi manor, this article acquires the abundant first-hand data about carving art of the manor. With the methods of (...) comparison and induction from the holistic perspective and detailed analysis in the local perspective, this article makes a meticulous analysis and study on the style, content, connotation, moulding and technique of carving art of Dangshi manor and discusses characteristics and protection and inheritance value of carving art of Dangshi manor in a systematic way. (shrink)

Kant’s published arguments for the non-spatiotemporality of things in themselves have not been well received. I argue that Kant has available to himself an argument for the non-spatiotemporality of things in themselves that is premised upon a disparity between the compositional structure of the intelligible world and the structure of space and time. I argue that Kant was unwaveringly committed to the premises of this argument throughout his career and that he was aware of their idealistic implications. I also argue (...) that this argument is consistent with Kant’s restrictive mature epistemology. If my argument is successful, then even if Kant’s published arguments for transcendental idealism fail, we need not regard his ambitious metaphysical project as a failure. (shrink)

Kant rejects the ontological argument on the grounds that the ontological argument inescapably must assume that existence is a “determination” or “real predicate,” which it is not. Most understand Kant’s argument for this claim to be premised upon his distinctive proto-Fregean theory of existence. But this leaves Kant dialectically vulnerable: the defender of the ontological argument can easily reject this as question-begging. I show that Kant relies upon two distinct arguments, both of which contend that the claim that existence is (...) a determination is inconsistent with bedrock ontological set pieces assumed by rationalist defenders of the ontological argument. (shrink)

To address complexity information fusion problems involving fuzzy and grey uncertainty information, we develop prioritized averaging aggregation operator and Bonferroni mean aggregation operator with grey linguistic 2-tuple variables and apply them to design a new decision-making scheme. First, the grey linguistic 2-tuple prioritized averaging operator is developed to characterize the prioritization relationship among experts and employed to fuse experts’ information into an overall opinion. Second, we establish dual generalized grey linguistic 2-tuple weighted Bonferroni mean operator to capture the interrelationship among (...) any attribute subsets, which can be reduced to some conventional operators by adjusting parameter vector. On that basis, a flexible group decision-making approach with fuzzy and grey information is designed and applied to an evaluation problem, in which grey relationship analysis method and a linear programming model are combined to extract attribute weights from partially known attribute information. Furthermore, an illustrative example is employed to illustrate the practicality and flexibility of the designed method by conducting the related comparative studies. (shrink)

Much recent attention has been paid to Kant’s account of the unity of space in the Critique of Pure Reason, not least because of the significant implications of that view for other key critical-period doctrines. But far less attention has been paid to the development of Kant’s account of the unity of space. This paper aims to offer a systematic account of Kant’s pre-critical account of the unity of space. On the view presented herein, Kant’s early account of the unity (...) of space is deeply rooted in his pre-critical cosmological views. In particular, I argue that Kant sees the unity of space as grounded in the cosmological unity of the world of substances, which is itself rooted in the divine conservation of all substances in relations of mutual causal dependence. I contend that the seeds of this view are present in the late 1740s and 1750s, but that this view receives its fullest and most complete expression in the 1770 Inaugural Dissertation. The final section of the paper considers the fate of Kant’s pre-critical account of the unity of space. I contend that the theory is excluded from the Critique of Pure Reason in light of the strict epistemological strictures adopted in that text. But considerable textual evidence shows that Kant continues to aver the theory throughout the 1770s and 1780s in the looser epistemic context of his lectures. I contend, then, that this theory is not abandoned at all. Rather, like Kant’s 1763 proof of the existence of God, it is epistemically demoted: it is Kant’s preferred view, but one that falls short of the demanding epistemic standards of the critical philosophy. (shrink)

Resumo: Chen Yingsong criou Lago Gato Selvagem não apenas para contar uma história sobre lésbicas. Ao descrever como Xiang’er, uma mulher rural, torna-se lésbica nas aldeias, pode-se ver a “riqueza” e o “significado metafórico” do símbolo lésbico. No que diz respeito ao Lago Gato Selvagem, é mais interessante tratar como Xiang’er se torna lésbica, que não se refere apenas sobre sexo ou gênero, mas também sobre opressão política e econômica; assim, o chamado gênero, entendido utopicamente, poderá ser identificado. Além disso, (...) a perda da subjetividade rural durante a ampliação e a transformação posterior, a nova opressão e a exploração resultantes são as razões fundamentais para Xiang’er se tornar lésbica e eventualmente “matar seu marido”. (shrink)

What role does our knowledge about the ideal society play in guiding policymaking in the real world? One intuitive answer is to approximate. Namely, we have a duty to approximate the ideal within the relevant constraints of feasibility. However, political philosophers seem to have what might be called ‘approximatophobia'. Many philosophers, including idealists such as David Estlund, warn against approximation. Their criticism is chiefly motivated by ‘the problem of second best’, which points out that your second-best option may not be (...) closest to your best option. This paper aims to dispel ‘approximatophobia'. The difficulty posed by the problem of second best is often overstated. More positively, I present a novel defence of approximation, arguing that approximation of an ideal can be a reasonably reliable default strategy of action guidance in the real world. Difficulties that may afflict the project of approximation can be mitigated by sophistication of the project of approximation. After showing that critics of approximation overstep their mark in issuing the strong or moderate warning against approximation, I propose an account of sophisticated approximation. It seeks a series of reforms that make existing social institutions closer to the ideal based on careful selection of frame of analysis. Three virtuous correlations are identified as indicators for successful project of approximation, linking descriptive similarity to desirability, feasibility and knowledge of the ideal. I also explain a two-staged strategy of sophisticating the way you approximate the ideal, with an expected positive feedback effect. (shrink)

This paper is expected to introduce a novel memductor-based chaotic system. The local dynamical entities, such as the basic dynamical behavior, the divergence, the stability of equilibrium set, and the Lyapunov exponent, are all investigated analytically and numerically to reveal the dynamic characteristics of the new memductor-based chaotic system as the system parameters and the initial state of memristor change. Subsequently, an active control method is derived to study the synchronous stability of the novel memductor-based chaotic system through making the (...) synchronization error system asymptotically stable at the origin. Further to these, a memductor-based chaotic circuit is designed, realized, and applied to construct a new memductor-based secure communication circuit by employing the basic electronic components and memristor. Furthermore, the design principle of the memductor-based chaotic circuit is thoroughly analyzed and the concept of “the memductor-based chaotic circuit defect quantification index” is proposed for the first time to verify whether the chaotic output is consistent with the mathematical model. A good qualitative agreement is shown between the simulations and the experimental validation results. (shrink)

This study chooses to describe social entrepreneurship as a social mission that enables business students to identify opportunities to launch start-ups and social enterprises by understanding the nature of social responsibility and fostering a reciprocal attitude to solve social issues. We collected data on students from different business schools in mainland China through a structured questionnaire and analyzed them through structural equation modeling. The results show that moral efficacy and meaningfulness are positively related to positive reciprocity, which leads to students’ (...) social entrepreneurial intentions. The study concluded that potential social entrepreneurs should take ethical courses as part of their training to help them develop a responsible mentality and social entrepreneurial aspirations. On this basis, the practical and theoretical significance of this study is proposed, and its limitations and future development directions are pointed out. (shrink)

The social, ethical and legal implications of discoveries in the neurosciences.

What role does our knowledge about the ideal society play in guiding policymaking in the real world? One intuitive answer is to approximate. Namely, we have a duty to approximate the ideal within the relevant constraints of feasibility. However, political philosophers seem to have what might be called ‘approximatophobia'. Many philosophers, including idealists such as David Estlund, warn against approximation. Their criticism is chiefly motivated by ‘the problem of second best’, which points out that your second-best option may not be (...) closest to your best option. This paper aims to dispel ‘approximatophobia'. The difficulty posed by the problem of second best is often overstated. More positively, I present a novel defence of approximation, arguing that approximation of an ideal can be a reasonably reliable default strategy of action guidance in the real world. Difficulties that may afflict the project of approximation can be mitigated by sophistication of the project of approximation. After showing that critics of approximation overstep their mark in issuing the strong or moderate warning against approximation, I propose an account of sophisticated approximation. It seeks a series of reforms that make existing social institutions closer to the ideal based on careful selection of frame of analysis. Three virtuous correlations are identified as indicators for successful project of approximation, linking descriptive similarity to desirability, feasibility and knowledge of the ideal. I also explain a two-staged strategy of sophisticating the way you approximate the ideal, with an expected positive feedback effect. (shrink)

Kant describes the concept of freedom as "the keystone of the whole structure of a system of pure reason, even of speculative reason." Kant's theory of freedom thus plays a foundational and unifying role in all aspects of his philosophy and is thus of significant interest to historians of Kant's philosophy. Kant's theory of freedom has also played a significant role in contemporary debates in metaphysics, normative ethics, and metaethics. This volume brings historians of Kant's philosophy into conversation with contemporary (...) metaphysicians and ethicists with the aim of representing the current state of scholarship on Kant's and Kantian accounts of freedom while at the same time opening new avenues of exploration. The Idea of Freedom includes papers by leading scholars on a range of historical and contemporary topics centrally related to the Kantian theory of freedom, including transcendental idealism, determinism, Kant's normative ethical theory, Kant's conception of cognition, Kant's theory of beauty, Kant's conception of logic, and many others. (shrink)

In considering Kant’s response to the Leibnizian theory of space in the Transcendental Aesthetic, scholars have overwhelmingly emphasized Kant’s response to Leibniz’s relationalism. They have largely missed the metaphysically realistic aspects of Leibniz’s theory with which Kant is primarily concerned. As such, scholars have failed to appreciate the threat Leibniz’s theory poses to Kant’s idealism, a point made publicly as early as 1786 by H. A. Pistorius. I argue that the Aesthetic does indeed contain a compelling argument against the Leibnizian (...) theory of space. This argument crucially depends upon Kant’s claim that space is monistic: that the whole of space is prior to the parts of space and, as such, spatial representations are not decomposable. (shrink)