Computer Simulation

The accelerating deployment of AI and automation across sectors raises fundamental questions about human dignity in an age of machine capability. This paper develops a dignity-centered framework for AI and automation grounded in the capabilities approach, contributive justice, and principles of fair transition. I propose concrete policy tests and dignity indices, applying them to three domains: elder care, education, and logistics. The framework shows how automation can expand rather than diminish human capabilities and contributive opportunities when designed with dignity preservation (...) as a core objective. Through analysis of economic displacement, deskilling, and social devaluation, I demonstrate how institutional support and design choices can ensure dignified transitions that preserve human agency and social participation. (shrink)

Large language model evaluation has become dominated by single-number leaderboards that rank models using aggregate scores across diverse tasks. While these leaderboards provide useful high-level comparisons, they obscure critical details about model behavior, capabilities, and limitations that matter for responsible deployment. This paper critiques current LLM benchmarking practices and proposes a framework for comparative analysis built on three principles: parity of information (standardized evaluation conditions), uncertainty and risk reporting (confidence intervals and safety metrics), and benchmark cards (comprehensive metadata about datasets, (...) tasks, and protocols). Through case studies in multidomain evaluation, I demonstrate how transparent, multidimensional comparisons can support responsible model development and deployment while enabling fairer assessment of competing approaches. The framework provides both theoretical foundations and practical tools for moving beyond reductive metrics toward evaluation practices that capture the dimensions of model performance most relevant for beneficial real-world deployment. (shrink)

Introduced is a single, pre-registered coherence ratio τ = S/(D+ε) and we test its falsifiable predictions across language models and EEG, running all eligible public datasets and benchmarks under a frozen configuration. We specify hard failure modes (ICC, ∆AUC/∆R2, equivalence via TOST) and include an exploratory sleep add-on (REM “corridor”) with separate inclusion criteria. Importantly, null and equivalence results are reported as central outcomes, not secondary omissions, underscoring the falsifiability of the framework. This paper reports the full protocol, preregistration, results, (...) null distributions, and implications for falsifiability in cognitive and symbolic systems. Stage-1 denotes the first preregistered baseline test of ENT, not universality. -/- Emergent Necessity Theory (ENT) is a structural framework that proposes coherence in complex systems emerges as a necessity once containment forces (synchrony) and dispersive forces (entropy) reach a measurable balance. Its central object is the coherence ratio τ = S/(D+ε), a domain-agnostic, falsifiable metric. (shrink)

Given that explanation is at the heart of science and considering that computer simulations have become ubiquitous in a multitude of scientific fields, it is important to examine their role in the acquisition of scientific explanations. Even though philosophers of science are increasingly paying attention to the use of computer simulations in explanatory contexts, the concrete contributions that simulations can make to explanations deserve closer philosophical scrutiny. Zooming in on the case of atomistic simulations and starting from a counterfactual account (...) of explanation, we here explore how such simulations can help scientists tackle three relevant challenges in the search for explanations. We argue that atomistic simulations can help access variables at explanatorily relevant levels of description, that they can help track the effects of changes in variables in a highly controlled and fine-tuned way, and that they can allow for a fine-grained account of the relative importance of various difference-makers. Considering a concrete example and illustrating how atomistic simulations are actually used in scientific practice to support explanations, our examination aims to contribute to a more comprehensive and nuanced view of their explanatory power. (shrink)

What is the rational response to a scientific disagreement? Many epistemologists argue that disagreement with an epistemic peer should generally lead to conciliation by lowering confidence in the disputed belief or even suspending judgment altogether. Although this conciliatory approach is widely regarded as a norm of individual rationality, its value in the context of collective scientific inquiry is less clear. Some have even raised concerns that conciliating in scientific disagreements may slow progress or reduce the efficiency of inquiry. In this (...) paper, we introduce a novel agent-based model that captures key aspects of scientific disagreement by incorporating both epistemic norms, which govern belief revision, and zetetic norms, which guide how scientists pursue inquiry. Our results indicate that the effects of conciliating in the face of disagreement---whether detrimental or beneficial---depend on the zetetic norms that scientists follow. When they focus on exploiting the hypothesis that they believe is most likely to succeed, remaining steadfast is more effective. However, with exploratory scientists, conciliation does not negatively affect group performance. These findings highlight the critical role of zetetic norms in determining the rational response to disagreement in scientific practice. (shrink)

The Computational Model of Mind (CMM) conceptualizes cognition as computational processes, modeling mental operations through algorithmic manipulations of symbolic or distributed representations. This framework bridges psychology, neuroscience, philosophy, and computer science, providing a unified lens for understanding the mind. Its symbiotic relationship with artificial intelligence (AI) has accelerated advances in cognitive science and the development of intelligent systems, from neural networks to autonomous agents. This article offers a comprehensive analysis of CMM, tracing its historical evolution from Turing's foundational ideas to (...) modern deep learning paradigms. It delineates CMM's theoretical underpinnings, operational mechanisms, and strengths in simulating complex cognitive functions, while critically addressing limitations, such as its struggles with consciousness, embodiment, and ecological validity. The paper explores CMM's intersections with AI, highlighting applications in cognitive modeling, natural language processing, robotics, and neurotechnology. It also examines ethical challenges, including algorithmic bias, privacy concerns, and the implications of machine autonomy. Looking ahead, I propose future directions, emphasizing interdisciplinary collaboration, neurobiologically inspired algorithms, and emerging technologies like quantum computing. This synthesis affirms CMM's transformative role in unraveling the nature of mind and machine intelligence, and an innovative research at the nexus of cognition and technology. (shrink)

The geometry of the environment can affect numerous psychological, social, and ecological processes. But its roles in social learning and the dynamics of descriptive norms remain unclear. Here we use agent-based modeling to explore how environments with different geometric shapes can constrain social learning to produce universally shared descriptive norms. Our simulations show that an environment with an irregular layout facilitates the emergence of multiple descriptive norms in a population, whereas an environment with a regular grid plan constrains social learning (...) to produce a behaviorally homogeneous population. (shrink)

In Computing Legacies: Digital Cultures of Simulation (MIT Press), Peter Krapp proposes epistemological perspective of digital simulation as a form of cultural technique that structures knowledge production in the broad scope of digital heritage.

We suggest that the influence of biology in ‘biologically inspired robotics’ can be embraced at a deeper level than is typical, if we adopt an enactive approach that moves the focus of interest from how problems are solved to how problems emerge in the first place. In addition to being inspired by mechanisms found in natural systems or by evolutionary design principles directed at solving problems posited by the environment, we can take inspiration from the precarious, self-maintaining organization of living (...) systems to investigate forms of cognition that are also precarious and self-maintaining and that thus also, like life, have their own problems that must be be addressed if they are to persist. In this vein, we use a simulation to explore precarious, self-reinforcing sensorimotor habits as a building block for a robot's behavior. Our simulations of simple robots controlled by an Iterative Deformable Sensorimotor Medium demonstrate the spontaneous emergence of different habits, their re-enactment and the organization of an ecology of habits within each agent. The form of the emergent habits is constrained by the sensory modality of the robot such that habits formed under one modality (vision) are more similar to each other than they are to habits formed under another (audition). We discuss these results in the wider context of: (a) enactive approaches to life and mind, (b) sensorimotor contingency theory, (c) adaptationist vs. structuralist explanations in biology, and (d) the limits of functionalist problem-solving approaches to (artificial) intelligence. (shrink)

Deliberative democracy depends on carefully designed institutional frameworks — such as participant selection, facilitation methods, and decision-making mechanisms — that shape how deliberation performs. However, identifying optimal institutional designs for specific contexts remains challenging when relying solely on real-world observations or laboratory experiments: they can be expensive, ethically and methodologically tricky, or too limited in scale to give us clear answers. Computational experiments offer a complementary approach, enabling researchers to conduct large-scale investigations while systematically analyzing complex dynamics, emergent and unexpected (...) collective behavior, and risks or opportunities associated with novel democratic designs. Therefore, this paper explores Digital Twin (DT) technology as a computational testing ground for deliberative systems (with potential applicability to broader institutional analysis). By constructing dynamic models that simulate real-world deliberation, DTs allow researchers and policymakers to rigorously test "what-if" scenarios across diverse institutional configurations in a controlled virtual environment. This approach facilitates evidence-based assessment of novel designs using synthetically generated data, bypassing the constraints of real-world or lab-based experimentation, and without societal disruption. The paper also discusses the limitations of this new methodological approach and suggests where future research should focus. (shrink)

In Cultural Analytics, Lev Manovich (2020) outlines the recent developments and the historical roots of a new, exciting research field called cultural analytics. Cultural analytics emerges as a discipline that utilizes methods from computer science, data visualization, and media arts for the exploration and analysis of cultural objects and their user interactions. Manovich continuously admonishes future researchers to think hard about the challenges of how cultural phenomenon can be represented as data to avoid the reductivism trap, as he quotes Gitelman (...) and Jackson: “our zeal for more and more data can become a faith in their neutrality and autonomy, their objectivity. . .” Clearly, big, clever, and rigorous data must be the foundation for the advance of science in the 21st century. -/- ".” Her entire being is like an ethereal painting, a playful creation of nature using colors, lines, dots, strokes, and patches. One can only exclaim, “Absolutely enchanting. Is this real or an illusion?" - In The Philosophy of Awakening, Wild Wise Weird: The Kingfisher Story Collection, Vuong (2025)- . (shrink)

The art of prediction of stock market volatility has always been a most challenged interdisciplinary research problem among scientist due to its highly non- linear nature of market flow. This paper tries to analysis the historical data of BSE Sensex using extreme volatilities estimators, GARCH, ANN and new proposed Text Mining approach for stock market predictions. Finally experimental results illustrates that the new proposed Text model can able to predict the volatilities of the stock price better than other models.

Lieto’s Minimal Cognitive Grid (MCG) for assessing artificial agents, augmented as the method MCG+, has two implications: (1) MCG+ can advance the mathematical science of universal intelligence/cognition. (2) (a) pre-Lieto, this science lacks of coverage of perception; (b) heralded artificial agents of today are devoid of human-level perceptual intelligence.

Software is much more than just code. It is time to confront the complexity of licenses, uses, governance, infrastructure and other facets of software in science. Their influence is ubiquitous yet overlooked.

Nicht eine Wolke aus Asche und Staub, sondern ein „Schwarm von Daten“ habe 2010 nach dem Ausbruch des isländischen Vulkans Eyjafjallajökull den Flugverkehr zeitweise lahm gelegt, so Frank Schirrmacher (2010) in der FAZ. Die Rede ist hier von den Ergebnissen von Computersimulationen, die bei der Entscheidung über das Aussetzen des Luftfahrtgeschehens maßgeblich waren. Die von Schirrmacher geäußerte Kritik ist eine, die auch in der Wissenschaft und in der Philosophie gegen Simulationen erhoben wird: Dass Computersimulationen eben keine wirklichen Messungen oder Beobachtungen (...) sind. (shrink)

Numerical computing is a key part of the traditional computer architecture. Almost all traditional computers implement the IEEE 754-1985 binary floating point standard to represent and work with numbers. The architectural limitations of traditional computers make impossible to work with infinite and infinitesimal quantities numerically. This paper is dedicated to the Infinity Computer, a new kind of a supercomputer that allows one to perform numerical computations with finite, infinite, and infinitesimal numbers. The already available software simulator of the Infinity Computer (...) is used in different research domains for solving important real-world problems, where precision represents a key aspect. However, the software simulator is not suitable for solving problems in control theory and dynamics, where visual programming tools like Simulink are used frequently. In this context, the paper presents an innovative solution that allows one to use the Infinity Computer arithmetic within the Simulink environment. It is shown that the proposed solution is user-friendly, general purpose, and domain independent. (shrink)

This paper is dedicated to numerical computation of higher order derivatives in Simulink. In this paper, a new module has been implemented to achieve this purpose within the Simulink-based Infinity Computer solution, recently introduced by the authors. This module offers several blocks to calculate higher order derivatives of a function given by the arithmetic operations and elementary functions. Traditionally, this can be done in Simulink using finite differences only, for which it is well-known that they can be characterized by instability (...) and low accuracy. Moreover, the proposed module allows to calculate higher order Lie derivatives embedded in the numerical solution to Ordinary Differential Equations (ODEs). Traditionally, Simulink does not offer any practical solution for this case without using difficult external libraries and methodologies, which are domain-specific, not general-purpose and have their own limitations. The proposed differentiation module bridges this gap, is simple and does not require any additional knowledge or skills except basic knowledge of the Simulink programming language. Finally, the block for constructing the Taylor expansion of the differentiated function is also proposed, adding so another efficient numerical method for solving ODEs and for polynomial approximation of the functions. Numerical experiments on several classes of test problems confirm advantages of the proposed solution. (shrink)

This paper considers hybrid systems — dynamical systems that exhibit both continuous and discrete behavior. Usually, in these systems, interactions between the continuous and discrete dynamics occur when a pre-defined function becomes equal to zero, i.e., in the system occurs a zero-crossing (the situation where the function only “touches” zero is considered as the zero-crossing, as well). Determination of zero-crossings plays a crucial role in the correct simulation of the system in this case. However, for models of many real-life hybrid (...) systems, such interactions may lead to the so-called Zeno executions, i.e., situations where the system undergoes an unbounded number of discrete transitions in a finite and bounded length of time. In this case, standard numerical methods of simulating the systems may fail, since the time between two transitions can decrease significantly leading to ill-conditioning of the simulation. Correct determination of zero-crossings for a complex real-life system can require a lot of computational resources and, as a consequence, slow down the simulation significantly. This paper presents a new way to execute the simulation generating time observations of the hybrid system dynamically using numerical infinitesimals introduced recently, allowing thus to determine zero-crossings more accurately. The proposed method allows to automatically detect zero-crossings with predefined accuracy and to analyze better the behavior of the system around the zero-crossings generating observations more densely, where it is necessary. Moreover, the search for zero-crossings is performed efficiently without re-evaluation of the whole system at each observation. To show the validity of the proposed algorithm, the well-known Bouncing Ball hybrid system has been studied and the obtained simulation results were compared with the standard method. (shrink)

Scientists and engineers seek to understand how real-world systems work and could work better. Any modeling method devised for such purposes must simplify reality. Ideally, however, the modeling method should be flexible as well as logically rigorous; it should permit model simplifications to be appropriately tailored for the specific purpose at hand. Flexibility and logical rigor have been the two key goals motivating the development of Agent-based Computational Economics (ACE), a completely agent-based modeling method characterized by seven specific modeling principles. (...) This perspective provides an overview of ACE, a brief history of its development, and its role within a broader spectrum of experiment-based modeling methods. (shrink)

In this chapter, I sketch a philosophical framework of shared and diverging worlds and cultural significance. Although the framework proposed is basically a psychologically informed, philosophical approach, it is explicitly aimed at being applicable for agent-based social simulations. The account consists of three parts: (1) a formal ontology of human worlds, (2) an analysis of the pre-semantic significance of the objects of human worlds, and (3) an account of what it means for agents to share a world (or to live (...) in diverging worlds). In this chapter, I will give a brief and concise summary of my account. At the end, I will briefly outline how the proposed framework might be put to use for multiagent social simulation of complex social interaction scenarios involving diverging (cultural) backgrounds. (shrink)

When solving a complex problem in a group, should group members always choose the best available solution that they are aware of? In this paper, I build simulation models to show that, perhaps surprisingly, a group of agents who individually randomly follow a better available solution than their own can end up outperforming a group of agents who individually always follow the best available solution. This result has implications for the feminist philosophy of science and social epistemology.

This paper will discuss the recent LIGO-Virgo observations of gravitational waves and the binary black hole mergers that produce them. These observations rely on having prior knowledge of the dynamical behaviour of binary black hole systems, as governed by the Einstein Field Equations (EFEs). However, we currently lack any exact, analytic solutions to the EFEs describing such systems. In the absence of such solutions, a range of modelling approaches are used to mediate between the dynamical equations and the experimental data. (...) Models based on post-Newtonian approximation, the effective one-body formalism, and numerical relativity simulations (and combinations of these) bridge the gap between theory and observations and make the LIGO-Virgo experiments possible. In particular, this paper will consider how such models are validated as accurate descriptions of real-world binary black hole mergers (and the resulting gravitational waves) in the face of an epistemic circularity problem: the validity of these models must be assumed to justify claims about gravitational wave sources, but this validity can only be established based on these same observations. (shrink)

Les modèles basés sur des agents en interactions, constituent des systèmes sociaux complexes, qui peuvent être simulés par informatiques. Ils se répandent dans les sciences économiques et sociales - comme dans la plupart des sciences des systèmes complexes. Des énigmes épistémologiques (ré)apparaissent. On a souvent opposé modèles et investigations empiriques : d’un côté, on considère les sciences empiriques fondées sur une observation méthodique (enquêtes, expériences) tandis que de l’autre, on conçoit les approches théoriques et la modélisation comme s’appuyant sur une (...) approche conceptuelle ou hypothético-déductive. la simulation a de son coté souvent été comparée à une forme d’expérience ou à une méthode intermédiaire entre la théorie et l’expérience. Tesfatsion a parlé de « laboratoire computationnel » comme d’une manière d’étudier « les comportements des systèmes complexes au moyen d’expériences sous contrôle qu’on peut répéter (réplicable)» et Axelrod a proclamé que la simulation serait « une troisième manière de pratiquer la science dans les sciences sociales », entre l’induction et la déduction. Nous introduisons de nouveaux concepts épistémologiques afin de montrer dans quelle mesure les auteurs ont raison lorsqu'ils se concentrent sur une signification empirique, instrumentale ou conceptuelle de leur modèle ou simulation. La première partie du chapitre discute plus particulièrement de l'épistémologie des modèles économiques à partir des travaux d’Hausman, Guala, Mäki, Sugden, Schelling etc. pour expliquer les divergences entre modèles et simulations. En distinguant entre modèles et simulations, comme entre entre types de modèles, types de simulations informatiques et types d'empiricité obtenue par une simulation, la seconde partie donne la possibilité de comprendre plus précisément - et ensuite de justifier - la diversité des positions épistémologiques présentées dans la première partie. En utilisant les notion de sous-symbolisation (due à Smolensky) et, de hiérarchie dénotationnelle (due à Goodman), une attention particulière est accordée à la multiplicité des pouvoirs dénotationnels des symboles en jeu dans les modèles complexes et les simulations informatiques. Selon cette grille d'analyse, on peut déterminer, dans chaque cas particulier son statut épistémique et la crédibilité qui peut y être associée. -/- Ce chapitre est une traduction (par Gilles Campagnolo) réviséee et augmentée par les auteurs de : Agent-Based Models and Simulations in Economics and Social Sciences: From Conceptual Exploration to Distinct Ways of Experimenting, Journal of Artificial Societies and Social Simulation 13 (1) 5 DOI: 10.18564/jasss.1532. (shrink)

The debates on the scientificity of social sciences in general, and sociology in particular, are recurring. From the original methodenstreitat the end the 19th Century to the contemporary controversy on the legitimacy of “regional epistemologies”, a same set of interrogations reappears. Are social sciences really scientific? And if so, are they sciences like other sciences? How should we conceive “research programs” Lakatos (1978) or “research traditions” for Laudan (1977) able to produce advancement of knowledge in the field of social and (...) human phenomena? Is the progress of knowledge in social sciences similar to the one generally observed in natural sciences? Is it possible to evaluate the relative merits of each one of these research programs? -/- These debates are important vectors of social and intellectual polarization. The historical divide between the positivist and the hermeneutics poles precedes the structure of the contemporary debate around the epistemic space of social sciences, It is not only a question of renewing the opposition between a monist view of sciences (e.g. McIntyre, 1996) and a dualistic one (e.g. Geertz, 1973) or even a trialist view of sciences (e.g. Lepenies, 1985). It is also a question of asserting dichotomies transformed into framework (including when it is a question of exceeding them): nature-culture, nomothetic-idiographic, models-narrative, structure-history, cause-reason, explanation-comprehension. -/- In this short introduction, we provide, in section 2, a first overview of this epistemological debate in social science. Section 3 proposes a different standpoint on the same questions, by introducing both ontological and methodological aspects in this basic epistemological debate. Namely, following (Hollis, 1994) oppositions of the explanation - understanding, causes - meaning, etc., types discussed in the firsts ection are comparatively examined together with oppositions of the structure - action, holism - individualism types. This allows us to discus show multi-agent design, by integrating various dimensions and standpoints in the same framework (Phan, Amblard, 2007, Chapters 1, 5, 14) can help us to shift these boundaries, and to bypass these oppositions. As model building and ontology design are at the core of this process (Phan, Amblard, 2007, Chapter 12), Section4 discusses various issues of the art of modelling, starting both from economists’ and sociologists’ current standpoints. (shrink)

This book brings together contributions from leading researchers in the field of agent-based modelling and simulation. This approach has grown out of some recent and innovative ideas in the social sciences, computer sciences, life sciences, physics and game theory. It is proving helpful in understanding complexity in many domains. The opportunities it offers to explore the experimental approach to social and human behaviour is proving of theoretical and empirical value across a wide range of fields. With contributions from researchers whose (...) work has served to define this new field such as Nigel Gilbert, Robert Axtell (in economics and social science) and Jacques Ferber (in multi-agent systems), as well as practitioners who are working at the cutting edge of the new domain, this collection of essays has been assembled by two of its leading exponents: Frédéric Amblard and Denis Phan. The research, case studies and theoretical approaches discussed in this book are designed to introduce beginners and experts alike to the current state of play in this new and exciting field of social science. (shrink)

Diversity of practice is widely recognized as crucial to scientific progress. If all scientists perform the same tests in their research, they might miss important insights that other tests would yield. If all scientists adhere to the same theories, they might fail to explore other options which, in turn, might be superior. But the mechanisms that lead to this sort of diversity can also generate epistemic harms when scientific communities fail to reach swift consensus on successful theories. In this paper, (...) we draw on extant literature using network models to investigate diversity in science. We evaluate different mechanisms from the modeling literature that can promote transient diversity of practice, keeping in mind ethical and practical constraints posed by real epistemic communities. We ask: what are the best ways to promote an appropriate amount of diversity of practice in scientific communities? (shrink)

ArgumentAgent-based social simulations have historically been evaluated using two criteria: verification and validation. This article questions the adequacy of this dual evaluation scheme. It claims that the scheme does not conform to everyday practices of evaluation, and has, over time, fostered a theory-practice gap in the assessment of social simulations. This gap originates because the dual evaluation scheme, inherited from computer science and software engineering, on one hand, overemphasizes the technical and formal aspects of the implementation process and, on the (...) other hand, misrepresents the connection between the conceptual and the computational model. The mismatch between evaluation theory and practice, it is suggested, might be overcome if practitioners of agent-based social simulation adopt a single criterion evaluation scheme in which: i) the technical/formal issues of the implementation process are tackled as a matter of debugging or instrument calibration, and ii) the epistemological issues surrounding the connection between conceptual and computational models are addressed as a matter of validation. (shrink)

Ken Forbus's Qualitative Process Theory (QPT) is a popular theory for reasoning about the physical aspects of the daily world. Qualitative Process Theory Using Linguistic Variables by Bruce D'Ambrosio (Springer-Verlag, New York, 1989) is an attempt to fill some gaps in QPT.

​I use network models to simulate social learning situations in which the dominant group ignores or devalues testimony from the marginalized group. I find that the marginalized group ends up with several epistemic advantages due to testimonial ignoration and devaluation. The results provide one possible explanation for a key claim of standpoint epistemology, the inversion thesis, by casting it as a consequence of another key claim of the theory, the unidirectional failure of testimonial reciprocity. Moreover, the results complicate the understanding (...) and application of previously discovered network epistemology effects, notably the Zollman effect (Zollman 2007, 2010). (shrink)

As screen-based virtual worlds have gradually begun facilitating more and more of our social interactions, some researchers have argued that the virtual worlds of these interactions do not allow for embodied social understanding. The aim of this article is to examine exactly the possibility of this by looking to esports practitioners’ experiences of interacting with each other during performance. By engaging in an integration of qualitative research methodologies and phenomenology, we investigate the actual first-person experiences of interaction in the virtual (...) worlds of the popular team-based esports practices Counter Strike: Global Offensive and League of Legends. Our analysis discloses how the practitioners’ interactions essentially depend on intercorporeality – understood as a form of reciprocity of bodily intentionality between the players. This is an intercorporeality that is present throughout the players’ performance, but which especially comes to the front when they engage in feinting. Acknowledging the intercorporeality integral to at least some esports practices helps fuzzying the sharp division between virtuality and embodied social understanding. Doing so highlights the fluidity of our embodied condition, and it raises interesting questions concerning the possibility of yet other forms of embodied sociality in a wider range of virtual formats in the world. (shrink)

What separates the unique nature of human consciousness and that of an entity that can only perceive the world via strict logic-based structures? Rather than assume that there is some potential way in which logic-only existence is non-feasible, our species would be better served by assuming that such sentient existence is feasible. Under this assumption, artificial intelligence systems (AIS), which are creations that run solely upon logic to process data, even with self-learning architectures, should therefore not face the opposition they (...) have to gaining some legal duties and protections insofar as they are sophisticated enough to display consciousness akin to humans. Should our species enable AIS to gain a digital body to inhabit (if we have not already done so), it is more pressing than ever that solid arguments be made as to how humanity can accept AIS as being cognizant of the same degree as we ourselves claim to be. By accepting the notion that AIS can and will be able to fool our senses into believing in their claim to possessing a will or ego, we may yet have a chance to address them as equals before some unforgivable travesty occurs betwixt ourselves and these super-computing beings. (shrink)

John Stuart Mill advocated for increased interactions between individuals of dissenting opinions for the reason that it would improve society. Whether Mill and similar arguments that advocate for opinion diversity are valid depends on background assumptions about the psychology and sociality of individuals. The field of opinion dynamics is a burgeoning testing ground for how different combinations of sociological and psychological facts contribute to phenomena that affect opinion diversity, such as polarization. This paper applies some recent results from the opinion (...) dynamics literature to assess the impacts of the Millian suggestion. The goal is to understand how the scope of the validity of Mill-style arguments depends on plausible assumptions that can be formalized using agent-based models, a common modeling approach in opinion dynamics. The most salient insight is that homophily (increased interactions between like-minded individuals) does not sufficiently explain decreased opinion diversity. Hence, decreasing homophily by increasing interactions between individuals of dissenting opinions is not the simple solution that a Millian-style argument may advocate. (shrink)

The structure of communication networks can be more or less “democratic”: networks are less democratic if (a) communication is more limited in terms of characteristic degree and (b) is more tightly channeled to a few specifc nodes. Together those measures give us a two-dimensional landscape of more and less democratic networks. We track opinion volatility across that landscape: the extent to which random changes in a small percentage of binary opinions at network nodes result in wide changes across the network (...) as a whole. If wide and frequent swings of popular opinion are taken as a mark of instability, democratic communication networks prove far more stable than anti-democratic ones. In a fnal section, we consider the democratic or anti-democratic character of networks that respond to volatility by rewiring at random, in a search for community, or in a search for a leader. (shrink)

We are increasingly exposed to polarized media sources, with clear evidence that individuals choose those sources closest to their existing views. We also have a tradition of open face-to-face group discussion in town meetings, for example. There are a range of current proposals to revive the role of group meetings in democratic decision-making. Here, we build a simulation that instantiates aspects of reinforcement theory in a model of competing social influences. What can we expect in the interaction of polarized media (...) with group interaction along the lines of town meetings? Some surprises are evident from a computational model that includes both. Deliberative group discussion can be expected to produce opinion convergence. That convergence may not, however, be a cure for extreme views polarized at opposite ends of the opinion spectrum. In a large class of cases, we show that adding the influence of group meetings in an environment of self-selected media produces not a moderate central consensus but opinion convergence at one of the extremes defined by polarized media. (shrink)

A first take, matured in later work, in modeling belief polarization.

How do conventions of communication emerge? How do sounds or gestures take on a semantic meaning, and how do pragmatic conventions emerge regarding the passing of adequate, reliable, and relevant information? My colleagues and I have attempted in earlier work to extend spatialized game theory to questions of semantics. Agent-based simulations indicate that simple signaling systems emerge fairly naturally on the basis of individual information maximization in environments of wandering food sources and predators. Simple signaling emerges by means of any (...) of various forms of updating on the behavior of immediate neighbors: imitation, localized genetic algorithms, and partial training in neural nets. Here the goal is to apply similar techniques to questions of pragmatics. The motivating idea is the same: the idea that important aspects of pragmatics, like important aspects of semantics, may fall out as a natural results of information maximization in informational networks. The attempt below is to simulate fundamental elements of the Gricean picture: in particular, to show within networks of very simple agents the emergence of behavior in accord with the Gricean maxims. What these simulations suggest is that important features of pragmatics, like important aspects of semantics, don't have to be added in a theory of informational networks. They come for free. (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)

There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...) construct a spatialized model that tests the core hypothesis in a large array of game-theoretic agents. Robust results offer a new kind of support for the contact hypothesis: results in simulation do accord with a hypothesis of reduced prejudice with increased contact. The spatialized game-theoretic model also suggests a deeper explanation for at least some of the social psychological phenomena at issue. (shrink)

What is it for a sound or gesture to have a meaning, and how does it come to have one? In this paper, a range of simulations are used to extend the tradition of theories of meaning as use. The authors work throughout with large spatialized arrays of sessile individuals in an environment of wandering food sources and predators. Individuals gain points by feeding and lose points when they are hit by a predator and are not hiding. They can also (...) make sounds heard by immediate neighbours in the array, and can respond to sounds from immediate neighbours. No inherent meaning for these sounds is built into the simulation; under what circumstances they are sent, if any, and what the response to them is, if any, vary initially with the strategies randomized across the array. These sounds do take on a specific function for communities of individuals, however, with any of three forms of strategy change: direct imitation of strategies of successful neighbours, a localized genetic algorithm in which strategies are ‘crossed’ with those of successful neighbours, and neural net training on the behaviour of successful neighbours. Starting from an array randomized across a large number of strategies, and using any of these modes of strategy change, communities of ‘communicators’ emerge. Within these evolving communities the sounds heard from immediate neighbours, initially arbitrary across the array, come to be used for very specific communicative functions. ‘Communicators’ make a particular sound on feeding and respond to that same sound from neighbours by opening their mouths; they make a different sound when hit with a predator and respond to that sound by hiding. Robustly and persistently, even in simple computer models of communities of self-interested agents, something suggestively like signalling emerges and spreads. Keywords: meaning, communication, genetic algorithms, neural networks. (shrink)

Immersing in the virtual world of the Internet, information and communication technologies are changing the human being. In spite of the apparent similarity of on-line and off-line, social laws of their existence are different. According to the analysis of games, based on the violation of the accepted laws of the world off-line, their censoring, as well as the cheating, features of formation and violations of social norms in virtual worlds were formulated. Although the creators of the games have priority in (...) the standardization of the virtual world, society as well as players can have impact on it to reduce the realism. The violation of the prescribed rules by a player is regarded as cheating. And it is subjected to sanctions, but the attitude toward it is ambiguous, sometimes positive. Some rules are formed as a result of the interaction between players. (shrink)

The study of a person existence in Internet space is certainly an actual task, since the Internet is not only a source of innovation, but also the cause of society's transformations and the social and cultural problems that arise in connection with this. Computer network is global. It is used by people of different professions, age, level and nature of education, living around the world and belonging to different cultures. It complicates the problem of developing common standards of behavior, a (...) system of norms and rules that could be widely accepted by all users. On the other hand, the Internet space can be viewed as a new form of existence where physical laws do not work, and in connection with this, social ones are often questioned. This paper focuses on how social norms regulate relations in Internet space. The authors represents the typology of deviant behavior in the network. The empirical basis of the research includes the sociological survey of students of the senior courses in the Institute of Computer Science and Technology of Peter the Great St. Petersburg Polytechnic University. Sociological survey allows to identify students’ understanding of Internet space. The selection of students is conditioned by the fact that IT professionals are considered simultaneously as ordinary users of the network and as future professionals in this field. (shrink)

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are understood, and that its different foundations are explained. On the Foundations of Computing offers a comprehensive and critical overview of the birth and evolution of computing, and it presents some of the most important technical results and philosophical problems of the discipline, (...) combining both historical and systematic analyses. -/- The debates this text surveys are among the latest and most urgent ones: the crisis of foundations in mathematics and the birth of the decision problem, the nature of algorithms, the debates on computational artefacts and malfunctioning, and the analysis of computational experiments. By covering these topics, On the Foundations of Computing provides a much-needed resource to contextualize these foundational issues. -/- For practitioners, researchers, and students alike, a historical and philosophical approach such as what this volume offers becomes essential to understand the past of the discipline and to figure out the challenges of its future. (shrink)

Existe um horizonte à frente. Este horizonte está longe de ser aquele aqui descrito em sua forma, mas talvez o seja em sua essência. O que quero dizer com isso é que existe uma possibilidade de os cérebros positrônicos do título nunca existirem para além das brilhantes mentes que os conceberam na Ficção Científica, mas isto não quer dizer que não existirão sistemas análogos em suas funções, principalmente quanto à racionalidade. A Crítica da Razão Positrônica é um texto que tem (...) uma pretensão de, a partir dos interesses estabelecidos por Immanuel Kant, na Crítica da Razão Pura, tenta determinar o tipo de racionalidade esperada a androides, no caso, que possuam um cérebro positrônico. Repito assim o que escreveu Kant: ”Todo interesse de minha razão (tanto especulativa como prática) concentra-se nas seguintes três interrogações:1.Que posso Saber?2.Que devo fazer?3.Que me é permitido esperar?”1 Portanto, é com uma aproximação por essas perguntas que buscaremos uma racionalidade positrônica, algumas vezes talvez,assumindo a posição lógica por parte dos androides positrônicos. -/- 1KANT, I. Critica da Razão PuraA805/B833 -/- . (shrink)

Abstract: In the future, it will be possible to create advance simulations of ancestor in computers. Superintelligent AI could make these simulations very similar to the real past by creating a simulation of all of humanity. Such a simulation would use all available data about the past, including internet archives, DNA samples, advanced nanotech-based archeology, human memories, as well as text, photos and videos. This means that currently living people will be recreated in such a simulation, and in some sense, (...) “resurrected”. Such “resurrectional simulation” could be deliberately created just for this goal: to return to life all people who have ever lived. The main technical problem of such simulation will be uncertainty about the past, which increases exponentially for more remote times. Such problem could be partly addressed by “acausal trade” between different branches of the multiverse, which will create slightly different versions of the simulation using a quantum randomness generator. Such trade will result in resurrection of all possible people (including those who existed in other branches). Ethical problems of such a resurrectional simulation include: a) possible resurrection of some people against their will; b) such simulation may create additional suffering; с) such simulation could be used by hostile AI to return people to life and then torture them. In this work, I explore preliminary ideas about how to address these problems. (shrink)