In order to figure out why quantum physics needs the complex Hilbert space, many attempts have been made to distinguish the C*-algebras and von Neumann algebras in more general classes of abstractly defined Jordan algebras . One particularly important distinguishing property was identified by Alfsen and Shultz and is the existence of a dynamical correspondence. It reproduces the dual role of the selfadjoint operators as observables and generators of dynamical groups in quantum mechanics. In the paper, this concept is (...) extended to another class of nonassociative algebras, arising from recent studies of the quantum logics with a conditional probability calculus and particularly of those that rule out third-order interference. The conditional probability calculus is a mathematical model of the Lüders–von Neumann quantum measurement process, and third-order interference is a property of the conditional probabilities which was discovered by Sorkin and which is ruled out by quantum mechanics. It is shown then that the postulates that a dynamical correspondence exists and that the square of any algebra element is positive still characterize, in the class considered, those algebras that emerge from the selfadjoint parts of C*-algebras equipped with the Jordan product. Within this class, the two postulates thus result in ordinary quantum mechanics using the complex Hilbert space or, vice versa, a genuine generalization of quantum theory must omit at least one of them. (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements (...) of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

We propose a general framework for dynamic epistemic logics. It consists of a generic language for DELs and a class of structures, called model transition systems, that describe model transformations in a static way. An MTS can be viewed as a two-layered Kripke model and consequently inherits standard concepts such as bisimulation and bounded morphism from the ordinary Kripke models. In the second half of this article we add the global operator to the language, which enables us to define (...) the notions of a canonical MTS and canonicity of a DEL formula for a property of MTSs. Using these notions, we clarify correspondences between axioms of DELs and properties of MTSs. (shrink)

Dynamic multiobjective optimization problems bring more challenges for multiobjective evolutionary algorithm due to its time-varying characteristic. To handle this kind of DMOPs, this paper presents a dynamic MOEA with multiple response strategies based on linear environment detection, called DMOEA-LEM. In this approach, different types of environmental changes are estimated and then the corresponding response strategies are activated to generate an efficient initial population for the new environment. DMOEA-LEM not only detects whether the environmental changes but also estimates the (...) types of linear changes so that different prediction models can be selected to initialize the population when the environmental changes. To study the performance of DMOEA-LEM, a large number of test DMOPs are adopted and the experiments validate the advantages of our algorithm when compared to three state-of-the-art dynamic MOEAs. (shrink)

Explaining the complex dynamics exhibited in many biological mechanisms requires extending the recent philosophical treatment of mechanisms that emphasizes sequences of operations. To understand how nonsequentially organized mechanisms will behave, scientists often advance what we call dynamic mechanistic explanations. These begin with a decomposition of the mechanism into component parts and operations, using a variety of laboratory-based strategies. Crucially, the mechanism is then recomposed by means of computational models in which variables or terms in differential equations correspond to properties (...) of its parts and operations. We provide two illustrations drawn from research on circadian rhythms. Once biologists identified some of the components of the molecular mechanism thought to be responsible for circadian rhythms, computational models were used to determine whether the proposed mechanisms could generate sustained oscillations. Modeling has become even more important as researchers have recognized that the oscillations generated in individual neurons are synchronized within networks; we describe models being employed to assess how different possible network architectures could produce the observed synchronized activity. (shrink)

Protein structure is dynamic: the intrinsic flexibility of polypeptides facilitates a range of conformational fluctuations, and individual protein chains can assemble into complexes. Proteins are also dynamic in evolution: significant variations in secondary, tertiary and quaternary structure can be observed among divergent members of a protein family. Recent work has highlighted intriguing similarities between these structural and evolutionary dynamics occurring at various levels. Here we review evidence showing how evolutionary changes in protein sequence and structure are often closely (...) related to local protein flexibility and disorder, large‐scale motions and quaternary structure assembly. We suggest that these correspondences can be largely explained by neutral evolution, while deviations between structural and evolutionary dynamics can provide valuable functional insights. Finally, we address future prospects for the field and practical applications that arise from a deeper understanding of the intimate relationship between protein structure, dynamics, function and evolution. (shrink)

We formulate a dynamic model of vascular tumor growth, in which the interdependence of vascular dynamics with tumor volume is considered. The model describes the angiogenic switch; thus the inhibition of the vascularization process by antiangiogenic drugs may be taken into account explicitly. We validate the model against volume measurement data originating from experiments on mice and analyze the model behavior assuming different inputs corresponding to different therapies. Furthermore, we show that a simple extension of the model is capable (...) of considering cytotoxic and antiangiogenic drugs as inputs simultaneously in qualitatively different ways. (shrink)

The aim of this paper is to demonstrate that the postulation of irreducible, distributed cognitive systems is necessary for the successful explanatory practice of cognitive science and sociology. Towards this end, and with an eye specifically on the phenomenon of distributed cognition, the debate over reductionism versus emergence is examined from the perspective of Dynamical Systems Theory. The motivation for this novel approach is threefold. Firstly, DST is particularly popular amongst cognitive scientists who work on modelling collective behaviors. Secondly, DST (...) can deliver two distinct arguments in support of the claim that the presence of mutual interactions between group members necessitates the postulation of the corresponding group entity. Thirdly, DST can also provide a succinct understanding of the way group entities exert downward causation on their individual members. The outcome is a naturalist account of the emergent, and thereby irreducible, nature of distributed cognitive systems that avoids the reductionists’ threat of epiphenomenalism, while being well in line with materialism. (shrink)

We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates (...) for belief revision can be analyzed by standard modal frame correspondences for model-changing operations. (shrink)

Scientific theories of consciousness identify its contents with the spatiotemporal structure of neural population activity. We follow up on this approach by stating and motivating Dynamical Emergence Theory, which defines the amount and structure of experience in terms of the intrinsic topology and geometry of a physical system’s collective dynamics. Specifically, we posit that distinct perceptual states correspond to coarse-grained macrostates reflecting an optimal partitioning of the system’s state space—a notion that aligns with several ideas and results from computational neuroscience (...) and cognitive psychology. We relate DET to existing work, offer predictions for empirical studies, and outline future research directions. (shrink)

Within natural language semantics, pronouns are often thought to correspond to variables whose values are contributed by contextual assignment functions. This paper concerns the application of this idea to cases where the antecedent of a pronoun is a plural quantifiers. The paper discusses the modelling of accessibility patterns of quantifier antecedents in a dynamic theory of interpretation. The goal is to reach a semantics of quantificational dependency which yields a fully semantic notion of pronominal accessibility. I argue that certain (...) dependency phenomena that arise in quantificationally created contexts require a representation of context wherein the labelling of antecedents is not rigid but rather dynamic itself. I propose a stack-based alternative to classic assignment functions, along the lines of Vermeulen (1993) and van Eijck (2001), and give a dynamic semantics of quantification which correctly accommodates the problematic anaphoric phenomena. (shrink)

There is some complementarity of models for the origin of the electroencephalogram (EEG) and neural network models for information storage in brainlike systems. From the EEG models of Freeman, of Nunez, and of the authors' group we argue that the wavelike processes revealed in the EEG exhibit linear and near-equilibrium dynamics at macroscopic scale, despite extremely nonlinear – probably chaotic – dynamics at microscopic scale. Simulations of cortical neuronal interactions at global and microscopic scales are then presented. The simulations depend (...) on anatomical and physiological estimates of synaptic densities, coupling symmetries, synaptic gain, dendritic time constants, and axonal delays. It is shown that the frequency content, wave velocities, frequency/wavenumber spectra and response to cortical activation of the electrocorticogram (ECoG) can be reproduced by a “lumped” simulation treating small cortical areas as single-function units. The corresponding cellular neural network simulation has properties that include those of attractor neural networks proposed by Amit and by Parisi. Within the simulations at both scales, sharp transitions occur between low and high cell firing rates. These transitions may form a basis for neural interactions across scale. To maintain overall cortical dynamics in the normal low firing-rate range, interactions between the cortex and the subcortical systems are required to prevent runaway global excitation. Thus, the interaction of cortex and subcortex via corticostriatal and related pathways may partly regulate global dynamics by a principle analogous to adiabatic control of artificial neural networks. (shrink)

Population Dynamics fills the gap between the classical supply-side population theory of Malthus and the modern demand-side theory of economic demography. In doing so, author Cyrus Chu investigates specifically the dynamic macro implications of various static micro family economic decisions. Holding the characteristic composition of the macro population to always be an aggregate result of some corresponding individual micro decision, Chu extends his research on the fertility-related decisions of families to an analysis of other economic determinations. Within this framework, (...) Chu studies the income distribution, attitude composition, job structure, and aggregate savings and pensions of the population. While in some cases a micro-macro connection is easily established under regular behavioral assumptions, in several chapters Chu enlists the mathematical tool of branching processes to determine the connection. Offering a wealth of detail, this book provides a balanced discussion of background motivation, theoretical characterization, and empirical evidence in an effort to bring about a renewal in the economic approach to population dynamics. This welcome addition to the research and theory of economic demography will interest professional economists as well as professors and graduate students of economics. (shrink)

A dynamic learning method is developed for an uncertain n-link robot with unknown system dynamics, achieving predefined performance attributes on the link angular position and velocity tracking errors. For a known nonsingular initial robotic condition, performance functions and unconstrained transformation errors are employed to prevent the violation of the full-state tracking error constraints. By combining two independent Lyapunov functions and radial basis function neural network approximator, a novel and simple adaptive neural control scheme is proposed for the dynamics of (...) the unconstrained transformation errors, which guarantees uniformly ultimate boundedness of all the signals in the closed-loop system. In the steady-state control process, RBF NNs are verified to satisfy the partial persistent excitation condition. Subsequently, an appropriate state transformation is adopted to achieve the accurate convergence of neural weight estimates. The corresponding experienced knowledge on unknown robotic dynamics is stored in NNs with constant neural weight values. Using the stored knowledge, a static neural learning controller is developed to improve the full-state tracking performance. A comparative simulation study on a 2-link robot illustrates the effectiveness of the proposed scheme. (shrink)

The concept of complementarity, originally defined for non-commuting observables of quantum systems with states of non-vanishing dispersion, is extended to classical dynamical systems with a partitioned phase space. Interpreting partitions in terms of ensembles of epistemic states (symbols) with corresponding classical observables, it is shown that such observables are complementary to each other with respect to particular partitions unless those partitions are generating. This explains why symbolic descriptions based on an ad hoc partition of an underlying phase space description should (...) generally be expected to be incompatible. Related approaches with different background and different objectives are discussed. (shrink)

Inquisitive dynamic epistemic logic extends standard public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, (...) with standard public announcement logic. We show that dynamic modalities admit a set of reduction axioms, which allow us to turn any formula of IDEL into an equivalent formula of static inquisitive epistemic logic. This leads us to establish several complete axiomatizations of IDEL, corresponding to known axiomatizations of public announcement logic. (shrink)

Dynamical systems are mathematical objects meant to formally capture the evolution of deterministic systems. Although no topological constraint is usually imposed on their state spaces, there is prima facie evidence that the topological properties of dynamical systems might naturally depend on their dynamical features. This paper aims to prepare the grounds for a systematic investigation of such dependence, by exploring how the underlying dynamics might naturally induce a corresponding topology.

What is the viewpoint regarding the emotional lives of sages in the Zhuangzi 莊子? There are two conflicting positions in current scholarship: sages have emotions, and sages are without emotions. In this essay, we introduce these positions with their corresponding textual support and show that they are not satisfactory accounts. Specifically, we point out that the conflict arises as scholars adopt a static model of emotions. Thus, we propose that a better way to understand the emotional lives of sages is (...) to adopt a dynamic model of emotions characterized by the process of forgetting. Through the discussion of such a dynamic process, we show how conflicting textual evidence can be integrated into this dynamic process and, at the same time, be read consistently. Ultimately, we argue that the ideal emotional lives of sages in the Zhuangzi adopt a dynamic model of emotions characterized by the vacillation of activity of the mind between the state with and without emotions. (shrink)

Acts of perception are shown to be based on dynamic drives and interests, And so to be parts of purposive acts. A number of consequences follow. For instance, In distal auditory or visual perceptions there are two objects--The transcendent object of the distant goal and source of stimulation, And the immediate sensory object with its anticipatory references. This leads to an operational-Correspondence theory of truth to verify the references. Passive traditional theories are confused on this and other relevant (...) points. (shrink)

. Interpreted dynamical systems are dynamical systems with an additional interpretation mapping by which propositional formulas are assigned to system states. The dynamics of such systems may be described in terms of qualitative laws for which a satisfaction clause is defined. We show that the systems Cand CL of nonmonotonic logic are adequate with respect to the corresponding description of the classes of interpreted ordered and interpreted hierarchical systems, respectively. Inhibition networks, artificial neural networks, logic programs, and evolutionary systems are (...) instances of such interpreted dynamical systems, and thus our results entail that each of them may be described correctly and, in a sense, even completely by qualitative laws that obey the rules of a nonmonotonic logic system. (shrink)

Psychiatric diagnostic covariation suggests that the underlying structure of psychopathology is not one of circumscribed disorders. Quantitative modeling of individual differences in diagnostic patterns has uncovered several broad domains of mental disorder liability, of which the Internalizing and Externalizing spectra have garnered the greatest support. These dimensions have generally been estimated from lifetime or past-year comorbidity patters, which are distal from the covariation of symptoms and maladaptive behavior that ebb and flow in daily life. In this study, structural models are (...) applied to daily diary data ( Median = 94 days) of maladaptive behaviors collected from a sample ( N = 101) of individuals diagnosed with personality disorders (PDs). Using multilevel and unified structural equation modeling, between-person, within-person, and person-specific structures were estimated from 16 behaviors that are encompassed by the Internalizing and Externalizing spectra. At the between-person level (i.e., individual differences in average endorsement across days) we found support for a two-factor Internalizing–Externalizing model, which exhibits significant associations with corresponding diagnostic spectra. At the within-person level (i.e., dynamic covariation among daily behavior pooled across individuals) we found support for a more differentiated, four-factor, Negative Affect-Detachment-Hostility-Disinhibition structure. Finally, we demonstrate that the person-specific structures of associations between these four domains are highly idiosyncratic. (shrink)

In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not (...) derived’ according to the content of the sequence. We show that decisive conclusions of such a process correspond to well-accepted consequences of the underlying argumentation framework. The outcome is therefore a general and modular proof-theoretical approach for paraconsistent and non-monotonic reasoning with argumentation systems. (shrink)

One finds, even in texts by distinguished physicists, diverse enunciations of the correspondence principle. Typical is that quantum mechanics should agree with classical mechanics in some appropriate limit. Most commonly, the limit specified is that of high quantum numbers, or of large masses and orbits of large dimensions. But sometimes it is specified as mean behavior when large numbers quanta are involved, or sometimes even as just the average of quantum mechanical variables. Sometimes, the principle is even taken as (...) a prescription for replacing the classical dynamical observables with an appropriate mathematical operator. In 1918, however, Bohr proposed what he would later call the correspondence principle as a way of deriving amplitudes and polarizations of emitted and absorbed spectral lines. I will begin with Bohr's principle and trace the evolution of correspondence considerations through the 1920's, with a view as to whether in each case it is supposed to play the role of a theorem, an adequacy constraint, an inductive hypothesis or a heuristic. (shrink)

Research on facial emotion expression has mostly focused on emotion recognition, assuming that a small number of discrete emotions is elicited and expressed via prototypical facial muscle configurations as captured in still photographs. These are expected to be recognized by observers, presumably via template matching. In contrast, appraisal theories of emotion propose a more dynamic approach, suggesting that specific elements of facial expressions are directly produced by the result of certain appraisals and predicting the facial patterns to be expected (...) for certain appraisal configurations. This approach has recently been extended to emotion perception, claiming that observers first infer individual appraisals and only then make categorical emotion judgments based on the estimated appraisal patterns, using semantic inference rules. Here we report two related studies to empirically investigate the facial action unit configurations that are used by actors to convey specific emotions in short affect bursts and to examine to what extent observers can infer a person’s emotions from the predicted facial expression configurations. The results show that 1) professional actors use many of the predicted facial action unit patterns to enact systematically specified appraisal outcomes in a realistic scenario setting, and 2) naïve observers infer the respective emotions based on highly similar facial movement configurations with a degree of accuracy comparable to earlier research findings. Based on estimates of underlying appraisal criteria for the different emotions we conclude that the patterns of facial action units identified in this research correspond largely to prior predictions and encourage further research on appraisal-driven expression and inference. (shrink)

Quantum phenomena are notoriously difficult to grasp. The present paper first reviews the most important quantum concepts in a non-technical manner: superposition, uncertainty, collapse of the wave function, entanglement and non-locality. It then tries to clarify these concepts by examining their analogues in complex, self-organizing systems. These include bifurcations, attractors, emergent constraints, order parameters and non-local correlations. They are illustrated with concrete examples that include Rayleigh–Bénard convection, social self-organization and Gestalt perception of ambiguous figures. In both cases, quantum and self-organizing, (...) the core process appears to be a symmetry breaking that irreversibly and unpredictably “collapses” an ambiguous state into one of a number of initially equivalent “eigenstates” or “attractors”. Some speculations are proposed about the non-linear amplification of quantum fluctuations of the vacuum being ultimately responsible for such symmetry breaking. (shrink)

This work presents a specific stock-effort dynamical model. The stocks correspond to two populations of fish moving and growing between two fishery zones. They are harvested by two different fleets. The effort represents the number of fishing boats of the two fleets that operate in the two fishing zones. The bioeconomical model is a set of four ODE's governing the fishing efforts and the stocks in the two fishing areas. Furthermore, the migration of the fish between the two patches is (...) assumed to be faster than the growth of the harvested stock. The displacement of the fleets is also faster than the variation in the number of fishing boats resulting from the investment of the fishing income. So, there are two time scales: a fast one corresponding to the migration between the two patches, and a slow time scale corresponding to growth. We use aggregation methods that allow us to reduce the dimension of the model and to obtain an aggregated model for the total fishing effort and fish stock of the two fishing zones. The mathematical analysis of the model is shown. Under some conditions, we obtain a stable equilibrium, which is a desired situation, as it leads to a sustainable harvesting equilibrium, keeping the stock at exploitable densities. (shrink)

Non-classical logic via approximation of self-referential sentences by dynamical systems are consistently presented. The new 6-valued truth values (here A=Liar, V=TruthTeller) are presented as a function of the classical truth values xi ∈ {0,1}, which resulted in a philosophical standpoint known as Suszko’s Thesis. Three-valued truth tables were created corresponding to Priest’s tables of the same name. In the process of constructing 4-valued truth tables, two more new truth values (va, av) were revealed that do not coincide with the four (...) original ones. Therefore, the closed tables turned out to be 6-valued. Prof Dunn’s 4-valued truth tables are compared with our 4-valued truth tables. De Morgan’s laws are confirmed by six-valued truth tables. Constructed 3-, 4- and 6-valued lattices obeying De Morgan’s laws. (shrink)

The symplectic quantization scheme proposed for matter scalar fields in the companion paper (Gradenigo and Livi, arXiv:2101.02125, 2021) is generalized here to the case of space–time quantum fluctuations. That is, we present a new formalism to frame the quantum gravity problem. Inspired by the stochastic quantization approach to gravity, symplectic quantization considers an explicit dependence of the metric tensor gμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_{\mu \nu }$$\end{document} on an additional time variable, named intrinsic time at variance (...) with the coordinate time of relativity, from which it is different. The physical meaning of intrinsic time, which is truly a parameter and not a coordinate, is to label the sequence of gμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_{\mu \nu }$$\end{document} quantum fluctuations at a given point of the four-dimensional space–time continuum. For this reason symplectic quantization necessarily incorporates a new degree of freedom, the derivative g˙μν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\dot{g}}_{\mu \nu }$$\end{document} of the metric field with respect to intrinsic time, corresponding to the conjugated momentum πμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi _{\mu \nu }$$\end{document}. Our proposal is to describe the quantum fluctuations of gravity by means of a symplectic dynamics generated by a generalized action functional A[gμν,πμν]=K[gμν,πμν]-S[gμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {A}}[g_{\mu \nu },\pi _{\mu \nu }] = {\mathcal {K}}[g_{\mu \nu },\pi _{\mu \nu }] - S[g_{\mu \nu }]$$\end{document}, playing formally the role of a Hamilton function, where S[gμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S[g_{\mu \nu }]$$\end{document} is the standard Einstein–Hilbert action while K[gμν,πμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {K}}[g_{\mu \nu },\pi _{\mu \nu }]$$\end{document} is a new term including the kinetic degrees of freedom of the field. Such an action allows us to define an ensemble for the quantum fluctuations of gμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_{\mu \nu }$$\end{document} analogous to the microcanonical one in statistical mechanics, with the only difference that in the present case one has conservation of the generalized action A[gμν,πμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {A}}[g_{\mu \nu },\pi _{\mu \nu }]$$\end{document} and not of energy. Since the Einstein–Hilbert action S[gμν]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S[g_{\mu \nu }]$$\end{document} plays the role of a potential term in the new pseudo-Hamiltonian formalism, it can fluctuate along the symplectic action-preserving dynamics. These fluctuations are the quantum fluctuations of gμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g_{\mu \nu }$$\end{document}. Finally, we show how the standard path-integral approach to gravity can be obtained as an approximation of the symplectic quantization approach. By doing so we explain how the integration over the conjugated momentum field πμν\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi _{\mu \nu }$$\end{document} gives rise to a cosmological constant term in the path-integral approach. (shrink)

As a most important component of capital market, stock market has always been regarded as the “barometer” of macroeconomy. However, many researchers have found that the stock market is not always in the lead, especially for the emerging markets, and the leading role of different sector indices is also different for the corresponding sectors. From the perspective of a comparison between mature market and emerging market at sectoral level, this paper utilizes the thermal optimal method to examine the dynamic (...) lead-lag relationships between stock sector indices and macroeconomic variables for the USA and China. The results show that, for the US stock market, three sector indices including consumption, industry, and real estate have been leading the corresponding macroeconomic variables since 2013; for the Chinese stock market, the lead-lag relationships are different for these sectors. The real estate sector index and the industry sector index have been leading the corresponding macroeconomic variables since 2010, and the lead-lag relationship between the consumption sector index and the total retail sales is not always positive or negative, which means that the consumption sector index does not always lead the total retail sales. The empirical results confirm that the “barometer function” of immature stock market is still weak and easier to be disabled by factors such as irrational market sentiment. (shrink)

This study of the workings of neural networks in perception and understanding of situations and simple sentences shows that, and how, distributed conceptual constituents are bound together in episodes within an interactive/dynamic architecture of sensorial and pre-motor maps, and maps of conceptual indicators (semantic memory) and individuating indicators (historical, episodic memory). Activation circuits between these maps make sensorial and pre-motor fields in the brain function as episodic maps creating representations, which are expressions in consciousness. It is argued that all (...) consciousness is episodic, consisting of situational or linguistic representations, and that the mind is the whole of all conscious manifestations of the brain. Thought occurs only in the form of linguistic or image representations. The book also discusses the role of consciousness in the relationship between causal and denotational semantics, and its role for the possibility of representations and rules. Four recent controversies in consciousness research are discussed and decided along this model of consciousness: • Is consciousness an internal or external monitoring device of brain states? • Do all conscious states involve thought and judgement? • Are there different kinds of consciousness? • Do we have a one-on-one correspondence between certain brain states and conscious states. The book discusses also the role of consciousness in the relationship between causal and denotational semantics, and its role for the possibility of representations and rules. (Series A). (shrink)

The Visual World Paradigm (VWP) presents listeners with a challenging problem: They must integrate two disparate signals, the spoken language and the visual context, in support of action (e.g., complex movements of the eyes across a scene). We present Impulse Processing, a dynamical systems approach to incremental eye movements in the visual world that suggests a framework for integrating language, vision, and action generally. Our approach assumes that impulses driven by the language and the visual context impinge minutely on a (...) dynamical landscape of attractors corresponding to the potential eye-movement behaviors of the system. We test three unique predictions of our approach in an empirical study in the VWP, and describe an implementation in an artificial neural network. We discuss the Impulse Processing framework in relation to other models of the VWP. (shrink)

Spatial predator-prey models have been studied by researchers for many years, because the exact distributions of the population can be well illustrated via pattern formation. In this paper, amplitude equations of a spatial Holling–Tanner predator-prey model are studied via multiple scale analysis. First, by amplitude equations, we obtain the corresponding intervals in which different kinds of patterns will be onset. Additionally, we get the conclusion that pattern transitions of the predator are induced by the increasing rate of conversion into predator (...) biomass. Specifically, pattern transitions of the predator between distinct Turing pattern structures vary in an orderly manner: from spotted patterns to stripe patterns, and finally to black-eye patterns. Moreover, it is discovered that pattern transitions of prey can be induced by cross-diffusion; that is, patterns of prey transmit from spotted patterns to stripe patterns and finally to a mixture of spot and stripe patterns. Meanwhile, it is found that both effects of cross-diffusion and interaction between the prey and predator can lead to the complicated phenomenon of dynamics in the system of biology. (shrink)

In this paper, we formulate and investigate a two-microorganism and single nutrient chemostat model with Monod-Haldane response function and random perturbation. First, for the corresponding deterministic system, we introduce the conditions of the stability of the equilibrium points. Then, using Lyapunov function and Itô’s formula, we investigate the existence and uniqueness of the global positive solution of the stochastic chemostat model. Furthermore, we explore and obtain the criterions of the extinction and the permanence for the stochastic model. Finally, numerical simulations (...) are carried out to illustrate our main results. (shrink)

Building computational models of engineered exemplars, or prototypes, is a common practice in the bioengineering sciences. Computational models in this domain are often built in a patchwork fashion, drawing on data and bits of theory from many different domains, and in tandem with actual physical models, as the key objective is to engineer these prototypes of natural phenomena. Interestingly, such patchy model building, often combined with visualizations, whose format is open to a wide range of choice, leads to the discovery (...) of new concepts and control structures. Two key questions are raised by this practice: how could discoveries arise from building external representations for which there is wide latitude in choice of the components from which they are built, and thus can be considered significantly arbitrary, and how could such discoveries allow engineering a real-world prototype system. To examine these questions, we present two case studies of discoveries that emerged from the building of such computational models in the bioengineering sciences. We then develop a process model that accounts for the discovery and transfer problems raised by both these cases, focusing on the process of building the model. Specifically, to account for the discovery problem, we propose that the process of building such models gradually leads to a close coupling between the modeler’s internal processes and the external dynamic model. To account for the transfer problem, we propose that the process of building the model leads to the creation of an enactive model that is generic, which closely enacts, and thus reveals, the way the system-level behavior of the engineered prototype emerges in time through the interaction of its parts. This enactive replication process leads to the model and the prototype forming a new class, which allows concepts and control structures developed for the computational model to be transfered to the real-world prototype. We argue that this account requires rethinking correspondence in engineering sciences as a plastic and enactive relation. A closer focus on the process of building models is required to develop a general account of this emerging approach to discovery. (shrink)

I examine the adequacy of the causal graph-structural equations approach to causation for modeling biological mechanisms. I focus in particular on mechanisms with complex dynamics such as the PER biological clock mechanism in Drosophila. I show that a quantitative model of this mechanism that uses coupled differential equations – the well-known Goldbeter model – cannot be adequately represented in the standard causal graph framework, even though this framework does permit causal cycles. The reason is that the model contains dynamical information (...) about the mechanism that concerns causal properties but that does not correspond to variables that could be subject to independent interventions. Thus, a representation of the mechanisms as a causal structural model necessarily suppresses causally relevant information. (shrink)

As a result of the increasing economical exploitation of outer space, humanity faces a new challenge that, as well as having economic advantages, also entails a great many ecological hazards. At present, the human race is encroaching on outer space, particularly in the form of almost 5000 active satellites and the corresponding space debris they produce. For the large part, this debris burns up on entering the Earth’s atmosphere, yet time and again it still does cause damage. However, this could (...) change dramatically if, as is now foreseeable, further uses of outer space, such as tourism, so-called satellite mega-constellations, regular transport flights to the moon or even Mars and the extraction of water and valuable rocks from celestial bodies, are expanded. There is a danger that ecological damage like that of the earlier phases of economic development will become externalised and ultimately pose a threat to the whole of humanity. Sautter’s ‘global “sustainability trilemma”’ remains unresolved. This trilemma consists in the fact that, in political resolutions, ‘the growth of resource-intensive prosperity is weighted far more highly than the conservation of functioning ecosystems and the implementation of inter- and intragenerational “justice”’ and that there are ‘up until now no efficient and ethically acceptable solutions’ for this problem. In this situation, it is therefore more important that rules for the sustainable use of outer space be established and enshrined as legally binding so that it becomes possible to minimise or even to preclude negative ecological consequences.Contribution: Although the commercial use of outer space does not seem to be a crucial point, it marks a new step of the dynamics of modern economics that has to be identified as an important ethical challenge. The article discusses aspects of ethics, law, religion and economy in a multidisciplinary way. (shrink)

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This dissertation (...) focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

In this paper, we investigate the ultimate bound set and positively invariant set of a 3D Lorenz-like chaotic system, which is different from the well-known Lorenz system, Rössler system, Chen system, Lü system, and even Lorenz system family. Furthermore, we investigate the global exponential attractive set of this system via the Lyapunov function method. The rate of the trajectories going from the exterior of the globally exponential attractive set to the interior of the globally exponential attractive set is also obtained (...) for all the positive parameters values a,b,c. The innovation of this paper is that our approach to construct the ultimate bounded and globally exponential attractivity sets assumes that the corresponding sets depend on some artificial parameters ; that is, for the fixed parameters of the system, we have a series of sets depending on λ and m. The results contain the known result as a special case for the fixed λ and m. The efficiency of the scheme is shown numerically. The theoretical results may find wide applications in chaos control and chaos synchronization. (shrink)

Although Bohr’s Correspondence Principle (CP) played a central role in the first days of quantum mechanics, its original version seems to have no present-day relevance. The purpose of this article is to show that the CP, with no need of being interpreted in terms of the quantum-to-classical limit, still plays a relevant role in the understanding of the relationships between the classical and the quantum domains. In particular, it will be argued that a generic version of the CP is (...) very helpful in elucidating the physical meaning of the phenomenon of quantum decoherence. (shrink)

In this paper, prediction markets that encourage traders to bet on matters of life and death are used to explore the varieties and dynamics of moral repugnance. We define moral repugnance as morally charged feelings of revulsion that correspond (correctly, incorrectly, and indeterminately) to moral reasons and contexts. Rich variations of moral repugnance and their dynamic qualities are presented by investigating the contextual frames in which they arise. These contextual frames constitute interacting conditions composed of information about states of (...) affairs, moral reasons, and feelings of revulsion. Through careful study of two medical prediction markets that encourage betting on death, we can observe the interaction between these causal conditions to see how the varieties of moral repugnance emerge. We also present three interesting results that arise from analyzing the dynamics of moral repugnance in response to prediction markets. First, a prediction market can elicit several conflicting types of moral repugnance at the same time. Second, moral indeterminacy can arise in two different ways when judging prediction markets. Finally, some prediction markets can generate a moral endogeneity problem, a disruptive feedback loop between a given prediction market and the morally relevant outcome it predicts. (shrink)

The theory of dynamical systems allows one to describe the change in a system' 's macroscopic behavior as a bifurcation in the underlying dynamics. We show here, from the example of depressive syndrome, the existence of a correspondence between clinical and electro-physiological dimensions and the association between clinical remission and brain dynamics reorganization. On the basis of this experimental study, we discuss the interest of such results concerning the question of normality versus pathology in psychiatry and the relationship between (...) mind and brain. (shrink)

In recent years, ethical questions related to the development of artificial intelligence are being increasingly discussed. However, there has not been enough corresponding increase in the research and development associated with AI technology that incorporates with ethical discussion. We therefore implemented an organic and dynamic tool for use with knowledge base of AI ethics for engineers to promote engineers’ practice of ethical AI design to realize further social values. Here, “organic” means that the tool deals with complex relationships among (...) different AI ethics. “Dynamic” means that the tool dynamically adopts new issues and helps engineers think in their own contexts. Data in the knowledge base of the tool is standardized based on the ethical design theory that consists of an extension of the hierarchical representation of artifacts to understand ethical considerations from the perspective of engineering, and a description method to express the design ideas. In addition, we apply the dynamic knowledge management model called knowledge liquidization and crystallization. To discuss the effects, we introduce three cases: a case for the clarification of differences in the structures among AI ethics and design ideas, a case for the presentation of semantic distance among them, and a case for the recommendation of the scenario paths that allow engineers to seamlessly use AI ethics in their own contexts. We discuss the effectiveness of the tool. We also show the probability that engineers can reconstruct AI ethics as a more practical one with professional ethicists. (shrink)

If one demystifies entropy the second law of thermodynamics comes out as an emergent property entirely based on the simple dynamic mechanical laws that govern the motion and energies of system parts on a micro-scale. The emergence of the second law is illustrated in this paper through the development of a new, very simple and highly efficient technique to compare time-averaged energies in isolated conservative linear large scale dynamical systems. Entropy is replaced by a notion that is much more (...) transparent and more or less dual called ectropy. Ectropy has been introduced before but we further modify the notion of ectropy such that the unit in which it is expressed becomes the unit of energy. The second law of thermodynamics in terms of ectropy states that ectropy decreases with time on a large enough time-scale and has an absolute minimum equal to zero. Zero ectropy corresponds to energy equipartition. Basically we show that by enlarging the dimension of an isolated conservative linear dynamical system and the dimension of the system parts over which we consider time-averaged energy partition, the tendency towards equipartition increases while equipartition is achieved in the limit. This illustrates that the second law is an emergent property of these systems. Finally from our large scale linear dynamic model we clarify Loschmidt’s paradox concerning the irreversible behavior of ectropy obtained from the reversible dynamic laws that govern motion and energy at the micro-scale. (shrink)

This paper discusses possible correspondences between the dynamical systems characteristics observed in our previously proposed cognitive model and phenomenological accounts of immanent time considered by Edmund Husserl. Our simulation experiments in the anticiparatory learning of a robot showed that encountering sensory-motor flow can be learned as segmented into chunks of reusable primitives with accompanying dynamic shifting between coherences and incoherences in local modules. It is considered that the sense of objective time might appear when the continuous sensory-motor flow input (...) to the robot is reconstructed into compositional memory structures through the articulation processes described. (shrink)

The following considerations concern modelling Belief Dynamics (BD) not just in the sense of a formalization, but rather in the sense of building a computational model and implementing the corresponding data structures and algorithms of recomputing beliefs. The purpose of such a project is to illustrate some ideas about belief changes in a Web of Beliefs (WoB) to explore and deepen one's understanding of belief changes by trying to implement or improve corresponding algorithms.

The modal interpretation of quantum mechanics allows one to keep the standard classical definition of realism intact. That is, variables have a definite status for all time and a measurement only tells us which value it had. However, at present modal dynamics are only applicable to situations that are described in the orthodox theory by projective measures. In this paper we extend modal dynamics to include positive operator measures. That is, for example, rather than using a complete set of orthogonal (...) projectors, we can use an overcomplete set of nonorthogonal projectors. We derive the conditions under which Bell's stochastic modal dynamics for projective measures reduce to deterministic dynamics, showing that Brown and Hiley's generalization of Bohmian mechanics [quant-ph/0005026, ] cannot be thus derived. We then show how deterministic dynamics for positive operators can also be derived. As a simple case, we consider a Harmonic oscillator, and the overcomplete set of coherent state projectors. We show that the modal dynamics for this POM in the classical limit correspond to the classical dynamics, even for the nonclassical number state |n>. This is in contrast to the Bohmian dynamics, which for energy eigenstates, the dynamics are always non-classical. (shrink)

Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with these situations, where agents have only knowledge about the available information, which can be incomplete or conflicting, but not explicitly about facts. This layer of available (...) information or evidence, which is the object of the agents’ knowledge, can be seen as a database. By adopting this sceptical posture in our semantics, we prepare the ground for logics where the notion of knowledge—or more appropriately, belief—is entirely based on evidence. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system. In summary, our contributions are twofold: on the one hand we present an intuition and possible application for many-valued modal logics, and on the other hand we develop a logic that models the dynamics of evidence in a simple and intuitively clear fashion. (shrink)

Freeman's pioneering work -- and neurodynamics in general -- has largely ignored specification of an anatomical framework within which features of coherent objects are represented, associated, deleted, and manipulated in computations. Recent theoretical work suggests such a framework can emerge during embryogenesis by selection of neuron ensembles and synaptic connections that maximize the magnitude of synchrony while approaching ultra-small-world connectivity. The emergent structures correspond to those of both columnar and non-columnar cortex. With initial connections thus organized, spatio-temporal information in sensory (...) inputs can generate systematic and specific patterns of synchronous oscillation, with consequent synaptic storage. The theoretical assemblies of connections resemble experimentally observed 'lego sets', while facilitation and interference among synchronous patterns, particularly when executed by fast synapses under metabolic entanglement, imply powerful parallel computation. (shrink)

There is a longstanding debate in the literature about static versus dynamic approaches to meaning and conversation. A formal result due to van Benthem is often thought to be important for understanding what, conceptually speaking, is at issue in the debate. We introduce the concept of a conversation system, and we use it to clarify the import of van Benthem's result. We then distinguish two classes of conversation systems, corresponding to two concepts of staticness. The first class corresponds to (...) a generalization of the class of systems that van Benthem's result concerns. These are the strongly static conversation systems. The second class is broader, and allows for a certain commonly recognized form of context sensitivity. These are the weakly static conversation systems. In the vein of van Benthem's result, we supply representation theorems which independently characterize these two varieties of conversation system. We observe that some canonically dynamic semantic systems correspond to weakly static conversation systems. We close by discussing some hazards that arise in trying to bring our formal results to bear on natural language phenomena, and on the debate about whether the compositional semantics for natural language should take a dynamic shape. (shrink)