A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, $$\textsf{CPN}$$ CPN, that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in $$\textsf{CPN}$$ CPN enjoys strong (...) normalization along with strong confluence (and, hence, uniqueness of normal forms). (shrink)

The rise of Big Data in the social realm poses significant questions at the intersection of science, technology, and society, including in terms of how new large-scale social databases are currently changing the methods, epistemologies, and politics of social science. In this commentary, we address such epochal questions by way of a experiment: at the Danish Technical University in Copenhagen, an interdisciplinary group of computer scientists, physicists, economists, sociologists, and anthropologists is setting up a large-scale data infrastructure, meant to continually (...) record the digital traces of social relations among an entire freshman class of students. At the same time, fieldwork is carried out on friendship relations amongst the same group of students. On this basis, the question we pose is the following: what kind of knowledge is obtained on this social micro-cosmos via the Big and Small Data, respectively? How do the two relate? Invoking Bohr’s principle of complementarity as analogy, we hypothesize that social relations, as objects of knowledge, depend crucially on the type of measurement device deployed. At the same time, however, we also expect new interferences and polyphonies to arise at the intersection of Big and Small Data, provided that these are, so to speak, mixed with care. These questions, we stress, are important not only for the future of social science methods but also for the type of societal knowledge that may be expected from new large-scale social databases. (shrink)

The 20th century philosophy of science began on a positivistic note. Its focal point was scientific explanation and the hypothetico-deductive (HD) framework of explanation was proposed as the standard of what is meant by “science.” HD framework, its inductive and statistical variants, and other logic-based approaches to modeling scientific explanation were developed long before the dawn of the information age. Since that time, the volume of observational data and power of high performance computing have increased by several orders of (...) magnitude and reshaped the practice and concept of science, and indeed, the philosophy of science. A new observational-inductive (OI) framework for scientific research is emerging due to recent developments in sensors, data systems, computers, and knowledge discovery techniques. We examine the nature of these changes and their impact on the question of what is meant by “science” after discussing five examples of the OI framework, and conclude that the HD and OI frameworks are complementary and synergistic. (shrink)

This essay provides a critique of mainstream computer ethics and argues for the importance of a complementary approach called disclosive computer ethics, which is concerned with the moral deciphering of embedded values and norms in computer systems, applications and practices. Also, four key values are proposed as starting points for disclosive studies in computer ethics: justice, autonomy, democracy and privacy. Finally, it is argued that research in disclosive computer ethics should be multi-level and interdisciplinary, distinguishing between a disclosure level, (...) a theoretical level, and an an application level. (shrink)

Computer simulation modeling is an important part of contemporary scientific practice but has not yet received much attention from philosophers. The present project helps to fill this lacuna in the philosophical literature by addressing three questions that arise in the context of computer simulation of Earth's climate. Computer simulation experimentation commonly is viewed as a suspect methodology, in contrast to the trusted mainstay of material experimentation. Are the results of computer simulation experiments somehow deeply problematic in ways that the results (...) of material experiments are not? I argue against categorical skepticism toward the results of computer simulation experiments by revealing important parallels in the epistemologies of material and computer simulation experimentation. It has often been remarked that simple computer simulation models---but not complex ones---contribute substantially to our understanding of the atmosphere and climate system. Is this view of the relative contributions of simple and complex models tenable? I show that both simple and complex climate models can promote scientific understanding and argue that the apparent contribution of simple models depends upon whether a causal or deductive account of scientific understanding is adopted. When two incompatible scientific theories are under consideration, they typically are viewed as competitors, and we seek evidence that refutes at least one of the theories. In the study of climate change, however, logically incompatible computer simulation models are accepted as complementary resources for investigating future climate. How can we make sense of this use of incompatible models? I show that a collection of incompatible climate models persists in part because of difficulties faced in evaluating and comparing climate models. I then discuss the rationale for using these incompatible models together and argue that this climate model pluralism has both competitive and integrative components. (shrink)

A basic deep neural network (DNN) is trained to exhibit a large set of input–output dispositions. While being a good model of the way humans perform some tasks automatically, without deliberative reasoning, more is needed to approach human‐like artificial intelligence. Analysing recent additions brings to light a distinction between two fundamentally different styles of computation: content‐specific and non‐content‐specific computation (as first defined here). For example, deep episodic RL networks draw on both. So does human conceptual reasoning. Combining the two takes (...) advantage of the complementary costs and benefits of each. It also offers a better model of human cognitive competence. (shrink)

In past studies, the few quantitative approaches to discourse structure were mostly confined to the presentation of the frequency of discourse relations. However, quantitative approaches should take into account both hierarchical and relational layers in the discourse structure. This study considers these factors and addresses the issue of how discourse relations and discourse units are related. It draws upon the available corpora of discourse structure ) from a new perspective. Since an RST tree can be converted into a syntactic dependency (...) tree, the data extracted from the RST-DT can be useful for calculating the discourse distance in much the same way as syntactic dependency distance is calculated. Discourse distance is also applicable to measuring the depth of the human processing of discourse. Furthermore, the data derived from the RST-DT are also easily converted into network data. This study finds that discourse structure has its discourse distance minimum and each type of RST relations has its range of discourse distance. The frequency distribution of discourse data basically follows the power law on several levels, while a network approach reveals how discourse units are arranged spatially in regular patterns. The two methods are mutually complementary in revealing the interaction between discourse relations and discourse units in a comprehensive manner, as well as in revealing how people process and comprehend discourse dynamically. Accordingly, we propose merging the two methods so as to yield a computational model for assessing discourse complexity and comprehension. (shrink)

A standing challenge for the science of mind is to account for the datum that every mind faces in the most immediate – that is, unmediated – fashion: its phenomenal experience. The complementary tasks of explaining what it means for a system to give rise to experience and what constitutes the content of experience (qualia) in computational terms are particularly challenging, given the multiple realizability of computation. In this paper, we identify a set of conditions that a computational theory (...) must satisfy for it to constitute not just a sufficient but a necessary, and therefore naturalistic and intrinsic, explanation of qualia. We show that a common assumption behind many neurocomputational theories of the mind, according to which mind states can be formalized solely in terms of instantaneous vectors of activities of representational units such as neurons, does not meet the requisite conditions, in part because it relies on inactive units to shape presently experienced qualia and implies a homogeneous representation space, which is devoid of intrinsic structure. We then sketch a naturalistic computational theory of qualia, which posits that experience is realized by dynamical activity-space trajectories (rather than points) and that its richness is measured by the representational capacity of the trajectory space in which it unfolds. (shrink)

The increasing concern about visual representation in science has been usually converged on representations – photographs, diagrams, graphs, maps –, while instruments of visualization have been usually neglected, even because of the concrete difficulty to grasp their effects on visualization. In this regard, the questions and concepts formulated in the debate on digital visualization deserve here as a starting point to analyze the change in instrumental mediation triggered by the introduction of computer-assisted imaging technologies in those laboratories that traditionally have (...) used and still use microscopes. Empirical materials gathered during an ethnographic investigation of Italian cytogenetics labs are here presented to show the visual spaces provided by microscopes and digital systems as activity fields, which are inhabited by and suggest in an either divergent or complementary way specific practices, materials, organizations, epistemological orientations and aesthetical preferences. (shrink)

Online dispute resolution (ODR) is an alternative to traditional litigation that can both significantly reduce the disadvantages suffered by litigants unable to afford an attorney and greatly improve court efficiency and economy. An important aspect of many ODR systems is a facilitator, a neutral party who guides the disputants through the steps of reaching an agreement. However, insufficient availability of facilitators impedes broad adoption of ODR systems. This paper describes a novel model of facilitation that integrates two distinct but (...) class='Hi'>complementary knowledge sources: cognitive task analysis of facilitator behavior and corpus analysis of ODR session transcripts. This model is implemented in a decision-support system that (1) monitors cases to detect situations requiring immediate attention and (2) automates selection of standard text messages appropriate to the current state of the negotiations. This facilitation model has the potential to compensate for shortages of facilitators by improving the efficiency of experienced facilitators, assisting novice facilitators, and providing autonomous facilitation. (shrink)

It is considered in some quarters that hypothesis‐driven methods are the only valuable, reliable or significant means of scientific advance. Data‐driven or ‘inductive’ advances in scientific knowledge are then seen as marginal, irrelevant, insecure or wrong‐headed, while the development of technology—which is not of itself ‘hypothesis‐led’ (beyond the recognition that such tools might be of value)—must be seen as equally irrelevant to the hypothetico‐deductive scientific agenda. We argue here that data‐ and technology‐driven programmes are not alternatives to hypothesis‐led studies in (...) scientific knowledge discovery but are complementary and iterative partners with them. Many fields are data‐rich but hypothesis‐poor. Here, computational methods of data analysis, which may be automated, provide the means of generating novel hypotheses, especially in the post‐genomic era. BioEssays 26:99–105, 2004. © 2003 Wiley Periodicals, Inc. (shrink)

Pattern recognition is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary patterns in any data. That ability of universal pattern recognition is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the observer would obtain (...) quite different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. (shrink)

The book presents investigations into the world of info-computational nature, in which information constitutes the structure, while computational process amounts to its change. Information and computation are inextricably bound: There is no computation without informational structure, and there is no information without computational process. Those two complementary ideas are used to build a conceptual net, which according to Novalis is a theoretical way of capturing reality. We apprehend the reality within a framework known as natural computationalism, the view that (...) the whole universe can be understood as a computational system at many different levels - from quantum mechanical world, to biological organisms including intelligent minds and their societies. Questions about nature of information and computation and their unified view are addressed along with application of info- computational approach to knowledge generation. (shrink)

The era of ‘big data’ studies and computational social science has recently given rise to a number of realignments within and beyond the social sciences, where otherwise distinct data formats – digital, numerical, ethnographic, visual, etc. – rub off and emerge from one another in new ways. This article chronicles the collaboration between a team of anthropologists and sociologists, who worked together for one week in an experimental attempt to combine ‘big’ transactional and ‘small’ ethnographic data formats. Our collaboration is (...) part of a larger cross-disciplinary project carried out at the Danish Technical University, where high-resolution transactional data from smartphones allows for recordings of social networks amongst a freshman class. With a parallel deployment of ethnographic fieldwork among the DTU students, this research set-up raises a number of questions concerning how to assemble disparate ‘data-worlds’ and to what epistemological and political effects? To address these questions, a specific social event – a lively student party – was singled out from the broader DTU dataset. Our experimental collaboration used recordings of Bluetooth signals between students’ phones to visualize the ebb and flow of social intensities at the DTU party, juxtaposing these with ethnographic field-notes on shifting party atmospheres. Tracing and reflecting on the process of combining heterogeneous data, the article offers a concrete case of how a ‘stitching together’ of digital and ethnographic data-worlds might take place. (shrink)

What is philosophy of science? Numerous manuals, anthologies or essays provide carefully reconstructed vantage points on the discipline that have been gained through expert and piecemeal historical analyses. In this paper, we address the question from a complementary perspective: we target the content of one major journal of the field—Philosophy of Science—and apply unsupervised text-mining methods to its complete corpus, from its start in 1934 until 2015. By running topic-modeling algorithms over the full-text corpus, we identified 126 key research (...) topics that span across 82 years. We also tracked their evolution and fluctuating significance over time in the journal articles. Our results concur with and document known and lesser-known episodes of the philosophy of science, including the rise and fall of logic and language-related topics, the relative stability of a metaphysical and ontological questioning (space and time, causation, natural kinds, realism), the significance of epistemological issues about the nature of scientific knowledge as well as the rise of a recent philosophy of biology and other trends. These analyses exemplify how computational text-mining methods can be used to provide an empirical large-scale and data-driven perspective on the history of philosophy of science that is complementary to other current historical approaches. (shrink)

The model of DNA-histones has the following elements: The hydrogen bonds between the complementary nucleotide bases function as informational gates. When the electrons π of one nucleotide base are excited, an exchange of protons is produced between the two complementary bases. The result is the displacement of the conjugated double bonds which facilitates the inter-molecular transmission of the electronic wave of excitation by electro-magnetic coupling. Each triplet of nucleotide bases of DNA fixes one definite amino acid . Between (...) the nucleotide bases and the amino acids there are constituted informational gates, which ensure the circulation of the electronic wave of excitation. An input signal molecule arrives at the receiver gene and unleashes the activity of the enzymes which introduce in the DNA-histones system the electronic wave of excitation. The electronic wave of excitation arises as a result of the break of the high-energy bonds of ATP. Then, the electronic excitation is transmitted to the productor gene where it represents the signal for starting the synthesis of the mRNA.Le modèle de système ADN-Histone a les éléments suivants: Les liaisons d'hydrogène entre les bases nucléotidiques complémentaires fonctionnent comme des portes informationnelles. Quand les électrons π d'une base nucléotidique sont excités, il se produit un échange de protons entre les bases complémentaires. Le résultat est un déplacement des doubles liaisons conjugées qui facilite la transmission de l'onde d'excitation électronique par un couplage électromagnétique. Chaque triplet de bases nucléotidiques de l'ADN fixe un certain amino-acide . Entre les bases nucléodiques et les amino-acides se constituent des portes informationnelles qui assurent la circulation de l'onde d'excitation dlectronique. Une molécule signal d'entrée arrive au gène récepteur et déclenche l'activité des enzymes qui introduisent dans le système ADN-histone l'excitation électronique. L'excitation électronique apparait comme résultat de la rupture des liaisons de haute énergie del' ATP. l'Onde d'excitation électronique est transmise au gène producteur, où elle rdprésente le signal pour faire commencer la synthèse de l'ARNm.Das Modell des DNS-Histonen Systems weist folgende Elemente auf: Die Wasserstoffbindungen zwischen den komplementäaren Nukleotidbasen funktionieren wie informationale Pforten. Wenn die π Elektronen einer Nukleotidbase erregt werden, ensteht ein Protonenwechsel zwischen den Komplementären Basen. Das Ergebnis ist eine Verschiebung der konjugierten Doppelbindungen, die die Weiterleitung der elektronischen Erregungswelle durch eine elektromagnetische Kupplung erleichtert. Jedes Nukleotidbasentriplett der DNS fixiert eine bestimmte Aminosäure . Zwischen den Nukelotidbasen und den Aminosäuren entstehen Informationspforten, welche den Umlauf der elektronischen Erregungswelle sichern. Ein Eintrittsignal Moleküul gelangt zur Rezeptorgen und löst die Aktivität von Enzymen aus, welche die elektronische Erregungswelle in das DNS-Histonen System einführen werden. Die elektronische Erregungswelle erscheint als Ergebnis der Spaltung der hochenergetischen Bindungen des ATP-s. Die elektronische Erregungswelle wird alsdann zur Produktorgen weitergeleitet, wo sie das Signal zum Beginn der Synthese der mRNS darstellt. (shrink)

The recent development of the research field of Computing and Philosophy has triggered investigations into the theoretical foundations of computing and information. This thesis consists of two parts which are the result of studies in two areas of Philosophy of Computing and Philosophy of Information regarding the production of meaning and the value system with applications. The first part develops a unified dual-aspect theory of information and computation, in which information is characterized as structure, and computation is (...) the information dynamics. This enables naturalization of epistemology, based on interactive information representation and communication. In the study of systems modeling, meaning, truth and agency are discussed within the framework of the PI/PC unification. The second part of the thesis addresses the necessity of ethical judgment in rational agency illustrated by the problem of information privacy and surveillance in the networked society. The value grounds and socio-technological solutions for securing trustworthiness of computing are analyzed. Privacy issues clearly show the need for computing professionals to contribute to understanding of the technological mechanisms of Information and Communication Technology. The main original contribution of this thesis is the unified dual-aspect theory of computation/information. Semantics of information is seen as a part of the data-information-knowledge structuring, in which complex structures are self-organized by the computational processing of information. Within the unified model, complexity is a result of computational processes on informational structures. The thesis argues for the necessity of computing beyond the Turing-Church limit, motivated by natural computation, and wider by pancomputationalism and paninformationalism, seen as two complementary views of the same physical reality. Moreover, it follows that pancomputationalism does not depend on the assumption that the physical world on some basic level is digital. Contrary to many believes it is entirely compatible with dual quantum-mechanical computing. (shrink)

Natural argument is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary natural arguments in any data. That ability of natural argument is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the observer would obtain (...) quite different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. -/- . (shrink)

Multi-modal integration, which combines multiple neurophysiological signals, is gaining more attention for its potential to supplement single modality’s drawbacks and yield reliable results by extracting complementary features. In particular, integration of electroencephalography and functional near-infrared spectroscopy is cost-effective and portable, and therefore is a fascinating approach to brain-computer interface. However, outcomes from the integration of these two modalities have yielded only modest improvement in BCI performance because of the lack of approaches to integrate the two different features. In addition, (...) mismatch of recording locations may hinder further improvement. In this literature review, we surveyed studies of the integration of EEG/fNIRS in BCI thoroughly and discussed its current limitations. We also suggested future directions for efficient and successful multi-modal integration of EEG/fNIRS in BCI systems. (shrink)

A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section I. (...) Many modifications of Turing machines cum quantum ones are researched in Section II for the Halting problem and completeness, and the model of two independent Turing machines seems to generalize them. Then, that pair can be postulated as the formal definition of reality therefore being complete unlike any of them standalone, remaining incomplete without its complementary counterpart. Representation is formal defined as a one-to-one mapping between the two Turing machines, and the set of all those mappings can be considered as “language” therefore including metaphors as mappings different than representation. Section III investigates that formal relation of “reality”, “representation”, and “language” modeled by (at least two) Turing machines. The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV. Choice and information as the quantity of choices are involved. That approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations. (shrink)

Electroencephalography and functional near-infrared spectroscopy have potentially complementary characteristics that reflect the electrical and hemodynamic characteristics of neural responses, so EEG-fNIRS-based hybrid brain-computer interface is the research hotspots in recent years. However, current studies lack a comprehensive systematic approach to properly fuse EEG and fNIRS data and exploit their complementary potential, which is critical for improving BCI performance. To address this issue, this study proposes a novel multimodal fusion framework based on multi-level progressive learning with multi-domain features. The (...) framework consists of a multi-domain feature extraction process for EEG and fNIRS, a feature selection process based on atomic search optimization, and a multi-domain feature fusion process based on multi-level progressive machine learning. The proposed method was validated on EEG-fNIRS-based motor imagery and mental arithmetic tasks involving 29 subjects, and the experimental results show that multi-domain features provide better classification performance than single-domain features, and multi-modality provides better classification performance than single-modality. Furthermore, the experimental results and comparison with other methods demonstrated the effectiveness and superiority of the proposed method in EEG and fNIRS information fusion, it can achieve an average classification accuracy of 96.74% in the MI task and 98.42% in the MA task. Our proposed method may provide a general framework for future fusion processing of multimodal brain signals based on EEG-fNIRS. (shrink)

Though only established as a discipline since the 1970s, philosophy of biology has already triggered investigations about its own history The Oxford handbook of philosophy of biology, Oxford University Press, New York, pp 11–33, 2008). When it comes to assessing the road since travelled—the research questions that have been pursued—manuals and ontologies also offer specific viewpoints, highlighting dedicated domains of inquiry and select work. In this article, we propose to approach the history of the philosophy of biology with a (...) class='Hi'>complementary data-driven perspective that makes use of statistical algorithms applied to the complete full-text corpus of one major journal of the field—Biology and Philosophy—from its launch in 1986 up until 2017. By running text-mining and topic-modeling algorithms, we identified 67 key research topics that span across these 32 years. We also investigated the evolution of these topics over time and their fluctuating significance in the journal articles. Our results concur with known episodes or traits of the discipline—for instance, the significance of evolution-related topics or the decrease of articles with a marked historical dimension—but also highlight a diversity of topics that is much richer than what is usually acknowledged. (shrink)

Though only established as a discipline since the 1970s, philosophy of biology has already triggered investigations about its own history The Oxford handbook of philosophy of biology, Oxford University Press, New York, pp 11–33, 2008). When it comes to assessing the road since travelled—the research questions that have been pursued—manuals and ontologies also offer specific viewpoints, highlighting dedicated domains of inquiry and select work. In this article, we propose to approach the history of the philosophy of biology with a (...) class='Hi'>complementary data-driven perspective that makes use of statistical algorithms applied to the complete full-text corpus of one major journal of the field—Biology and Philosophy—from its launch in 1986 up until 2017. By running text-mining and topic-modeling algorithms, we identified 67 key research topics that span across these 32 years. We also investigated the evolution of these topics over time and their fluctuating significance in the journal articles. Our results concur with known episodes or traits of the discipline—for instance, the significance of evolution-related topics or the decrease of articles with a marked historical dimension—but also highlight a diversity of topics that is much richer than what is usually acknowledged. (shrink)

To effectively train ethical decision-making of nursing students, a case-based computer program was developed using Flash animation. Seven ethical cases collected from practicing registered nurses’ actual clinical experiences and a six-step Integrated Ethical Decision-Making Model developed by the author were employed in the program. In total, 251 undergraduate students from three nursing schools used the program in their nursing ethics course. The usability of the program and its usefulness in improving 11 abilities needed in ethical decision-making were measured; it scored (...) higher than 4 on a 5-point scale. Of the students, 82% recommended the program as a valuable complementary tool in the teaching of a nursing ethics course. A variety of encouraging and positive experiences were reported by the students. The computer program is likely to be usefully practical in the training of abstract skills to nursing students, though certain challenges remain, such as the precise understanding of cognitive or affective responses to ethical issues. (shrink)

Definitions of syncopation share two characteristics: the presence of a meter or analogous hierarchical rhythmic structure and a displacement or contradiction of that structure. These attributes are translated in terms of a Bayesian theory of syncopation, where the syncopation of a rhythm is inferred based on a hierarchical structure that is, in turn, learned from the ongoing musical stimulus. Several experiments tested its simplest possible implementation, with equally weighted priors associated with different meters and independence of auditory events, which can (...) be decomposed into two terms representing note density and deviation from a metric hierarchy. A computational simulation demonstrated that extant measures of syncopation fall into two distinct factors analogous to the terms in the simple Bayesian model. Next, a series of behavioral experiments found that perceived syncopation is significantly related to both terms, offering support for the general Bayesian construction of syncopation. However, we also found that the prior expectations associated with different metric structures are not equal across meters and that there is an interaction between density and hierarchical deviation, implying that auditory events are not independent from each other. Together, these findings provide evidence that syncopation is a manifestation of a form of temporal expectation that can be directly represented in Bayesian terms and offer a complementary, feature‐driven approach to recent Bayesian models of temporal prediction. (shrink)

This paper concerns automorphisms of the computably enumerable sets. We prove two results relating semilow sets and prompt degrees via automorphisms, one of which is complementary to a recent result of Downey and Harrington. We also show that the property of effective simplicity is not invariant under automorphism, and that in fact every promptly simple set is automorphic to an effectively simple set. A major technique used in these proofs is a modification of the Harrington-Soare version of the method (...) of Harrington-Soare and Cholak for constructing Δ 0 3 automorphisms; this modification takes advantage of a recent result of Soare on the extension of "restricted" automorphisms to full automorphisms. (shrink)

One recursively enumerable real α dominates another one β if there are nondecreasing recursive sequences of rational numbers (a[n] : n ∈ ω) approximating α and (b[n] : n ∈ ω) approximating β and a positive constant C such that for all n, C(α − a[n]) ≥ (β − b[n]). See [R. M. Solovay, Draft of a Paper (or Series of Papers) on Chaitin’s Work, manuscript, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 1974, p. 215] and [G. J. (...) Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. We show that every recursively enumerable random real dominates all other recursively enumerable reals. We conclude that the recursively enumerable random reals are exactly the Ω-numbers [G. J. Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. Second, we show that the sets in a universal Martin-Lof test for randomness have random measure, and every recursively enumerable random number is the sum of the measures represented in a universal Martin-Lof test. (shrink)

The human urge to represent the three-dimensional world using two-dimensional pictorial representations dates back at least to Paleolithic times. Artists from ancient to modern times have struggled to understand how a few contours or color patches on a flat surface can induce mental representations of a three-dimensional scene. This article summarizes some of the recent breakthroughs in scientifically understanding how the brain sees that shed light on these struggles. These breakthroughs illustrate how various artists have intuitively understand paradoxical properties about (...) how the brain sees, and have used that understanding to create great art. These paradoxical properties arise from how the brain forms the units of conscious visual perception; namely, representations of threedimensional boundaries and surfaces. Boundaries and surfaces are computed in parallel cortical processing streams that obey computationally complementary properties. These streams interact at multiple levels to overcome their complementary weaknesses and to transform their complementary properties into consistent percepts. The article describes how properties of complementary consistency have guided the creation of many great works of art. (shrink)

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues (...) of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management. (shrink)

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state (...) of the art in the area. (shrink)

Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other approach has a (...) more proof-theoretical flavor, extending Gentzen-style sequent calculi. The outcome of this work is a new perspective on reasoning with MCS, which shows a strong link between the latter and argumentation systems, and which can be generalized to some related formalisms. As a by-product of this we obtain soundness and completeness results for the dynamic proof systems with respect to several of Dung’s semantics. In a broader context, we believe that this work helps to better understand and evaluate the role of logic-based instantiations of argumentation frameworks. (shrink)

This article explores the complementary strengths and weaknesses of grounded and abstract representations in the domain of early algebra. Abstract representations, such as algebraic symbols, are concise and easy to manipulate but are distanced from any physical referents. Grounded representations, such as verbal descriptions of situations, are more concrete and familiar, and they are more similar to physical objects and everyday experience. The complementary computational characteristics of grounded and abstract representations lead to trade‐offs in problem‐solving performance. In prior (...) research with high school students solving relatively simple problems, Koedinger and Nathan (2004) demonstrated performance benefits of grounded representations over abstract representations—students were better at solving simple story problems than the analogous equations. This article extends this prior work to examine both simple and more complex problems in two samples of college students. On complex problems with two references to the unknown, a “symbolic advantage” emerged, such that students were better at solving equations than analogous story problems. Furthermore, the previously observed “verbal advantage” on simple problems was replicated. We thus provide empirical support for a trade‐off between grounded, verbal representations, which show advantages on simpler problems, and abstract, symbolic representations, which show advantages on more complex problems. (shrink)

Discussions of extended cognition have increasingly engaged with the empirical and methodological practices of cognitive science and psychology. One topic that has received increased attention from those interested in the extended mind is music cognition. A number of authors have argued that music not only shapes emotional and cognitive processes, but also that it extends those processes beyond the bodily envelope. The aim of this paper is to evaluate the case for extended music cognition. Two accounts are examined in detail: (...) Joel Krueger’s “musically extended emotional mind” and Tom Cochrane’s “expression and extended cognition.” Each account is evaluated using three “anti-extension” arguments. I argue that Krueger and Cochrane’s accounts offer important steps toward extended music cognition, but that each account remains underdeveloped in various ways. To supplement existing approaches, I propose a complementary extended computational approach to music cognition. The claim is that music cognition forms part of an extended system in virtue of involving computational processes that range across environmental and in-the-head elements. The paper concludes by showing how the ECMC deals with each of the three anti-extension challenges and responds to objections. (shrink)

An underlying assumption in computational approaches in cognitive and brain sciences is that the nervous system is an input–output model of the world: Its input–output functions mirror certain relations in the target domains. I argue that the input–output modelling assumption plays distinct methodological and explanatory roles. Methodologically, input–output modelling serves to discover the computed function from environmental cues. Explanatorily, input–output modelling serves to account for the appropriateness of the computed function to the explanandum information-processing task. I compare very briefly the (...) modelling explanation to mechanistic and optimality explanations, noting that in both cases the explanations can be seen as complementary rather than contrastive or competing. (shrink)

To study Earth’s climate, scientists now use a variety of computer simulation models. These models disagree in some of their assumptions about the climate system, yet they are used together as complementary resources for investigating future climatic change. This paper examines and defends this use of incompatible models. I argue that climate model pluralism results both from uncertainty concerning how to best represent the climate system and from difficulties faced in evaluating the relative merits of complex models. I describe (...) how incompatible climate models are used together in ‘multi-model ensembles’ and explain why this practice is reasonable, given scientists’ inability to identify a ‘best’ model for predicting future climate. Finally, I characterize climate model pluralism as involving both an ontic competitive pluralism and a pragmatic integrative pluralism. (shrink)

Two complementary debates of the turn of the nineteenth and twentieth century are examined here: the debate on the legitimacy of hypotheses in the natural sciences and the debate on intentionality and ‘representations without object’ in philosophy. Both are shown to rest on two core issues: the attitude of the subject and the mode of presentation chosen to display a domain of phenomena. An orientation other than the one which contributed to shape twentieth-century philosophy of science is explored through (...) the analysis of the role given to assumptions in Boltzmann’s research strategy, where assumptions are contrasted to hypotheses, axioms, and principles, and in Meinong’s criticism of the privileged status attributed to representations in mental activities. Boltzmann’s computational style in mathematics and Meinong’s criticism of the confusion between representation and judgment give prominence to an indirect mode of presentation, adopted in a state of suspended belief which is characteristic of assumptions and which enables one to grasp objects that cannot be reached through direct representation or even analogies. The discussion shows how assumptions and the movement to fiction can be essential steps in the quest for objectivity. The conclusion restates the issues of the two debates in a contemporary perspective and shows how recent developments in philosophy of science and philosophy of language and mind can be brought together by arguing for a twofold conception of reference.Keywords: Assumption; Hypothesis; Description; Mode of presentation; Ludwig Boltzmann; Alexius Meinong. (shrink)

We provide two programmatic frameworks for integrating philosophical research on understanding with complementary work in computer science, psychology, and neuroscience. First, philosophical theories of understanding have consequences about how agents should reason if they are to understand that can then be evaluated empirically by their concordance with findings in scientific studies of reasoning. Second, these studies use a multitude of explanations, and a philosophical theory of understanding is well suited to integrating these explanations in illuminating ways.

The current assumptions of knowledge acquisition brought about the crisis in the reproducibility of experiments. A complementary perspective should account for the specific causality characteristic of life by integrating past, present, and future. A “second Cartesian revolution,” informed by and in awareness of anticipatory processes, should result in scientific methods that transcend the theology of determinism and reductionism. In our days, science, itself an expression of anticipatory activity, makes possible alternative understandings of reality and its dynamics. For this purpose, (...) the study advances G-complexity for defining and comparing decidable and undecidable knowledge. AI and related computational expressions of knowledge could benefit from the awareness of what distinguishes the dynamics of life from any other expressions of change. (shrink)

We explore the interaction between oculomotor control and language comprehension on the sentence level using two well-tested computational accounts of parsing difficulty. Previous work (Boston, Hale, Vasishth, & Kliegl, 2011) has shown that surprisal (Hale, 2001; Levy, 2008) and cue-based memory retrieval (Lewis & Vasishth, 2005) are significant and complementary predictors of reading time in an eyetracking corpus. It remains an open question how the sentence processor interacts with oculomotor control. Using a simple linking hypothesis proposed in Reichle, Warren, (...) and McConnell (2009), we integrated both measures with the eye movement model EMMA (Salvucci, 2001) inside the cognitive architecture ACT-R (Anderson et al., 2004). We built a reading model that could initiate short “Time Out regressions” (Mitchell, Shen, Green, & Hodgson, 2008) that compensate for slow postlexical processing. This simple interaction enabled the model to predict the re-reading of words based on parsing difficulty. The model was evaluated in different configurations on the prediction of frequency effects on the Potsdam Sentence Corpus. The extension of EMMA with postlexical processing improved its predictions and reproduced re-reading rates and durations with a reasonable fit to the data. This demonstration, based on simple and independently motivated assumptions, serves as a foundational step toward a precise investigation of the interaction between high-level language processing and eye movement control. (shrink)

A complementary `monetary' system is proposed: a computer-based system that allows us to assess the relative pro-community altruism of individuals. Such an arrangement could provide us with an alternate means of seeking social recognition than that offered by capitalism; specifically it offers the possibility of recognition based on altruistic contributions to society. This proposal promises several ethical advantages to our present social arrangements.

Background:Stress can frequently occur in the driving context. Its cognitive effects can be deleterious and lead to uncomfortable or risky situations. While stress detection in this context is well developed, regulation using dedicated advanced driver-assistance systems (ADAS) is still emergent.Objectives:This systematic review focuses on stress regulation strategies that can be qualified as “subtle” or “mindless”: the technology employed to perform regulation does not interfere with an ongoing task. The review goal is 2-fold: establishing the state of the art on such (...) technological implementation in the driving context and identifying complementary technologies relying on subtle regulation that could be applied in driving.Methods:A systematic review was conducted using search operators previously identified through a concept analysis. The patents and scientific studies selected provide an overview of actual and potential mindless technology implementations. These are then analyzed from a scientific perspective. A classification of results was performed according to the different stages of emotion regulation proposed by the Gross model.Results:A total of 47 publications were retrieved, including 21 patents and 26 studies. Six of the studies investigated mindless stress regulation in the driving context. Patents implemented strategies mostly linked to attentional deployment, while studies tended to investigate response modulation strategies.Conclusions:This review allowed us to identify several ADAS relying on mindless computing technologies to reduce stress and better understand the underlying mechanisms allowing stress reduction. Further studies are necessary to better grasp the effect of mindless technologies on driving safety. However, we have established the feasibility of their implementation as ADAS and proposed directions for future research in this field. (shrink)

If we consider human thought as the, so far, ultimate, if not supreme, stage in the evolution of life on Earth, we must also try to understand the evolutionary conditions that allowed it to emerge, and that leads us to look again at living organization.Whatever the origins of life (cf. the text of Jacques Reisse, p. 53), it is clear that the oldest living organization, that of a protobacteria, is extremely complex in its functional and complementary association of extremely (...) diverse macro-molecules, and that this complexity includes in particular: a) the organization of exchanges with an environment from which it draws both matter-energy and organization ; b) a permanent process of self-reorganization through the replacing of molecules that have deteriorated and through the production of new ones; c) the organization of the self-reproduction of the creature through division. An organization of this kind includes a quasi-informational dimension (the hereditary message inscribed in the genes and the capacity to extract information from the environment), a quasi-computational dimension (the processing of data, via indices or quasi-signs from the interior and exterior), and a communicational dimension (internal RNA-protein communication and external communication with its congeners). In short, from the beginning, a living being is the product/producer of a self-eco-organization the nature of which is at the same time computational, informational, and communicational. In other words, within every living organization, there is a cognitive dimension, but this cognitive dimension is undifferentiated within it. (shrink)