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)

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures (...) of uniform substitution. First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)

Beyond belief change and meme adoption, both genetics and infection have been spoken of in terms of information transfer. What we examine here, concentrating on the specific case of transfer between sub-networks, are the differences in network dynamics in these cases: the different network dynamics of germs, genes, and memes. Germs and memes, it turns out, exhibit a very different dynamics across networks. For infection, measured in terms of time to total infection, it is network type (...) rather than degree of linkage between sub-networks that is of primary importance. For belief transfer, measured in terms of time to consensus, it is degree of linkage rather than network type that is crucial. Genes model each of these other dynamics in part, but match neither in full. For genetics, like belief transfer and unlike infection, network type makes little difference. Like infection and unlike belief, on the other hand, the dynamics of genetic information transfer within single and between linked networks are much the same. In ways both surprising and intriguing, transfer of genetic information seems to be robust across network differences crucial for the other two. (shrink)

We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion always succeeds in expressing a well-defined doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an arbitrary (...) assertion. Leaving a comprehensive philosophical and linguistic defense for elsewhere, we explore technical aspects of our framework, providing, for instance, a complete logic of assertability and reduction axioms for the novel update operations related to our proposal. Finally, we contrast our work with related proposals in the logic literature. (shrink)

Though we have access to a wealth of information, the main issue is always how to process the available information. How to make sense of all we observe and know. Just like the English alphabet: we know there are 26 letters but unless we put these letters together in a meaningful way, they convey no information. There are infinitely many ways of putting these letters together. Only a small number of those make sense. Only some of those (...) convey exactly what we wish to convey though the message may be interpreted differently by different individuals. That same issue comes up with information: how can we process the information we have? How can we infer and reason under conditions of incomplete observed information? In his seminal book on the philosophy of information, Floridi (2011a) raises a number of open questions. I discuss here one of these questions. That question is how to process information. To do so, I take the more realistic view that information is always limited, incomplete and possibly noisy. I define types of information, relate it to Floridi’s definitions and discuss a basic formulation for processing information under a unified framework. I relate it to some of the basic concepts discussed in the book. (shrink)

Following in a psychological and musicological tradition beginning with Leonard Meyer, and continuing through David Huron, we present a functional, cognitive account of the phenomenon of expectation in music, grounded in computational, probabilistic modeling. We summarize a range of evidence for this approach, from psychology, neuroscience, musicology, linguistics, and creativity studies, and argue that simulating expectation is an important part of understanding a broad range of human faculties, in music and beyond.

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

Many different approaches to describing the players’ knowledge and beliefs can be found in the literature on the epistemic foundations of game theory. We focus here on non-probabilistic approaches. The two most prominent are the so-called Kripkeor Aumann- structures and knowledge structures (non-probabilistic variants of Harsanyi type spaces). Much of the recent work on Kripke structures has focused on dynamic extensions and simple ways of incorporating these. We argue that many of these ideas can be applied to knowledge structures as (...) well. Our main result characterizes precisely when one type can be transformed into another type by a specific type of information update. Our work in this paper suggest that it would be interesting to pursue a theory of “information dynamics” for knowledge structures (and eventually Harsanyi type spaces). (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitu- tion core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with (...) infinitely many agents, PAL-Kω , as well as standard extensions thereof, e.g., PAL-Tω , PAL-S4ω, and PAL-S5ω. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

A model of a spatio-cultural sub-context (enfolded in a wider scope context) is presented in the form of a blue print of a Complex System with a two-stage decision engine at its core. The engine first attaches a meaning to analyzable datum, and then decides whether to keep or change it. It does not alter already stored meanings but is designed to search for data to be converted into additional stored meanings and improve the accuracy of correspondence of their spatial (...) and cultural range of relevance. Meaning is reduced to the choice of a strategy—a future continuum of events; a choice dependent on a unique Evolutionary Path, a past continuum of events specific enough to lead to the current temporarily stable state of a spatio-cultural category. It is a blue print for a program that can emulate decisions to initiate changes in the environment in which a collective of culture partners resides; changes consisting of movements from one location to another or in the layout of its current location. The model is proposed at a low cultural resolution and is applicable, after suitable modifications, to a majority of city/period pairs. However, any such model has to be city/period specific. It is illustrated with a design for analyzing changes in the Israeli city, in particular in Tel Aviv. (shrink)

In this paper we make a simple theoretical point using a practical issue as an example. The simple theoretical point is that robustness is not 'all or nothing': in asking whether a system is robust one has to ask 'robust with respect to what property?' and 'robust over what set of changes in the system?' The practical issue used to illustrate the point is an examination of degrees of linkage between sub-networks and a pointed contrast in robustness and fragility between (...) the dynamics of (1) contact infection and (2) information transfer or belief change. Time to infection across linked sub-networks, it turns out, is fairly robust with regard to the degree of linkage between them. Time to infection is fragile and sensitive, however, with regard to the type of sub-network involved: total, ring, small world, random, or scale-free. Aspects of robustness and fragility are reversed where it is belief updating with reinforcement rather than infection that is at issue. In information dynamics, the pattern of time to consensus is robust across changes in network type but remarkably fragile with respect to degree of linkage between sub-networks. These results have important implications for public health interventions in realistic social networks, particularly with an eye to ethnic and socio-economic sub-communities, and in social networks with sub-communities changing in structure or linkage. (shrink)

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings (...) where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations. (shrink)

The goal of the present paper is to construct a formal explication of the pluralistic ignorance explanation of the bystander effect. The social dynamics leading to inaction is presented, decomposed, and modeled using dynamic epistemic logic augmented with ‘transition rules’ able to characterize agent behavior. Three agent types are defined: First Responders who intervene given belief of accident; City Dwellers, capturing ‘apathetic urban residents’ and Hesitators, who observe others when in doubt, basing subsequent decision on social proof. It is (...) shown how groups of the latter may end in a state of pluralistic ignorance leading to inaction. Sequential models for each agent type are specified, and their results compared to empirical studies. It is concluded that only the Hesitator model produces reasonable results. (shrink)

The emerging neurocomputational vision of humans as embodied, ecologically embedded, social agents—who shape and are shaped by their environment—offers a golden opportunity to revisit and revise ideas about the physical and information-theoretic underpinnings of life, mind, and consciousness itself. In particular, the active inference framework makes it possible to bridge connections from computational neuroscience and robotics/AI to ecological psychology and phenomenology, revealing common underpinnings and overcoming key limitations. AIF opposes the mechanistic to the reductive, while staying fully grounded in (...) a naturalistic and information-theoretic foundation, using the principle of free energy minimization. The latter provides a theoretical basis for a unified treatment of particles, organisms, and interactive machines, spanning from the inorganic to organic, non-life to life, and natural to artificial agents. We provide a brief introduction to AIF, then explore its implications for evolutionary theory, ecological psychology, embodied phenomenology, and robotics/AI research. We conclude the paper by considering implications for machine consciousness. (shrink)

A view of evolution is presented in this paper (a two paper series), intended as a methodological infrastructure for modeling spatio-cultural systems (the design outline of such a model is presented in paper II). A motivation for the re-articulation of evolution as information dynamics is the phenomenologically discovered prerequisite of embedding a meaning-attributing apparatus in any and all models of spatio-cultural systems. An evolution is construed as the dynamics of a complex system comprised of memory devices, connected (...) in an ordered fashion (not randomly) by information-exchanges. An information-exchange transpires when the recipient system adopts a strategy (a continuum of events) that eventually changes its structure; namely, after the exchange, it contains and conveys different information. These memory devices—sub-systems—are also similarly constructed complex system. Only a part of the information is retained by a system in its physical-memory storage, which eventually loses this function too, when the ability to retrieve a common enough structure is lost. The entire amount of information is a system’s structure of connections (information exchanges); it is contained (apparently stored) dynamically when a system is observed in a temporarily stable state. This temporary permanence—robustness and resilience—is attained dynamically; namely, enabled by changes taking place in its sub-systems and in each of their sub-systems. Therefore, for modeling such a system a multi-layer/multi-scale approach is preferable. It enables the addition and subtraction of an interim scale and the consideration of such a scale as a micro or a macro (thus initiating a maneuver up or down scale) according to an ad-hoc requirement of the model, which imitates an envisaged sub system (called an ‘Inner World’), to which a certain range of decisions is relegated. This dynamics is driven (in time) by dynamically originated information growth, as defined by Shannon; i.e. by the fact that each of certain state transitions have occurred sometime in the past of the system just so and not otherwise, and by the fact that they have occurred in a certain order. Therefore, each ‘history’ and memory retrieval availability of information is unique, and thus can be used to differentiate meanings. Hence, there cannot be a comprehensive solution to the meaning attribution model-design challenge. However, the observation that at the core of each envisaged complex system, moving in time according to a rounded logic, there is an information manipulating device, operating necessarily according to a Boolean logic, can be copied into the design of a model. This observation enables, therefore, the embedding of a specific, locally fitted, meaning attributing device, which is an information manipulating mechanism (it splices/attaches one segment of information to another—its meaning). However, this is just a framework; the actual solution has still to be found locally—for each subject system. Such a solution is demonstrated for the change in location or layout in the Israeli city in paper II. (shrink)

This paper proposes a minimal logic of fine-grained information dynamics via belief bases. The framework is shown to be able to accommodate explicit belief, implicit belief, awareness of and awareness that, where awareness of agents is not treated as a tacit premise. A sound and complete axiomatization of static logic is established, upon which a series of dynamic operations are defined. It is argued that these dynamics adapt different scenarios. Our logic is minimal because to each agent (...) we only attach two databases, from which a variety of epistemic attitudes are generated. (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)

Virus and information spreading dynamics widely exist in complex systems. However, systematic study still lacks for the interacting spreading dynamics between the two types of dynamics. This paper proposes a mathematical model on multiplex networks, which considers the heterogeneous susceptibility and infectivity in two subnetworks. By using a heterogeneous mean-field theory, we studied the dynamic process and outbreak threshold of the system. Through extensive numerical simulations on artificial networks, we find that the virus’s spreading dynamics (...) can be suppressed by increasing the information spreading probability, decreasing the protection power, or decreasing the susceptibility and infectivity. (shrink)

This paper presents a theoretical study of the binary oppositions underlying the mechanisms of natural computation understood as dynamical processes on natural information morphologies. Of special interest are the oppositions of discrete vs. continuous, structure vs. process, and differentiation vs. integration. The framework used is that of computing nature, where all natural processes at different levels of organisation are computations over informational structures. The interactions at different levels of granularity/organisation in nature, and the character of the phenomena that unfold (...) through those interactions, are modeled from the perspective of an observing agent. This brings us to the movement from binary oppositions to dynamic networks built upon mutually related binary oppositions, where each node has several properties. (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)

There has been considerable debate in the literature about the relative merits of information processing versus dynamical approaches to understanding cognitive processes. In this article, we explore the relationship between these two styles of explanation using a model agent evolved to solve a relational categorization task. Specifically, we separately analyze the operation of this agent using the mathematical tools of information theory and dynamical systems theory. Information-theoretic analysis reveals how task-relevant information flows through the system to (...) be combined into a categorization decision. Dynamical analysis reveals the key geometrical and temporal interrelationships underlying the categorization decision. Finally, we propose a framework for directly relating these two different styles of explanation and discuss the possible implications of our analysis for some of the ongoing debates in cognitive science. (shrink)

With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and (...) a model checking algorithm. (shrink)

Every manifestation of information, semiosis and meaning we have been able to study experimentally has a physical form. Neglect of their dynamical (energetic) ground tends towards dualism or idealism, leaving the causal basis of semiosis and the causal powers of representations mysterious. Consideration of the necessary physical requirements for the embodiment of semiotic categories imposes a discipline on semiotics required for its integration into the rest of science, especially for the emerging field of biosemiotics, as well as any future (...) extensions to chemistry physics or other realms that might constitute a general, primal semiotics. Without this discipline, or something equally strong, there is a risk of projection of anthropomorphic semiotic terminology onto unsuitable hosts, leading, if unchecked, to the sort of animism that biology in particular has only recently escaped. The problem is suspect whenever teleological notions are used outside of mental or social contexts.1 Although our animistic ancestors may have had a closer rapport with Nature than modern scientists, contemporary scientific explanation requires an understanding of causal structure (Salmon 1984). On the other hand, unless the causal rendition of semiosis can capture full blown cognitive semiosis, it is likely to be too restrictive for the evaluation of primal semiosis in general. (shrink)

SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 1. Joining Information and Evaluation: a dynamic logical perspective.

In this paper I present a dynamic-epistemic hybrid logic for reasoning about information and intention changes in situations of strategic interaction. I provide a complete axiomatization for this logic, and then use it to study intentions-based transformations of decision problems.

In 1972,Ernst Ulrich and Christine von Weizs ¨acker introduced the concept of pragmatic information with three desiderata:(i) Pragmatic information should assess the impact of a message upon its receiver;(ii)Pragmatic information should vanish in the limits of complete (non-interpretable)'novelty 'and complete 'confirmation';(iii)Pragmatic information should exhibit non-classical properties since novelty and confirmation behave similarly to Fourier pairs of complementary operators in quantum mechanics. It will be shown how these three desiderata can be naturally fulfilled within the framework of (...) Gardenfors' dynamic semantics of Bayesian belief models.(i)The meaning of a message is its impact upon the epistemic states of a cognitive agent. A pragmatic information measure can then be quanti .ed by the average information gain for the transition from a prior to a posterior state.(ii)Total novelty can be represented by the identical proposition, total con- .rmation by the logical consequence of propositions. In both cases, pragmatic information vanishes.(iii)For operators that are neither idempotent nor commuting, novelty and confirmation relative to a message sequence can be defined within Gardenfors' theory of belief revisions.The proposed approach is consistent with measures of relevance derived from statistical decision theory and it contains Bar-Hillel 's and Carnap's theory of semantic information as a special case. (shrink)

We analyze the dynamics of repeated interaction of two players in the Prisoner's Dilemma under various levels of interdependency information and propose an instance-based learning cognitive model to explain how cooperation emerges over time. Six hypotheses are tested regarding how a player accounts for an opponent's outcomes: the selfish hypothesis suggests ignoring information about the opponent and utilizing only the player's own outcomes; the extreme fairness hypothesis weighs the player's own and the opponent's outcomes equally; the moderate (...) fairness hypothesis weighs the opponent's outcomes less than the player's own outcomes to various extents; the linear increasing hypothesis increasingly weighs the opponent's outcomes at a constant rate with repeated interactions; the hyperbolic discounting hypothesis increasingly and nonlinearly weighs the opponent's outcomes over time; and the dynamic expectations hypothesis dynamically adjusts the weight a player gives to the opponent's outcomes, according to the gap between the expected and the actual outcomes in each interaction. When players lack explicit feedback about their opponent's choices and outcomes, results are consistent with the selfish hypothesis; however, when this information is made explicit, the best predictions result from the dynamic expectations hypothesis. (shrink)

A basic function of cognition is to detect regularities in sensory input to facilitate the prediction and recognition of future events. It has been proposed that these implicit expectations arise from an internal predictive coding model, based on knowledge acquired through processes such as statistical learning, but it is unclear how different types of statistical information affect listeners’ memory for auditory stimuli. We used a combination of behavioral and computational methods to investigate memory for non-linguistic auditory sequences. Participants repeatedly (...) heard tone sequences varying systematically in their information-theoretic properties. Expectedness ratings of tones were collected during three listening sessions, and a recognition memory test was given after each session. Information-theoretic measures of sequential predictability significantly influenced listeners’ expectedness ratings, and variations in these properties had a significant impact on memory performance. Predictable sequences yielded increasingly better memory performance with increasing exposure. Computational simulations using a probabilistic model of auditory expectation suggest that listeners dynamically formed a new, and increasingly accurate, implicit cognitive model of the information-theoretic structure of the sequences throughout the experimental session. (shrink)

Leibniz coined the word “dynamics,” but his own dynamics has never been completed. However, there are many illuminating ideas scattered in his writings on dynamics and metaphysics. In this paper, I will present my own interpretation of Leibniz’s dynamics and metaphysics. To my own surprise, Leibniz’s dynamics and metaphysics are incredibly flexible and modern. In particular, the metaphysical part, namely Monadology, can be interpreted as a theory of information in terms of monads, which generate (...) both physical phenomena and mental phenomena. The phenomena, i.e., how the world of monads appears to each monad must be distinguished from its internal states, which Leibniz calls perceptions, and the phenomena must be understood as the results of these states and God’s coding. My distinctive claim is that most interpreters ignored this coding. His dynamics and metaphysics can provide a framework good enough for enabling Einstein’s special relativity. And finally, his dynamics and metaphysics can provide a very interesting theory of space and time. In Part 1, we will focus on the relationship between metaphysics and dynamics. Leibniz often says that dynamics is subordinated to metaphysics. We have to take this statement seriously, and we have to investigate how dynamics and metaphysics are related. To this question, I will give my own answer, based on my informational interpretation. On my view, Leibniz’s metaphysics tries, among others, to clarify the following three: How each monad is programmed. How monads are organized into many groups, each of which is governed by a dominant monad ; this can be regarded as a precursor of von Neumann’s idea of cellular automata. And how the same structure is repeated in sub-layers of the organization. This structure is best understood in terms of the hierarchy of programs, a nested structure going down from the single dominant program to subprograms, which again controls respective subprograms, and ad infinitum. If we may use a modern term, this is a sort of recursion, although Leibniz himself did not know this word. And one of my major discoveries is that the same recursive structure is repeated in the phenomenal world, the domain of dynamical investigations. Recursion of what, you may ask. I will argue that it is elastic collision. For Leibniz, aside from inertial motions, dynamical changes of motion are brought about by elastic collisions, at any level of the infinite divisibility of matter. This nicely corresponds to the recursive structure of the program of a monad, or of the program of an organized group of monads. This is the crux of his claim that dynamics is subordinated to metaphysics. Moreover, the program of any monad is teleological, whereas the phenomenal world is governed by efficient cause of dynamics. And it is natural that the pre-established harmony is there, since God is the ultimate programmer, as well as the creator. (shrink)

In 1972,Ernst Ulrich and Christine von Weizs ¨acker introduced the concept of pragmatic information with three desiderata: Pragmatic information should assess the impact of a message upon its receiver;Pragmatic information should vanish in the limits of complete 'novelty 'and complete 'confirmation';Pragmatic information should exhibit non-classical properties since novelty and confirmation behave similarly to Fourier pairs of complementary operators in quantum mechanics. It will be shown how these three desiderata can be naturally fulfilled within the framework of (...) Gardenfors' dynamic semantics of Bayesian belief models.The meaning of a message is its impact upon the epistemic states of a cognitive agent. A pragmatic information measure can then be quanti .ed by the average information gain for the transition from a prior to a posterior state.Total novelty can be represented by the identical proposition, total con- .rmation by the logical consequence of propositions. In both cases, pragmatic information vanishes.For operators that are neither idempotent nor commuting, novelty and confirmation relative to a message sequence can be defined within Gardenfors' theory of belief revisions.The proposed approach is consistent with measures of relevance derived from statistical decision theory and it contains Bar-Hillel 's and Carnap's theory of semantic information as a special case. (shrink)

This paper is concerned with the modeling of neural systems regarded as information processing entities. I investigate the various dynamic regimes that are accessible in neural networks considered as nonlinear adaptive dynamic systems. The possibilities of obtaining steady, oscillatory or chaotic regimes are illustrated with different neural network models. Some aspects of the dependence of the dynamic regimes upon the synaptic couplings are examined. I emphasize the role that the various regimes may play to support information processing abilities. (...) I present an example where controlled transient evolutions in a neural network, are used to model the regulation of motor activities by the cerebellar cortex. (shrink)

Shanker & King (S&K) trumpet the adoption of a “new paradigm” in communication studies, exemplified by ape language research. Though cautiously sympathetic, I maintain that their argument relies on a false dichotomy between “information” and “dynamical systems” theory, and that the resulting confusion prevents them from recognizing the main chance their line of thinking suggests.

This is the second paper in a two-part series introducing logics for reasoning about the dynamics of knowledge and beliefs. Part I introduced different logical systems that can be used to reason about the knowledge and beliefs of a group of agents. In this second paper, I show how to adapt these logical systems to reason about the knowledge and beliefs of a group of agents during the course of a social interaction or rational inquiry. Inference, communication and observation (...) are typical examples of informative events, which have been subjected to a logical analysis. The main goal of this article is to introduce the key conceptual and technical issues that drive much of the research in this area. (shrink)

It has been demonstrated that the propagation of information and awareness regarding a disease can assist in containing the outbreak of epidemics. Previous models for this coevolving usually introduced the dependence between these two processes by setting a lower but time-independent infection rate for individuals with awareness. However, a realistic scenario can be more complicated, as individual vigilance and the adopted protective measures may depend on the extent of the discussion on the disease, whereas individuals may be irrational or (...) lack relevant knowledge, leading to improper measures being taken. These can introduce a time-varying dependence between epidemic dynamics and awareness prevalence and may weaken the effect of spreading awareness in containing a pandemic. To better understand this effect, we introduce a nonlinear dependence of the epidemic infection rate on awareness prevalence, focusing on the effect of different forms of dependence on the coevolving dynamics. We demonstrate that a positive correlation between vigilance and awareness prevalence can enhance the effect of information spreading in suppressing epidemics. However, this enhancement can be weakened if some individuals are irrational. Our results demonstrate the importance of rational behavior in the strategy of containing epidemics by propagation of disease information. (shrink)

(1997). Information processing as an intrinsic property of biological systems: Origin and dynamics of information. World Futures: Vol. 50, No. 1-4, pp. 571-581.

Within the current mainstream research in the foundations of physics, much attention has been turned to the program of Axiomatic Reconstruction of Quantum Theory in terms of Information-Theoretic principles (ARQIT). ARQIT aims at finding a few general information-theoretic principles from which, once translated into mathematical terms, one can formally derive the structure of quantum theory. This chapter explores the role of mechanistic explanations and mathematical explanations (in particular, structural explanations) within ARQIT. With such considerations as a point of (...) departure, we investigate how ARQIT contributes to the explanation of quantum phenomena, and the possible prospects for explanations provided by mechanical interpretations of quantum theory. (shrink)

We provide necessary and sufficient conditions for a dynamically consistent agent always to prefer more informative signals (in single-agent problems). These conditions do not imply recursivity, reduction or independence. We provide a simple definition of dynamically consistent behavior, and we discuss whether an intrinsic information lover (say, an anxious person) is likely to be dynamically consistent.

A novel social interaction is a dynamic process, in which participants adapt to, react to and engage with their social partners. To facilitate such interactions, people gather information relating to the social context and structure of the situation. The current study aimed to deepen the understanding of the psychological determinants of behavior in a novel social interaction. Three social robots and the participant interacted non-verbally according to a pre-programmed “relationship matrix” that dictated who favored whom. Participants' gaze was tracked (...) during the interaction and, using Bayesian inference models, resulted in a measure of participants' social information-gathering behaviors. Our results reveal the dynamics in a novel environment, wherein information-gathering behavior is initially predicted by psychological inflexibility and then, toward the end of the interaction, predicted by curiosity. These results highlight the utility of using social robots in behavioral experiments. (shrink)

This article compares the information processing and dynamical systems perspectives on problem solving. Key theoretical constructs of the information-processing perspective include “searching” a “p...