The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different (...) approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

In this article, the dynamical behaviors of two classes of chaotic systems are considered based on generalized Lyapunov function theorem with integral inequalities. Explicit estimations of the ultimate bounds are derived. The results presented in this article contain the existing results as special cases. Computer simulation results show that the proposed method is effective. © 2014 Wiley Periodicals, Inc. Complexity 21: 363–369, 2015.

Transfer of information between senders and receivers, of one kind or another, is essential to all life. David Lewis introduced a game theoretic model of the simplest case, where one sender and one receiver have pure common interest. How hard or easy is it for evolution to achieve information transfer in Lewis signaling?. The answers involve surprising subtleties. We discuss some if these in terms of evolutionary dynamics in both finite and infinite populations, with and without mutation.

This volume outlines a model of language that can be characterized as functionalist, usage-based, dynamic, and complex-adaptive. The core idea is that linguistic structure is not stable and uniform, but continually refreshed by the interaction between three components: usage, the communicative activities of speakers; conventionalization, the social processes triggered by these activities and feeding back into them; and entrenchment, the individual cognitive processes that are also linked to these activities in a feedback loop. Hans-Joerg Schmid explains how this multiple feedback (...) system works by extending his Entrenchment-and-Conventionalization Model, showing how the linguistic system is created, sustained, and continually adapted by the ongoing interaction between usage, conventionalization, and entrenchment. Fulfilling the promise of usage-based accounts, the model explains how exactly usage is transformed into collective and individual grammar and how these two grammars in turn feed back into usage.0The book is exceptionally broad in scope, with insights from a wide range of linguistic subdisciplines. It provides a coherent account of the role of multiple factors that influence language structure, variation, and change, including frequency, economy, identity, multilingualism, and language contact. (shrink)

The development of an information society and information technologies does not result in positive consequences only. Individuals with criminal intent also find their niche. Information security includes the creation of the input, processing and output processes of protection. The objective of information security is to protect the system of values, to protect and ensure accuracy and integrity and to minimize losses that may be incurred if the information is modified or destroyed. In the development of an information society, the new (...) visible changes in the legislation for the classification of crimes–crimes against computers–altered the concept of electronic crime data and information system security concepts. This article presents a brief analysis on the concept of the change of crimes against security of electronic data and information systems, the legislation analysis, the crimes against security of electronic data systems and information dynamics and its relationship with business factors. (shrink)

In On Certainty, Wittgenstein argues both that certain propositions belong to our “frame of reference” and are “exempt from doubt,” and that this “river-bed of thoughts” can change. Exploring this seeming contradiction, I argue that such changes can take place as the result of rational argumentation, although of a highly indirect nature, and suggest that something like this can hold for argumentation between cultures.

A mathematical model based upon catastrophe theory is derived to describe the kinematics of the wing beat in Dipteran flight. The parameters of the model correspond to anatomical and physiological characteristics of the insect.

In this paper, a mathematical model was used to evaluate a dynamical hybrid system for optimizing and controlling the efficacy of plant-based protein in aquafeeds. Fishmeal, raw rapeseed meal, and a fermented meal with yeast and fungi were used as test ingredients for the determination of apparent digestibility coefficients of dry matter, crude protein, crude lipid, energy, and essential amino acids for olive flounder using diets containing 0.5% Cr2O3 as an inert indicator. Among all ingredients tested, FM had the maximum (...) ADC of dry matter, and energy. Fermented meals showed higher ADC. Amino acid digestibility reflects protein digestibility in most cases. Interestingly, protease, lipase, and amylase activities were better expressed in RM-Koji, RM-Yeast, and FM over RM, respectively. The current results deliver important information on nutrients and energy bioavailability in raw and fermented RM, which can be implemented to accurately formulate applied feeds for olive flounder. Compared with other applicable systems, the complexity of the approach implemented has been considerably reduced. (shrink)

The article is devoted to dynamic processes in the field of artificial intelligence, namely in the tasks of neurodynamics. The problems of stability of transient processes in neural networks, which dynamics can be described by systems of weakly nonlinear difference equations, are considered. Conditions are formulated in terms of the direct Lyapunov method.

This paper proposes an account of neurocognitive activity without leveraging the notion of neural representation. Neural representation is a concept that results from assuming that the properties of the models used in computational cognitive neuroscience must literally exist the system being modelled. Computational models are important tools to test a theory about how the collected data has been generated. While the usefulness of computational models is unquestionable, it does not follow that neurocognitive activity should literally entail the properties construed in (...) the model. While this is an assumption present in computationalist accounts, it is not held across the board in neuroscience. In the last section, the paper offers a dynamical account of neurocognitive activity with Dynamical Causal Modelling that combines dynamical systems theory mathematical formalisms with the theoretical contextualisation provided by Embodied and Enactive Cognitive Science. (shrink)

The overall goal of this target article is to demonstrate a mechanism for an embodied cognition. The particular vehicle is a much-studied, but still widely debated phenomenon seen in 7–12 month-old-infants. In Piaget's classic “A-not-B error,” infants who have successfully uncovered a toy at location “A” continue to reach to that location even after they watch the toy hidden in a nearby location “B.” Here, we question the traditional explanations of the error as an indicator of infants' concepts of objects (...) or other static mental structures. Instead, we demonstrate that the A-not-B error and its previously puzzling contextual variations can be understood by the coupled dynamics of the ordinary processes of goal-directed actions: looking, planning, reaching, and remembering. We offer a formal dynamic theory and model based on cognitive embodiment that both simulates the known A-not-B effects and offers novel predictions that match new experimental results. The demonstration supports an embodied view by casting the mental events involved in perception, planning, deciding, and remembering in the same analogic dynamic language as that used to describe bodily movement, so that they may be continuously meshed. We maintain that this mesh is a pre-eminently cognitive act of “knowing” not only in infancy but also in everyday activities throughout the life span. Key Words: cognitive development; dynamical systems theory; embodied cognition; infant development; motor control; motor planning; perception and action. (shrink)

Volatile compounds, such as nitric oxide and ethylene gas, play a vital role as signaling molecules in organisms. Ethylene is a plant hormone that regulates a wide range of plant growth, development, and responses to stress and is perceived by a family of ethylene receptors that localize in the endoplasmic reticulum. Constitutive Triple Response 1 (CTR1), a Raf‐like protein kinase and a key negative regulator for ethylene responses, tethers to the ethylene receptors, but undergoes nuclear translocation upon activation of ethylene (...) signaling. This ER‐to‐nucleus trafficking transforms CTR1 into a positive regulator for ethylene responses, significantly enhancing stress resilience to drought and salinity. The nuclear trafficking of CTR1 demonstrates that the spatiotemporal control of ethylene signaling is essential for stress adaptation. Understanding the mechanisms governing the spatiotemporal control of ethylene signaling elements is crucial for unraveling the system‐level regulatory mechanisms that collectively fine‐tune ethylene responses to optimize plant growth, development, and stress adaptation. (shrink)

In The Dynamics of Meaning , Gennaro Chierchia tackles central issues in dynamic semantics and extends the general framework. Chapter 1 introduces the notion of dynamic semantics and discusses in detail the phenomena that have been used to motivate it, such as "donkey" sentences and adverbs of quantification. The second chapter explores in greater depth the interpretation of indefinites and issues related to presuppositions of uniqueness and the "E-type strategy." In Chapter 3, Chierchia extends the dynamic approach to the (...) domain of syntactic theory, considering a range of empirical problems that includes backwards anaphora, reconstruction effects, and weak crossover. The final chapter develops the formal system of dynamic semantics to deal with central issues of definites and presupposition. Chierchia shows that an approach based on a principled enrichment of the mechanisms dealing with meaning is to be preferred on empirical grounds over approaches that depend on an enrichment of the syntactic apparatus. Dynamics of Meaning illustrates how seemingly abstract stances on the nature of meaning can have significant and far-reaching linguistic consequences, leading to the detection of new facts and influencing our understanding of the syntax/semantics/pragmatics interface. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary (...) worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

The acronym Developmental systems theory (DST) has been introduced into the literature on development in at least three different contexts in recent years – twice for DST, and before that, for Dynamical Systems Theory – and in all cases, to designate a new perspective for understanding development. Subtle but significant differences in argument and aims distinguish these uses, and confound the difficulty of saying just what DST is. My aim in this paper is to disambiguate these different terms (...) – both to call attention to the difference of perspectives, and to carve out a conceptual space for the concrete issues at stake. (shrink)

To improve the problems of inconvenient communication in the manufacturing industry, the ineffective use of resources, and the inability to efficiently complete manufacturing tasks, resource sharing has become an important model to promote the transformation and upgrading of the manufacturing industry. We used multiagent modeling to construct a resource-sharing model and take Baosteel as the micro background and the manufacturing industry as the macro background. Under this model, we discovered the effect of resource sharing on the efficiency of intelligent manufacturing (...) under network collaboration through system dynamics research. We built and simulated a dynamic model of system dynamics that couples the two backgrounds and have given policy suggestions according to the simulation result. (shrink)

Contemporary Chinese society has witnessed ongoing complex institutional and cultural reconfiguration, driven by the transition from the socialist planned economy to marketization and later its deep engagement in globalization and neoliberalism. In this reshaping of Chinese society, tradition and modernity, the resurgence of patriarchal Confucian tradition, the socialist version of modernity, the capitalist version of modernity, and the socialist heritage intermingle, and all seem to define a mosaic temporality.Facing the increasing uncertainties of the market, family members in post-reform China have (...) to stick together as an economic safety net, emotional harbor and spiritual fortress. Chinese parents heavily invest in their children and continue to support them in their adulthood; whereas, the youth is under great obligation to providing old age care for their parents; and parents may regard this heavily-invested offspring as their private product. This resurgent but modified familialism, is not an exact replication of traditional familialism, but is definitely different from the family modes featured by individualism in Western contexts. Mosaic familialism is characterized by a sequential symbiosis between parents and children facing financial constraints and unforeseeable uncertainties with a lack of a social safety net. At the same time, patriarchal Confucianism is rejuvenated to a certain degree, women’s traditional wife and mother role is once again stressed, if not glorified; and the neoliberal discourse articulating personal choice and responsibility, but not individual right, stands by seamlessly. Parents and children, husband and wife are dependent on each other in the intimate family, following a clearly gendered pattern. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary (...) worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

Recent investigation on the short-time dynamic scaling of critical dynamics is reviewed, with the aim of applying it to the field theory. The contents of this paper are as follows: (1) Short-time behavior of the critical relaxation dynamics, (2) Numerical evidence of the short-time scaling—2-dimensional Ising model and Universality, (3) Theoretical background of the generalized scaling form, (4) Application to a field theoretical model—(2+1)-dimensional SU(2) lattice gauge theory at finite temperature, and (5) Concluding remarks.

The feedback arrow extending from the response to the distal state in the lens model, together with Brunswik's dictum that the organism is a stabiliser of systems, implies a dynamic view of behaviour. This paper describes the main problems in the study of dynamic decision making: feedback delays and the feedback structure of the tasks. It also describes microworlds, a methodology for studying dynamic decision making in the laboratory. The results from experiments with microworlds show that subjects have problems (...) compensating for feedback delays and side effects. These results are discussed in terms of Brunswik's distinction between perception and thinking. (shrink)

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book (...) develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science. (shrink)

The traditional formalism of quantum mechanics is mainly used to describe ensembles of identical systems (with a density-operator formalism) or single isolated systems, but is not capable of describing single open quantum objects with many degrees of freedom showing pure-state stochastic dynamical behaviour. In particular, stochastic 'line-migration' as in single-molecule spectroscopy of defect molecules in a molecular matrix is not adequately described. Starting with the Bohr scenario of stochastic quantum jumps (between strict energy eigenstates), we try to incorporate (...) more general pure-state stochastic dynamical behaviour into the quantum mechanical formalism.Probability distributions of (approximately) pure states, arising through the stochastic pure-state dynamics for long times, give rise to appropriate decompositions of thermal density operators. These decompositions of density operators into pure states mediate between quantum mechanics for ensembles of molecules and quantum theory for single molecules (or single dressed quantum objects). We suggest that such decompositions should be consistent with infinite limits (e.g. the Born-Oppenheimer limit for infinite nuclear masses) in the sense that quantum fluctuations (around classical behaviour in the infinite limit) die out asymptotically. (shrink)

Statistical learning enables humans to involuntarily process and utilize different kinds of patterns from the environment. However, the cognitive mechanisms underlying the simultaneous acquisition of multiple regularities from different perceptual modalities remain unclear. A novel multidimensional serial reaction time task was developed to test 40 participants’ ability to learn simple first‐order and complex second‐order relations between uni‐modal visual and cross‐modal audio‐visual stimuli. Using the difference in reaction times between sequenced and random stimuli as the index of domain‐general statistical learning, a (...) significant difference and dissociation of learning occurred between the initial and final learning phases. Furthermore, we used a negative and positive occurrence‐frequency‐and‐reaction‐time correlation to indicate implicit and explicit learning, respectively, and found that learning simple uni‐modal patterns involved an implicit‐to‐explicit segue, while acquiring complex cross‐modal patterns required an explicit‐to‐implicit segue, resulting in a X‐shape crossing of regularity learning. Thus, we propose an X‐way hypothesis to elucidate the dynamic interplay between the implicit and explicit systems at two distinct stages when acquiring various regularities in a multidimensional probability space. (shrink)

This article addresses salient conceptual issues in social organisational psychology in probing change in organisational systems, e.g., culture, innovation and implementation, reflective practice and change models. Insights from chaos–complexity research in the natural sciences which underpin the dynamics of flux and change to unravel the hidden, the unexplained, the disordered will be built on to explore the phenomena of change from a social psychological perspective. The concept of nano-psychology is introduced to open up a creative debate in the (...) social psychological field on creative change which builds on the nano-insights evolving in the natural science field. (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 of the most efficient predator-prey models with spatial effects is the one with ratio-dependent functional response. However, there is a need to further explore the effects of spatial motion on the dynamic behavior of population. In this work, we study a ratio-dependent predator-prey model with diffusion terms. The aim of this work is to investigate the changes in predator’s distribution in space as the prey populations change their mobility. We observe that the frequency diffusion of the prey gives rise (...) to the sparse density of the predator. Moreover, we also observe that the increasing rate of the conversion into predator biomass induces pattern transitions of the predator. Specifically speaking, Turing pattern of the predator populations goes gradually from a spotted pattern to a black-eye pattern, with the intermediate state being the mixture of spot and stripe pattern. The simulation results and analysis of this work illustrate that the diffusion rate and the real intrinsic factor influence the persistence of the predator-prey system mutually. (shrink)

This paper is an attempt to construct a bridge between dialectics and mathematics, to interpret main dialectical laws in terms of the theory of dynamical systems. Negation is interpreted as a discrete shift along the dynamical system trajectory. For conservative systems, double negation law is trivial as in formal logic; for non-conservative systems, this law means slow evolution of the system under consideration. There are also mathematical interpretations for the transition from quantity to quality and interconnection between (...) opposites. (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)

The article discusses evolutionary aspects of mimicry from a semiotic viewpoint. The concept of semiotic scaffolding is used for this approach, and its relations with the concepts of exaptation and semiotic co-option are explained. Different dimensions of scaffolding are brought out as ontogenetic, evolutionary, physiological and cognitive. These dimensions allow for interpreting mimicry as a system that scaffolds itself. With the help of a number of mimicry cases, e.g. butterfly eyespots, brood parasitism, and plant mimesis, the evolutionary dynamics of (...) mimicry in the open bio-semiosphere is investigated. The main argument is that biological mimicry largely develops through sign relations and communicative relations between organisms. It is proposed that mimicry systems should be described as two-layered structures composed of the ecological composition of the species involved and the semiotic structure of their communication. (shrink)

The dynamics of neural populations capture the laws of the mindThis paper focuses on the level of neural networks. Examining the case of recurrent neural networks, the paper argues that the dynamics of neural populations form a privileged level of explanation in cognitive science. According to Schöner, this level is privileged, because it enables cognitive scientists to discover the laws governing organisms’ cognition and behaviour.

Management cybernetics has been in development since the 1960s, although its implementation has been relatively modest. Two of the best-known proposals are Beer’s Viable System Model and Steinbruner’s Cybernetic Theory of Decision. Both are homeostatic systems, inspired by living organisms. Professor Juan A. Pérez López (1934–1996) argued that homeostatic systems are not fully appropriated for human beings, and proposed instead the “Freely Adaptive System” (FAS) model to explain the dynamics of an organization formed by two dynamic human (...) systems. This model, although it is within the management cybernetic paradigm, and does not propose any anthropological philosophy, is consistent with several features of the Aristotelian anthropological tradition, including epistemology, practical reason, and virtues. The FAS model can help as a compass for decision making by considering three basic criteria—effectiveness, internal efficiency and consistency—when two persons—an active agent and a reactive agent—interact repeatedly. The model sheds light on the interdependence of ethics and efficiency in successive interactions. (shrink)

We propose an axiomatic approach to constructing the dynamics of systems, in which one the main elements 9e8 is the consciousness of a subject. The main axiom is the statements that the state of consciousness is completely determined by the results of measurements performed on it. In case of economic systems we propose to consider an offer of transaction as a fundamental measurement. Transactions with delayed choice, discussed in this paper, represent a logical generalization of incomplete transactions (...) and allow for a more rigorous approach to studying the properties of the algebra of economic measurements. Considering the behavior of an object as a sequence of actions and choices allows extending the obtained results to random systems, which include the subject's consciousness as one of its elements. The specifics, on which the description of fundamental measurements is based, allows easily transferring the formalism of Schwinger's theory of selective measurements (and the consequent quantum-mechanical formalism) to the economic and social systems. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary (...) worlds, and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

In recent debates mechanisms are often discussed in the context of ‘complex systems’ which are understood as having a complicated compositional structure. I want to draw the attention to another, radically different kind of complex system, in fact one that many scientists regard as the only genuine kind of complex system. Instead of being compositionally complex these systems rather exhibit highly non-trivial dynamical patterns on the basis of structurally simple arrangements of large numbers of non-linearly interacting constituents. The (...) characteristic dynamical patterns in what I call “dynamically complex systems” arise from the interaction of the system’s parts largely irrespective of many properties of these parts. Dynamically complex systems can exhibit surprising statistical characteristics, the robustness of which calls for an explanation in terms of underlying generating mechanisms. However, I want to argue, dynamically complex systems are not sufficiently covered by the available conceptions of mechanisms. I will explore how the notion of a mechanism has to be modified to accommodate this case. Moreover, I will show under which conditions the widespread, if not inflationary talk about mechanisms in complex systems stretches the notion of mechanisms beyond its reasonable limits and is no longer legitimate. (shrink)

We investigate the dynamics of a nonautonomous stochastic SIS epidemic model with nonlinear incidence rate and double epidemic hypothesis. By constructing suitable stochastic Lyapunov functions and using Has’minskii theory, we prove that there exists at least one nontrivial positive periodic solution of the system. Moreover, the sufficient conditions for extinction of the disease are obtained by using the theory of nonautonomous stochastic differential equations. Finally, numerical simulations are utilized to illustrate our theoretical analysis.

Covering a broad range of topics, this text provides a comprehensive survey of the modelling of chaotic dynamics and complexity in the natural and social sciences. Its attention to models in both the physical and social sciences and the detailed philosophical approach make this an unique text in the midst of many current books on chaos and complexity. Including an extensive index and bibliography along with numerous examples and simplified models, this is an ideal course text.