This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians.

While calls to integrate ethics into computer science education go back decades, recent high-profile ethical failures related to computing technology by large technology companies, governments, and academic institutions have accelerated the adoption of computer ethics education at all levels of instruction. Discussions of how to integrate ethics into existing computer science programmes often focus on the structure of the intervention—embedded modules or dedicated courses, humanists or computer scientists as ethics instructors—or on the specific content (...) to be included—lists of case studies and essential topics to cover. While proponents of computer ethics education often emphasize the importance of closely connecting ethical and technical content in these initiatives, most do not reflect in depth on the variety of ways in which the disciplines can be combined. In this paper, I deploy a framework from cross- disciplinary studies that categorizes academic projects that work across disciplines as multidisciplinary, interdisciplinary, or transdisciplinary, depending on the degree of integration. When applied to computer ethics education, this framework is orthogonal to the structure and content of the initiative, as I illustrate using examples of dedicated ethics courses and embedded modules. It therefore highlights additional features of cross-disciplinary teaching that need to be considered when planning a computer ethics programme. I argue that computer ethics education should aim to be at least interdisciplinary—multidisciplinary initiatives are less aligned with the pedagogical aims of computer ethics—and that computer ethics educators should experiment with fully transdisciplinary education that could transform computer science as a whole for the better. (shrink)

Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also (...) consider Floridi's structural account of reality and its fit for describing abstract computational worlds. Being abstract, such worlds are products of programmers' creative imaginations, so any "laws" in these worlds are easily broken. The worlds of computational objects need laws in the form of self-prescribed invariants, but the suspension of these laws might be creative acts. Bending the rules of abstract reality facilitates algorithm design, as we demonstrate through the example of search trees. (shrink)

This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of great interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.

A Neurocomputationial Perspective illustrates the fertility of the concepts and data drawn from the study of the brain and of artificial networks that model the...

In this full review paper, the recent emerging trends in Computing Structures, Software Science, and System Applications have been reviewed and explored to address the recent topics and contributions in the era of the Software and Computing fields. This includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art, framework, implemented approaches and techniques research projects in the areas of Software Technology & Automation, Networking, Systems, Computing Sciences and Software Engineering, Big Data and E-learning. Based (...) on this systematic review, we have put some recommendations and suggestions for researchers, practitioners and scholars to improve their research quality in this area. (shrink)

Data-intensive techniques, now widely referred to as 'big data', allow for novel ways to address complexity in science. I assess their impact on the scientific method. First, big-data science is distinguished from other scientific uses of information technologies, in particular from computer simulations. Then, I sketch the complex and contextual nature of the laws established by data-intensive methods and relate them to a specific concept of causality, thereby dispelling the popular myth that big (...) data is only concerned with correlations. The modeling in data-intensive science is characterized as 'horizontal'—lacking the hierarchical, nested structure familiar from more conventional approaches. The significance of the transition from hierarchical to horizontal modeling is underlined by a concurrent paradigm shift in statistics from parametric to non-parametric methods. (shrink)

Collecting, comparing, and computing molecular sequences are among the most prevalent practices in contemporary biological research. They represent a specific way of producing knowledge. This paper explores the historical development of these practices, focusing on the work of Margaret O. Dayhoff, Richard V. Eck, and Robert S. Ledley, who produced the first computer-based collection of protein sequences, published in book format in 1965 as the Atlas of Protein Sequence and Structure. While these practices are generally associated with the rise (...) of molecular evolution in the 1960s, this paper shows that they grew out of research agendas from the previous decade, including the biochemical investigation of the relations between the structures and function of proteins and the theoretical attempt to decipher the genetic code. It also shows how computers became essential for the handling and analysis of sequence data. Finally, this paper reflects on the relationships between experimenting and collecting as two distinct “ways of knowing” that were essential for the transformation of the life sciences in the twentieth century. (shrink)

In this paper we will offer a few examples to illustrate the orientation of contemporary research in data analysis and we will investigate the corresponding role of mathematics. We argue that the modus operandi of data analysis is implicitly based on the belief that if we have collected enough and sufficiently diverse data, we will be able to answer most relevant questions concerning the phenomenon itself. This is a methodological paradigm strongly related, but not limited to, biology, (...) and we label it the microarray paradigm. In this new framework, mathematics provides powerful techniques and general ideas which generate new computational tools. But it is missing any explicit isomorphism between a mathematical structure and the phenomenon under consideration. This methodology used in data analysis suggests the possibility of forecasting and analyzing without a structured and general understanding. This is the perspective we propose to call agnostic science, and we argue that, rather than diminishing or flattening the role of mathematics in science, the lack of isomorphisms with phenomena liberates mathematics, paradoxically making more likely the practical use of some of its most sophisticated ideas. (shrink)

Quantum physics, which offers an explanation of the world on the smallest scale, has fundamental implications that pose a serious challenge to ordinary logic. Particularly counterintuitive is the notion of entanglement, which has been explored for the past 30 years and posits an ubiquitous randomness capable of manifesting itself simultaneously in more than one place. This amazing 'non-locality' is more than just an abstract curiosity or paradox: it has entirely down-to-earth applications in cryptography, serving for example to protect financial information; (...) it also has enabled the demonstration of 'quantum teleportation', whose infinite possibilities even science-fiction writers can scarcely imagine. This delightful and concise exposition does not avoid the deep logical difficulties of quantum physics, but gives the reader the insights needed to appreciate them. From 'Bell's Theorem' to experiments in quantum entanglement, the reader will gain a solid understanding of one of the most fascinating areas of contemporary physics. (shrink)

The proliferation of digital data has been the impetus for the emergence of a new discipline for the study of social life: ‘computational social science’. Much research in this field is founded on the premise that society is a complex system with emergent structures that can be modeled or reconstructed through digital data. This paper suggests that computational social science serves practical and legitimizing functions for digital capitalism in much the same way that neoclassical economics (...) does for neoliberalism. In recognition of this homology, this paper develops a critique of the complexity perspective of computational social science and argues for a heterodox computational social science founded on the meta-theory of critical realism that is critical, methodological pluralist, interpretative and explanative. This implies diverting computational social science’ computational methods and digital data so as to not be aimed at identifying invariant laws of social life, or optimizing state and corporate practices, but to instead be used as part of broader research strategies to identify contingent patterns, develop conjunctural explanations, and propose qualitatively different ways of organizing social life. (shrink)

To explain why, in scientific problem solving, a diagram can be “worth ten thousand words,” Jill Larkin and Herbert Simon (1987) relied on a computer model: two representations can be “informationally” equivalent but differ “computationally,” just as the same data can be encoded in a computer in multiple ways, more or less suited to different kinds of processing. The roots of this proposal lay in cognitive psychology, more precisely in the “imagery debate” of the 1970s on whether (...) there are image-like mental representations. Simon (1972, 1978) hoped to solve this debate by thoroughly reducing the differences between forms of mental representations (e.g., between images and sentences) to differences in computational efficiency; to carry out this reduction, he borrowed from computer science the concepts of data type and of data structure. I argue that, in the end, his account amounted to nothing more than characterizing representations by the fast operations on them. This analysis then allows me to assess what Simon’s approach actually achieves when transported from psychology to the study of scientific representations, as in Larkin and Simon (1987): it allows comparing, not representations in and of themselves, but rather the computational roles they play in particular problem-solving processes—that is, representations together with a particular way of using them. (shrink)

Drawing on face-to-face and online ethnographic, survey and interview data with participants in distributed computing projects around the world, this book sheds light on the organizational and social structures of voluntary distributed computing projects, communities and teams, with close attention to questions of motivation in projects that offer little or no traditional forms of reward, either financially or in terms of participants' careers. With its focus on non-market, non-hierarchical cooperation, this book is a case study of networked individuals (...) around the world who are part of a new social production of information. (shrink)

Data science, and the related field of big data, is an emerging discipline involving the analysis of data to solve problems and develop insights. This rapidly growing domain promises many benefits to both consumers and businesses. However, the use of big data analytics can also introduce many ethical concerns, stemming from, for example, the possible loss of privacy or the harming of a sub-category of the population via a classification algorithm. To help address these potential (...) ethical challenges, this paper maps and describes the main ethical themes that were identified via systematic literature review. It then identifies a possible structure to integrate these themes within a data science project, thus helping to provide some structure in the on-going debate with respect to the possible ethical situations that can arise when using data science analytics. (shrink)

According to logical theories of meaning, a meaning of an expression can be formalized and encoded in truth conditions. Vagueness of the language and individual differences between people are a challenge to incorporate into the meaning representations. In this paper, we propose a new approach to study truth-conditional representations of vague concepts. For a case study, we selected two natural language quantifiers most and more than half. We conducted two online experiments, each with 90 native English speakers. In the first (...) experiment, we tested between-subjects variability in meaning representations. In the second experiment, we tested the stability of meaning representations over time by testing the same group of participants in two experimental sessions. In both experiments, participants performed the verification task. They verified a sentence with a quantifier (e.g., “Most of the gleerbs are feezda.”) based on the numerical information provided in the second sentence, (e.g., “60% of the gleerbs are feezda”). To investigate between-subject and within-subject differences in meaning representations, we proposed an extended version of the Diffusion Decision Model with two parameters capturing truth conditions and vagueness. We fit the model to responses and reaction times data. In the first experiment, we found substantial between-subject differences in representations of most as reflected by the variability in the truth conditions. Moreover, we found that the verification of most is proportion-dependent as reflected in the reaction time effect and model parameter. In the second experiment, we showed that quantifier representations are stable over time as reflected in stable model parameters across two experimental sessions. These findings challenge semantic theories that assume the truth-conditional equivalence of most and more than half and contribute to the representational theory of vague concepts. The current study presents a promising approach to study semantic representations, which can have a wide application in experimental linguistics. (shrink)

Computational psychiatry offers promising opportunities for understanding and treating mental health disorders, yet achieving ecological validity—the accurate reflection of real-world experiences—remains a critical challenge. This perspective examines how digital health technologies can enhance ecological validity in computational psychiatry while addressing barriers in data collection, participant representation, validation, engagement, and methodological integration. We review key approaches, including digital phenotyping and adaptive design optimization, that enable more naturalistic data collection. However, achieving representative sampling and mitigating algorithmic biases remain unresolved challenges, (...) particularly in AI-driven assessments. We discuss how expert-by-experience collaboration, systematic validation efforts, and structured open science practices can improve model generalizability and clinical applicability. Additionally, we explore the role of federated learning and edge computing in balancing privacy with robust, scalable model development. The paper concludes by integrating these challenges and solutions within a broader methodological framework, emphasizing the need for interdisciplinary approaches that bridge computational precision with real-world psychiatric care. (shrink)

The History of Ideas is presently enjoying a certain renaissance after a long period of disrepute. Increasing quantities of digitally available historical texts and the availability of computational tools for the exploration of such masses of sources, it is suggested, can be of invaluable help to historians of ideas. The question is: how exactly? In this paper, we argue that a computational history of ideas is possible if the following two conditions are satisfied: (i) Sound Method . A computational history (...) of ideas must be built upon a sound theoretical foundation for its methodology, and the only such foundation is given by the use of models , i.e., fully explicit and revisable interpretive frameworks or networks of concepts developed by the historians of ideas themselves. (ii) Data Organisation. Interpretive models in our sense must be seen as topic-specific knowledge organisation systems (KOS) implementable (i.e. formalisable) as e.g. computer science ontologies. We thus require historians of ideas to provide explicitly structured semantic framing of domain knowledge before investigating texts computationally, and to constantly re-input findings from the interpretive point of view. In this way, a computational history of ideas maximally profits from computer methods while also keeping humanities experts in the loop. We elucidate our proposal with reference to a model of the notion of axiomatic science in 18th -19th century Europe. (shrink)

This book constitutes the refereed proceedings of the 14th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2014, held in Copenhagen, Denmark, in July 2014. The 33 papers were carefully reviewed and selected from a total of 134 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures including but not limited to approximation algorithms, parameterized algorithms, computational biology, computational geometry and topology, (...) distributed algorithms, external-memory algorithms, exponential algorithms, graph algorithms, online algorithms, optimization algorithms, randomized algorithms, streaming algorithms, string algorithms, sublinear algorithms and algorithmic game theory. (shrink)

Increasingly, biologists are using computers to model and to create biological representations. However, the exponential growth in available biological dataposes a challenge for experimental and theoretical researchers in both Biology and in Computer Science. In short, when even the simple retrieval of relevant biological information for a researcher becomes a complex task — its analysis and synthesis with other biological information will become even more daunting and unlikely. In this context, specially organized ‘structures of representation’ are needed (...) for the efficient interpretation of experimentally generated data. The “semantic Web” is a recent trend in networking techniques that we will examine here as a possible strategy for the computation of biological data — one that may allow us to take into account both the semiotic dimensions of biological processes, as well as their dynamic organization into stable and systemic levels. Thereupon, we propose that a semantic network for biology could benefit from principles rooted in such previous representation efforts as computer-generated ‘landscapes’ and ‘physical attractors’ — and that such principles could, in turn, then be better integrated into biological research through the development of a more semiotically informed user / computer interface design. (shrink)

The paper has three parts. First, a survey and analysis is given ofthe structure of individual rights in the recent EU Directive ondata protection. It is argued that at the core of this structure isan unexplicated notion of what the data subject can `reasonablyexpect' concerning the further processing of information about himor herself. In the second part of the paper it is argued thattheories of privacy popular among philosophers are not able to shed much light on the issues treated (...) in the Directive, whichare, arguably, among the central problems pertaining to theprotection of individual rights in the information society. Inthe third part of the paper, some suggestions are made for a richerphilosophical theory of data protection and privacy. It is arguedthat this account is better suited to the task of characterizingthe central issues raised by the Directive. (shrink)

A major objective of cognitive science is to understand the nature of the abstract representations and computational processes responsible for our ability to reason, speak, perceive, and interact with the world. In addition, a commitment to a materialist resolution of the mind–body problem requires that we search for the manner in which these representations and processes are neurally instantiated in the brain. Given this dual aim, one might proceed in one of two ways: (1) from the bottom up, commencing (...) with the study of how low‐level information and computations are encoded in the neuroanatomy of the brain, in the hope of working upwards toward an understanding of the properties of higher‐level cognitive processes; (2) from the top down, using behavioral data from a variety of sources to provide an abstract characterization of cognitive processes and then utilizing these results to guide our search for the neural mechanisms of cognition. At present, our understanding of the neural basis of higher‐level cognition is virtually negligible. Thus, it is probably fair to say that a contemporary study of any of the domains discussed in part II of this volume may be carried out only in a top‐down fashion. (shrink)

The emergence of vibrant research communities of computer scientists in Kenya and Uganda has occurred in the context of neoliberal privatization, commercialization, and transnational capital flows from donors and corporations. We explore how this funding environment configures research culture and research practices, which are conceptualized as two main components of a research community. Data come from a three-year longitudinal study utilizing interview, ethnographic and survey data collected in Nairobi and Kampala. We document how administrators shape research culture (...) by building academic programs and training growing numbers of PhDs, and analyze how this is linked to complicated interactions between political economy, the epistemic nature of computer science and sociocultural factors like entrepreneurial leadership of key actors and distinctive cultures of innovation. In a donor-driven funding environment, research practice involves scientists constructing their own localized research priorities by adopting distinctive professional identities and creatively structuring projects. The neoliberal political economic context thus clearly influenced research communities, but did not debilitate computing research capacity nor leave researchers without any agency to carry out research programs. The cases illustrate how sites of knowledge production in Africa can gain some measure of research autonomy, some degree of global competency in a central arena of scientific and technological activity, and some expression of their regional cultural priorities and aspirations. Furthermore, the cases suggest that social analysts must balance structure with culture, place and agency in their approaches to understanding how funding and political economy shape scientific knowledge. (shrink)

Neutrosophic theory and its applications have been expanding in all directions at an astonishing rate especially after of the introduction the journal entitled “Neutrosophic Sets and Systems”. New theories, techniques, algorithms have been rapidly developed. One of the most striking trends in the neutrosophic theory is the hybridization of neutrosophic set with other potential sets such as rough set, bipolar set, soft set, hesitant fuzzy set, etc. The different hybrid structures such as rough neutrosophic set, single valued neutrosophic rough (...) set, bipolar neutrosophic set, single valued neutrosophic hesitant fuzzy set, etc. are proposed in the literature in a short period of time. Neutrosophic set has been an important tool in the application of various areas such as data mining, decision making, e-learning, engineering, law, medicine, social science, and some more. -/- This book explores the emerging field of Neutrosophic Algebraic Structures, focusing on both their theoretical foundations and practical applications. We apply innovative algorithmic methods to investigate the complex interactions of neutrosophic elements, such as neutrosophic numbers, sets, and functions, within algebraic systems. Our goal is to show how neutrosophic structures challenge and expand traditional algebraic approaches, offering solutions to problems across diverse fields like computer science, engineering, artificial intelligence, and decision-making. (shrink)

Some computational phenomena rely essentially on pragmatic considerations, and seem to undermine the independence of the specification from the implementation. These include software development, deviant uses, esoteric languages and recent data-driven applications. To account for them, the interaction between pragmatics, epistemology and ontology in computational artefacts seems essential, indicating the need to recover the role of the language metaphor. We propose a User Levels (ULs) structure as a pragmatic complement to the Levels of Abstraction (LoAs)-based structure defining the ontology (...) and epistemology of computational artefacts. ULs identify a flexible hierarchy in which users bear their own semantic and normative requirements, possibly competing with the logical specification. We formulate a notion of computational act intended in its pragmatic sense, alongside pragmatic versions of implementation and correctness. (shrink)

This work is concerned with hierarchical modular descriptions, their algorithmic production, and their importance for certain types of scientific explanations of the structure and dynamical behavior of complex systems. Networks are taken into consideration as paradigmatic representations of complex systems. It turns out that algorithmic detection of hierarchical modularity in networks is a task plagued in certain cases by theoretical intractability and in most cases by the still high computational complexity of most approximated methods. A new notion, antimodularity, is then (...) proposed, which consists in the impossibility to algorithmically obtain a modular description fitting the explanatory purposes of the observer for reasons tied to the computational cost of typical algorithmic methods of modularity detection, in relation to the excessive size of the system under assessment and to the required precision. It turns out that occurrence of antimodularity hinders both mechanistic and functional explanation, by damaging their intelligibility. Another newly proposed more general notion, explanatory emergence, subsumes antimodularity under any case in which a system resists intelligible explanations because of the excessive computational cost of algorithmic methods required to obtain the relevant explanatory descriptions from the raw data. The possible consequences, and the likelihood, of incurring in antimodularity or explanatory emergence in the actual scientific practice are finally assessed, concluding that this eventuality is possible, at least in disciplines which are based on the algorithmic analysis of big data. The present work aims to be an example of how certain notions of theoretical computer science can be fruitfully imported into philosophy of science. (shrink)

The cerebral cortex is a rich and diverse structure that is the basis of intelligent behavior. One of the deepest mysteries of the function of cortex is that neural processing times are only about one hundred times as fast as the fastest response times for complex behavior. At the very least, this would seem to indicate that the cortex does massive amounts of parallel computation.This paper explores the hypothesis that an important part of the cortex can be modeled as a (...) connectionist computer that is especially suited for parallel problem solving. The connectionist computer uses a special representation, termed value unit encoding, that represents small subsets of parameters in a way that allows parallel access to many different parameter values. This computer can be thought of as computing hierarchies of sensorimotor invariants. The neural substrate can be interpreted as a commitment to data structures and algorithms that compute invariants fast enough to explain the behavioral response times. A detailed consideration of this model has several implications for the underlying anatomy and physiology. (shrink)

This paper studies the structure of semantic theories over modular computational systems and applies the algebraic Theory of Institutions to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of ∑‐models mapped from the category Th of ∑‐theories (...) and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions INS, where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in INS at any level occurs iff the same morphism occurs at the lower level alongside the Th hierarchy. (shrink)

Individuals with agrammatic Broca's aphasia experience difficulty when processing reversible non-canonical sentences. Different accounts have been proposed to explain this phenomenon. The Trace Deletion account attributes this deficit to an impairment in syntactic representations, whereas others propose that the underlying structural representations are unimpaired, but sentence comprehension is affected by processing deficits, such as slow lexical activation, reduction in memory resources, slowed processing and/or intermittent deficiency, among others. We test the claims of two processing accounts, slowed processing and intermittent deficiency, (...) and two versions of the Trace Deletion Hypothesis, in a computational framework for sentence processing implemented in ACT-R. The assumption of slowed processing is operationalized as slow procedural memory, so that each processing action is performed slower than normal, and intermittent deficiency as extra noise in the procedural memory, so that the parsing steps are more noisy than normal. We operationalize the TDH as an absence of trace information in the parse tree. To test the predictions of the models implementing these theories, we use the data from a German sentence—picture matching study reported in Hanne, Sekerina, Vasishth, Burchert, and De Bleser. The data consist of offline and online measures. From among the models considered, the model assuming that both slowed processing and intermittent deficiency are present emerges as the best model of sentence processing difficulty in aphasia. The modeling of individual differences suggests that, if we assume that patients have both slowed processing and intermittent deficiency, they have them in differing degrees. (shrink)

Using biased data to train Artificial Intelligence (AI) algorithms will lead to biased decisions, discriminating against certain groups or individuals. Bias can be explicit (one or several protected features directly influence the decisions) or implicit (one or several protected features indirectly influence the decisions). Unsurprisingly, biased patterns are difficult to detect and mitigate. This paper investigates the extent to which explicit and implicit against one or more protected features in structured classification data sets can be mitigated simultaneously while (...) retaining the data’s discriminatory power. The main contribution of this paper concerns an optimization-based bias mitigation method that reweights the training instances. The algorithm operates with numerical and nominal data and can mitigate implicit and explicit bias against several protected features simultaneously. The trade-off between bias mitigation and accuracy loss can be controlled using parameters in the objective function. The numerical simulations using real-world data sets show a reduction of up to 77% of implicit bias and a complete removal of explicit bias against protected features at no cost of accuracy of a wrapper classifier trained on the data. Overall, the proposed method outperforms the state-of-the-art bias mitigation methods for the selected data sets. (shrink)

What is it to interpret the outputs of an opaque machine learning model? One approach is to develop interpretable machine learning techniques. These techniques aim to show how machine learning models function by providing either model-centric local or global explanations, which can be based on mechanistic interpretations (revealing the inner working mechanisms of models) or non-mechanistic approximations (showing input feature–output data relationships). In this paper, we draw on social philosophy to argue that interpreting machine learning outputs in certain normatively (...) salient domains could require appealing to a third type of explanation that we call “socio-structural” explanation. The relevance of this explanation type is motivated by the fact that machine learning models are not isolated entities but are embedded within and shaped by social structures. Socio-structural explanations aim to illustrate how social structures contribute to and partially explain the outputs of machine learning models. We demonstrate the importance of socio-structural explanations by examining a racially biased healthcare allocation algorithm. Our proposal highlights the need for transparency beyond model interpretability: understanding the outputs of machine learning systems could require a broader analysis that extends beyond the understanding of the machine learning model itself. (shrink)

Computational Functionalism is a subfield of philosophy of mind most relevant to the subject of cognitive science as well as to artificial intelligence (AI). The analysis of this paper focuses on Hilary Putnam’s and Gualtiero Piccinini’s standpoints regarding the molecular understanding of computation. Finally, Putnam’s argument of the functionalism in notion of the mental states is based on the positive definition of those states by their functions, while Piccinini, and on the other hand suggest that an understanding of the (...) mechanism of computation will go a long way to explaining cognition. This research also points out shortcomings of functionalism in their theories especially in regards to connectivity with physicality of AI structures. Therefore, the paper identifies the following gaps: The first gap holds that although both theorists have important insights, the two approaches put forward by the respective theorists are flawed and a better proposal is required, then a new proposal is suggested In identifying these gaps, the paper seeks to contribute to the literature by arguing for the need to develop a composite of the two theorists. The results show that the big ideas are important in present-day AI debate and analysis, which helps to explain the mind as computation. (shrink)

While standard procedures of causal reasoning as procedures analyzing causal Bayesian networks are custom-built for (non-deterministic) probabilistic struc- tures, this paper introduces a Boolean procedure that uncovers deterministic causal structures. Contrary to existing Boolean methodologies, the procedure advanced here successfully analyzes structures of arbitrary complexity. It roughly involves three parts: first, deterministic dependencies are identified in the data; second, these dependencies are suitably minimalized in order to eliminate redundancies; and third, one or—in case of ambiguities—more than one (...) causal structure is assigned to the minimalized deterministic dependencies. (shrink)

Recent claims, mainly from computer scientists, concerning a largely automated and model-free data-intensive science have been countered by critical reactions from a number of philosophers of science. The debate suffers from a lack of detail in two respects, regarding the actual methods used in data-intensive science and the specific ways in which these methods presuppose theoretical assumptions. I examine two widely-used algorithms, classificatory trees and non-parametric regression, and argue that these are theory-laden in an (...) external sense, regarding the framing of research questions, but not in an internal sense concerning the causal structure of the examined phenomenon. With respect to the novelty of data-intensive science, I draw an analogy to exploratory as opposed to theory-directed experimentation. (shrink)

A commonly held background assumption about the sciences is that they connect along borders characterized by ontological or explanatory relationships, usually given in the order of mathematics, physics, chemistry, biology, psychology, and the social sciences. Interdisciplinary work, in this picture, arises in the connecting regions of adjacent disciplines. Philosophical research into interdisciplinary model transfer has increasingly complicated this picture by highlighting additional connections orthogonal to it. But most of these works have been done through case studies, which due to their (...) strong focus struggle to provide foundations for claims about large-scale relations between multiple scientific disciplines. As a supplement, in this contribution, we propose to philosophers of science the use of modern science mapping techniques to trace connections between modeling techniques in large literature samples. We explain in detail how these techniques work, and apply them to a large, contemporary, and multidisciplinary data set (n=383.961 articles). Through the comparison of textual to mathematical representations, we suggest formulaic structures that are particularly common among different disciplines and produce first results indicating the general strength and commonality of such relationships. (shrink)

Advances in artificial intelligence have raised a basic question about human intelligence: Is human reasoning best emulated by applying task‐specific knowledge acquired from a wealth of prior experience, or is it based on the domain‐general manipulation and comparison of mental representations? We address this question for the case of visual analogical reasoning. Using realistic images of familiar three‐dimensional objects (cars and their parts), we systematically manipulated viewpoints, part relations, and entity properties in visual analogy problems. We compared human performance to (...) that of two recent deep learning models (Siamese Network and Relation Network) that were directly trained to solve these problems and to apply their task‐specific knowledge to analogical reasoning. We also developed a new model using part‐based comparison (PCM) by applying a domain‐general mapping procedure to learned representations of cars and their component parts. Across four‐term analogies (Experiment 1) and open‐ended analogies (Experiment 2), the domain‐general PCM model, but not the task‐specific deep learning models, generated performance similar in key aspects to that of human reasoners. These findings provide evidence that human‐like analogical reasoning is unlikely to be achieved by applying deep learning with big data to a specific type of analogy problem. Rather, humans do (and machines might) achieve analogical reasoning by learning representations that encode structural information useful for multiple tasks, coupled with efficient computation of relational similarity. (shrink)

Computational models will play an important role in our understanding of human higher‐order cognition. How can a model's contribution to this goal be evaluated? This article argues that three important aspects of a model of higher‐order cognition to evaluate are (a) its ability to reason, solve problems, converse, and learn as well as people do; (b) the breadth of situations in which it can do so; and (c) the parsimony of the mechanisms it posits. This article argues that fits of (...) models to quantitative experimental data, although valuable for other reasons, do not address these criteria. Further, using analogies with other sciences, the history of cognitive science, and examples from modern‐day research programs, this article identifies five activities that have been demonstrated to play an important role in our understanding of human higher‐order cognition. These include modeling within a cognitive architecture, conducting artificial intelligence research, measuring and expanding a model's ability, finding mappings between the structure of different domains, and attempting to explain multiple phenomena within a single model. (shrink)

Agent-Based Models are useful to describe and understand social, economic and spatial systems' dynamics. But, beside the facilities which this methodology offers, evaluation and comparison of simulation models are sometimes problematic. A rigorous conceptual frame needs to be developed. This is in order to ensure the coherence in the chain linking at the one extreme the scientist's hypotheses about the modeled phenomenon and at the other the structure of rules in the computer program. This also systematizes the model design (...) from the thematician conceptual framework as well. The aim is to reflect upon the role that a well defined ontology, based on the crossing of the philosophical and the computer science insights, can play to solve such questions and help the model building. We analyze different conceptions of ontology, introduce the 'ontological test' and show its usefulness to compare models. Then we focus on the model building and show the place of a systematic ABM ontology. The latter process is situated within a larger framework called the 'knowledge framework' in which not only the ontologies but also the notions of theory, model and empirical data take place. At last the relation between emergence and ontology is discussed. (shrink)

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material. This textbook is essential reading (...) for anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school. (shrink)

This dissertation investigates some philosophical issues using computational models. Chapter 1 presents a Lewis-Skyrms signaling game that can exhibit a type of compositionality novel to the signaling game literature. The structure of the signaling game is motivated by an analogy to the alarm calls of putty-nosed monkeys (Cercopithecus nictitans). Putty-nosed monkeys display a compositional system of alarm calls with a semantics that is sensitive to the ordering of terms. This sensitivity to the ordering of terms has not been previously modeled (...) with a Lewis-Skyrms signaling game literature. Signaling games are valued for showing how communicative systems can arise with minimal learning tools. Simulation results show that basic (Roth-Erev) reinforcement learning is sufficient for the acquisition of a compositional signaling system sensitive to the ordering of terms. Chapter 2 investigates social epistemology in the context of an effect of cognitive biases called the illusory truth effect. The illusory truth effect is exhibited when repeated exposure to a statement increases an individual's credence in that statement. While most investigations of the illusory truth effect focus on individuals' belief formation, humans typically form beliefs within a social structure. This is particularly relevant because various social structures can give rise to repeated exposure to statements; e.g. a popular book might recurringly be discussed in one's social circle, or one or two foundational papers might always be cited by a particular lab. So, how does the illusory truth effect influence learning and belief formation in a group? This chapter uses network models to investigate this question. These models show that the illusory truth effect can be very detrimental to a group's belief formation. The effect causes networks to prematurely settle on a belief, in part, through repeated exposure to data points that are not independently generated. Previous research has indicated that the probability of such failures is near zero when networks are large or scientists are forced to explore unpopular and risky science. However, simulation results show that the harmful consequences of the illusory truth effect are robust even in large networks with mandatory exploration. Finally, Chapter 3 shows how a rudimentary type of abstraction can obtain in Lewis-Skyrms signaling games. Here, abstraction is understood as occurring when different particulars take on the same functional role. Some abstraction may be guided by innate biases, and the chapter develops an analogy of reasoning about strategic thinking in chess to highlight some epistemic concerns that are raised by the presentation of abstraction. Concretely, the signaling game models of this chapter are developed in the context of two tasks that are much simpler than strategizing in chess. The first task is a transitive inference task that has been substantially studied in both humans and non-human animals. General features of the models developed for the transitive inference task are then carried over to a model for the second task of learning rudimentary grammatical structures. This second task is based on studies of human infants and non-human primates' ability to learn ``nonsense grammars". Closing discussion highlights some strengths of the abstraction exhibited in the Lewis-Skyrms signaling game models. (shrink)

The reconciliation of theories of concepts based on prototypes, exemplars, and theory-like structures is a longstanding problem in cognitive science. In response to this problem, researchers have recently tended to adopt either hybrid theories that combine various kinds of representational structure, or eliminative theories that replace concepts with a more finely grained taxonomy of mental representations. In this paper, we describe an alternative approach involving a single class of mental representations called “semantic pointers.” Semantic pointers are symbol-like representations (...) that result from the compression and recursive binding of perceptual, lexical, and motor representations, effectively integrating traditional connectionist and symbolic approaches. We present a computational model using semantic pointers that replicates experimental data from categorization studies involving each prior paradigm. We argue that a framework involving semantic pointers can provide a unified account of conceptual phenomena, and we compare our framework to existing alternatives in accounting for the scope, content, recursive combination, and neural implementation of concepts. (shrink)

Integrative structure modeling is a method for using information from multiple sources to compute structural models of biomolecular systems. It proceeds via four steps: (i) defining the model representation, which determines the variables whose values will be computed; (ii) constructing a function for scoring alternative models according to how well they accommodate input information; (iii) searching a space of candidate models for acceptable models; and (iv) analyzing acceptable models to evaluate their fit with input information. These steps are iterated until (...) a model adequate for addressing biological questions is found. In this paper, we draw lessons from integrative modeling about effective integration and about modeling. We describe what it means to integrate information from multiple sources: Integration amounts to distributing information among the four steps of integrative modeling. Theory and data alike can be sources of information; this process thus generates models of information, rather than models of theory or models of data. We then propose heuristics for distributing information and designing multiple iterations of modeling. Effective iteration requires prioritizing the most reliable information and minimizing the time required to obtain an adequate model. Rather than being constructed from theory and assessed using data, models are constructed from any available information and assessed in a coherentist manner. (shrink)

Recently, the mechanistic framework of active inference has been put forward as a principled foundation to develop an overarching theory of consciousness which would help address conceptual disparities in the field (Wiese 2018 ; Hohwy and Seth 2020 ). For that promise to bear out, we argue that current proposals resting on the active inference scheme need refinement to become a process theory of consciousness. One way of improving a theory in mechanistic terms is to use formalisms such as computational (...) models that implement, attune and validate the conceptual notions put forward. Here, we examine how computational modelling approaches have been used to refine the theoretical proposals linking active inference and consciousness, with a focus on the extent and success to which they have been developed to accommodate different facets of consciousness and experimental paradigms, as well as how simulations and empirical data have been used to test and improve these computational models. While current attempts using this approach have shown promising results, we argue they remain preliminary in nature. To refine their predictive and structural validity, testing those models against empirical data is needed i.e., new and unobserved neural data. A remaining challenge for active inference to become a theory of consciousness is to generalize the model to accommodate the broad range of consciousness explananda; and in particular to account for the phenomenological aspects of experience. Notwithstanding these gaps, this approach has proven to be a valuable avenue for theory advancement and holds great potential for future research. (shrink)

Compared to existing classical approaches to semiotics which are dyadic (signifier/signified, F. de Saussure) and triadic (symbol/concept/object, Ch. S. Peirce), this theory can be characterized as tetradic ([sign/semion]//[object/noema]) and is the result of either doubling the dyadic approach along the semiotic/ordinary dimension or splitting the ‘concept’ of the triadic one into two (semiotic/ordinary). Other important features of this approach are (a) the distinction made between concepts (only functional pairs of extent and intent) and categories (as representations of expressions) and (b) (...) the indication of the need for providing the mathematical passage from the duality between two sets (where one is a singleton) within systems of sets to category-theoretical monoids within systems of categories while waiting for the solution of this problem in the field of logic. Last but not least, human language expressions are the most representative physical instances of semiotic objects. Moreover, as computational experiments which are possible with linguistic objects present a high degree of systematicity (of oppositions), in general, it is relatively easy to elucidate their dependence on the concepts underlying signs. This new semiotic theory or rather this new research program emerged as the fruit of experimentation and reflection on the application of data science tools elaborated within the frameworks of Rough Set Theory (RST), Formal Context Analysis (FCA) and, though only theoretically, Distributed Information Logic (DIL). The semiotic objects (s-objects) of this theory can be described in tabular datasets. Nevertheless, at this stage of formalisation of the theory, lattices (not trees) can be used as working representation structures for characterizing the components of concept systems and graphs for categories of each layer. (shrink)

Recent developments in computer science, particularly ”data-driven procedures“ have opened a new level of design and engineering. This has also affected architecture. The publication collects contributions on Coding as Literacy by computer scientists, mathematicians, philosophers, cultural theorists, and architects. The main focus in the book is the observation of computer-based methods that go beyond strictly case-based or problem-solution-oriented paradigms. This invites readers to understand Computational Procedures as being embedded in an overarching ”media literacy“ that can (...) be revealed through, and acquired by, ”computational literacy“, and to consider the data processed in the above-mentioned methods as being beneficial in terms of quantum physics. ”Self-Organizing Maps“ (SOM), which were first introduced over 30 years ago, will serve as the concrete reference point for all further discussions. (shrink)

We make two suggestions with regard to Depue & Collins's target article. First, regarding the functioning of MOC13, we provide data indicating that, contrary to D&C's apparent position, this structure is not necessary for instrumental conditioning. Second, we suggest that D&C's approach would be advanced by reference to formal computational theory, in particular the work of Grossberg. We suggest that an integration of Grossberg 's and D&C's models can provide a more complete account of extraversion.

The rapid and dynamic nature of digital transformation challenges companies that wish to develop and deploy novel digital technologies. Like other actors faced with this transformation, companies need to find robust ways to ethically guide their innovations and business decisions. Digital ethics has recently featured in a plethora of both practical corporate guidelines and compilations of high-level principles, but there remains a gap concerning the development of sound ethical guidance in specific business contexts. As a multinational science and technology (...) company faced with a broad range of digital ventures and associated ethical challenges, Merck KGaA has laid the foundations for bridging this gap by developing a Code of Digital Ethics (CoDE) tailored for this context. Following a comprehensive analysis of existing digital ethics guidelines, we used a reconstructive social research approach to identify 20 relevant principles and derive a code designed as a multi-purpose tool. Versatility was prioritised by defining non-prescriptive guidelines that are open to different perspectives and thus well-suited for operationalisation for varied business purposes. We also chose a clear nested structure that highlights the relationships between five core and fifteen subsidiary principles as well as the different levels of reference—data and algorithmic systems—to which they apply. The CoDE will serve Merck KGaA and its new Digital Ethics Advisory Panel to guide ethical reflection, evaluation and decision-making across the full spectrum of digital developments encountered and undertaken by the company whilst also offering an opportunity to increase transparency for external partners, and thus trust. (shrink)

At least since Kuhn’s Structure, philosophers have studied the influence of social factors in science’s pursuit of truth and knowledge. More recently, formal models and computer simulations have allowed philosophers of science and social epistemologists to dig deeper into the detailed dynamics of scientific research and experimentation, and to develop very seemingly realistic models of the social organization of science. These models purport to be predictive of the optimal allocations of factors, such as diversity of methods (...) used in science, size of groups, and communication channels among researchers. In this paper we argue that the current research faces an empirical challenge. The challenge is to connect simulation models with data. We present possible scenarios about how the challenge may unfold. (shrink)

This research attempts to construct a second order observation model in understanding the significance of Artificial intelligence (AI) in changing the global power structure. Because of the inevitable ubiquity of AI in the world societies’ near future, it impacts all the sections of society triggering socio-technical iterative developments. Its horizontal impact and states’ race to become leader in the AI world asks for a vivid understanding of its impact on the international system. To understand the latter, Triple Helix (TH) model (...) along with Shannon’s information entropy has been used to operationalize system’s theory. This model uses Shannon’s information theory to calculate the uncertainty generated from the interactions between the sub-systems considered. Data for the latter has been taken from Sanford Artificial Intelligence Laboratory 2019 report. It is found that European countries are the most effected in the AI era, with probability of losing their global influence and thus creating power void. Emerging powers such as India, Canada, South Africa and Brazil have better chances to fill the void and emerge as global influences. (shrink)

Phonological rules create alternations in the phonetic realizations of related words. These rules must be learned by infants in order to identify the phonological inventory, the morphological structure, and the lexicon of a language. Recent work proposes a computational model for the learning of one kind of phonological alternation, allophony . This paper extends the model to account for learning of a broader set of phonological alternations and the formalization of these alternations as general rules. In Experiment 1, we apply (...) the original model to new data in Dutch and demonstrate its limitations in learning nonallophonic rules. In Experiment 2, we extend the model to allow it to learn general rules for alternations that apply to a class of segments. In Experiment 3, the model is further extended to allow for generalization by context; we argue that this generalization must be constrained by linguistic principles. (shrink)

This paper presents an implemented computational model of word acquisition which learns directly from raw multimodal sensory input. Set in an information theoretic framework, the model acquires a lexicon by finding and statistically modeling consistent cross‐modal structure. The model has been implemented in a system using novel speech processing, computer vision, and machine learning algorithms. In evaluations the model successfully performed speech segmentation, word discovery and visual categorization from spontaneous infant‐directed speech paired with video images of single objects. These (...) results demonstrate the possibility of using state‐of‐the‐art techniques from sensory pattern recognition and machine learning to implement cognitive models which can process raw sensor data without the need for human transcription or labeling. (shrink)