Involuntary eye movement during gaze fixation, referred to as fixational eye movement, consists of two types of components: a Brownian motion like component called drifts-tremor and a ballistic component called microsaccade with a mean saccadic amplitude of about 0.3° and a mean inter-MS interval of about 0.5 s. During GZ fixation in healthy people in an eccentric position, typically with an eccentricity more than 30°, eyes exhibit oscillatory movements alternating between centripetal drift and centrifugal saccade with a mean saccadic amplitude (...) of about 1° and a period in the range of 0.5–1.0 s, which has been known as the physiological gaze-evoked nystagmus. Here, we designed a simple experimental paradigm of GZ fixation on a target shifted horizontally from the front-facing position with fewer eccentricities. We found a clear tendency of centripetal DRT and centrifugal MS as in GEN, but with more stochasticity and with slower drift velocity compared to GEN, even during FEM at GZ positions with small eccentricities. Our results showed that the target shift-dependent balance between DRT and MS achieves the GZ bounded around each of the given targets. In other words, GZ relaxes slowly with the centripetal DRT toward the front-facing position during inter-MS intervals, as if there always exists a quasi-stable equilibrium posture in the front-facing position, and MS actions pull GZ intermittently back to the target position in the opposite direction to DRT. (shrink)

From the time of its birth, Popper 's theory of falsifiability has been fiercely criticized from various viewpoints. In the author's view, however, those various criticisms all have the same root in their assumption that a falsification must be certain and conclusive. As the theory of falsifiability has never had such an assumption, it is the source of misunderstanding. By discarding it, we can reply to every criticism and thereby clarify the role of falsifiability in our search for better knowledge; (...) that is, it makes our attitude open to a yet unknown world. (shrink)

From the time of its birth, Popper’s theory of falsifiability has been fiercely criticized from various viewpoints. In the author’s view, however, those various criticisms all have the same root in their assumption that a falsification must be certain and conclusive. As the theory of falsifiability has never had such an assumption, it is the source of misunderstanding. By discarding it, we can reply to every criticism and thereby clarify the role of falsifiability in our search for better knowledge; that (...) is, it makes our attitude open to a yet unknown world. Key Words: Popper • falsifiability • openness • inconclusive falsification • second Popper legend. (shrink)

Extending techniques of Dowd and those of Poizat, we study computational complexity of in the case when is a generic oracle, where is a positive integer, and denotes the collection of all -query tautologies with respect to an oracle . We introduce the notion of ceiling-generic oracles, as a generalization of Dowd's notion of -generic oracles to arbitrary finitely testable arithmetical predicates. We study how existence of ceiling-generic oracles affects behavior of a generic oracle, by which we show that is (...) not a subset of is comeager in the Cantor space. Moreover, using ceiling-generic oracles, we present an alternative proof of the fact (Dowd) that the class of all -generic oracles has Lebesgue measure zero. (shrink)

This note is a continuation of our former paper ''Complexity of the r-query tautologies in the presence of a generic oracle.'' We give a very short direct proof of the nonexistence of t-generic oracles, a result obtained first by Dowd. We also reconstitute a proof of Dowd's result that the class of all r-generic oracles in his sense has Lebesgue measure one.

To become more broadly applicable, positions on AI ethics require perspectives from non-Western regions and cultures such as China and Japan. In this paper, we propose that the addition of the concept of harmony to the discussion on ethical AI would be highly beneficial due to its centrality in East Asian cultures and its applicability to the challenge of designing AI for social good. We first present a synopsis of different definitions of harmony in multiple contexts, such as music and (...) society, which reveals that the concept is, at its core, about well-balanced relationships and appropriate actions which give rise to order, balance, and aesthetically pleasing phenomena. The mediator for these well-balanced relationships isTaktwhich is an ability to act thoughtfully and sensibly according to the specific situation and to put things into proportion and order. We propose that the central challenge of building harmonizing AI is to make intelligent systems tactful and also to design and use them tactfully. For an AI system to become tactful, it needs to be able to have an advanced sensitivity to the specific contexts which it is in and their social and ethical implications and have the capability of approximately inferring the emotional and cognitive states of people with whom it is interacting. (shrink)

Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate lógics and Kripke-type frames for intuitionistic modal propositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given.

Japan has often been regarded as an ethnically homogeneous society whose restrictive immigration policies reflect the deep-seated cultural peculiarities of this ‘island nation’. By contrast, I shall argue that Japan’s post- 1945 cultural separation from the other countries of East Asia, and its strict border controls, were to a large extent products of Cold War politics. The postwar democratization of Japan went hand in hand with the introduction of tight restrictions on cross-border mobility: restrictions which had profound consequences for the (...) rights of ethnic minorities in Japan (particularly Koreans and Taiwanese). An exploration of the emergence and impact of this border control regime casts new light, not just on Japan’s role in the Northeast Asian region, but also on key limitations of nation-state centred notions of liberal democracy. (shrink)

This paper presents a cross-cultural study on peoples’ negative attitude toward robots. 467 participants from seven different countries filled in the negative attitude towards robots scale survey which consists of 14 questions in three clusters: attitude towards the interaction with robots, attitude towards social influence of robots and attitude towards emotions in interaction with robots. Around one half of them were recruited at local universities and the other half was approached through Aibo online communities. The participants’ cultural background had a (...) significant influence on their attitude and the Japanese were not as positive as stereotypically assumed. The US participants had the most positive attitude, while participants from Mexico had the most negative attitude. The participants from the online community were more positive towards robots than those not involved. Previous experience in interacting with Aibo also had a positive effect, but owning an Aibo did not improve their attitude. (shrink)

The idea that the thalamo-cortical system is the crucial constituent of the neurobiological mechanisms of consciousness has a long history. For the last few decades, however, consciousness research has to a large extent overlooked the interplay between the cortex and thalamus. Here we revive an integrated view of the neurobiology of consciousness by presenting and discussing several recent major findings about the role of the thalamocortical interactions in consciousness. Based on these findings we propose a specific cellular mechanism how thalamic (...) nuclei modulate the integration of different processing streams within single cortical pyramidal neurons. This theory is inspired by recent work done in rodents, but it integrates decades of work conducted on various species. We illustrate how this new view readily explains various properties and experimental phenomena associated with conscious experience. We discuss the implications of this idea and some of the experiments that need to be done in order to test it. Our view bridges two long-standing perspectives on the neural mechanisms of consciousness and proposes that cortical and thalamo-cortical processing interact at the level of single pyramidal cells. (shrink)

The Bird Song Diamond project is a series of multifaceted and multidisciplinary installations with the aim of bringing contemporary research on bird communication to a large public audience. Using art and technology to create immersive experiences, BSD allows large audiences to embody bird communication rather than passively observe. In particular, BSD Mimic, a system for mimicking bird song, asks participants to grapple with both audition and vocalization of birdsong. The use of interactive installations for public outreach provides unique experiences to (...) a diverse audience, while providing direct feedback for artists and researchers interested in the success of such outreach. By following an iterative design process, both artists and researchers have been able to evaluate the effectiveness of each installation for promoting audience engagement with the subject matter. The execution and evaluation of each iteration of BSD is described throughout the paper. In addition, the process of interdisciplinary collaboration in our project has led to a more defined role of the artist as a facilitator of specialists. BSD Mimic has also led to further questions about the nature of audience collaboration for an engaged experience. (shrink)

Feinberg and Mallatt, in their presentation of neurobiological naturalism, have suggested that visual consciousness was acquired by early vertebrates and inherited by a wide range of descendants, and that its neural basis has shifted to nonhomologous nervous structures during evolution. However, their evolutionary scenario of visual consciousness relies on the assumption that visual consciousness is closely linked with survival, which is not commonly accepted in current consciousness research. We suggest an alternative idea that visual consciousness is linked to a specific (...) class of agency, consequently justifying their phylogenetic claim. We also examine the implication of their phylogenetic claim: visual consciousness is homologous across vertebrates, but its neural basis is not. This apparent incongruence illustrates a general phenomenon of homology, and that the resulting hierarchical view of visual consciousness and its neural basis can be straightforwardly accommodated by neurobiological naturalism. Throughout these discussions, we aim to address the potential theoretical issues in neurobiological naturalism and refine the picture illustrated by Feinberg and Mallatt regarding phylogenetic distribution and trajectories of visual consciousness. (shrink)

In this paper, we model a relational notion of subjectivity by means of two experiments in subjective computing. The goal is to determine to what extent a cognitive and social robot can be regarded to act subjectively. The system was implemented as a reinforcement learning agent with a coaching function. To analyze the robotic agent we used the method of levels of abstraction in order to analyze the agent at four levels of abstraction. At one level the agent is described (...) in mentalistic or subjective language respectively. By mapping this mentalistic to an algorithmic, functional, and relational level, we can show to what extent the agent behaves subjectively as we make use of a relational concept of subjectivity that draws upon the relations that hold between the agent and its environment. According to a relational notion of subjectivity, an agent is supposed to be subjective if it exhibits autonomous relations to itself and others, i.e. the agent is not fully determined by a given input but is able to operate on its input and decide what to do with it. This theoretical notion is confirmed by the technical implementation of self-referentiality and social interaction in that the agent shows improved behavior compared to agents without the ability of subjective computing. On the one hand, a relational concept of subjectivity is confirmed, whereas on the other hand, the technical framework of subjective computing is being theoretically founded. (shrink)

We present an approach to subjective computing for the design of future robots that exhibit more adaptive and flexible behavior in terms of subjective intelligence. Instead of encapsulating subjectivity into higher order states, we show by means of a relational approach how subjective intelligence can be implemented in terms of the reciprocity of autonomous self-referentiality and direct world-coupling. Subjectivity concerns the relational arrangement of an agent’s cognitive space. This theoretical concept is narrowed down to the problem of coaching a reinforcement (...) learning agent by means of binary feedback. Algorithms are presented that implement subjective computing. The relational characteristic of subjectivity is further confirmed by a questionnaire on human perception of robot’s behavior. The results imply that subjective intelligence cannot be externally observed. In sum, we conclude that subjective intelligence in relational terms is fully tractable and therefore implementable in artificial agents. (shrink)

Targeted gene alteration (TGA) is a strategy for correcting single base mutations in the DNA of human cells that cause inherited disorders. TGA aims to reverse a phenotype by repairing the mutant base within the chromosome itself, avoiding the introduction of exogenous genes. The process of how to accurately repair a genetic mutation is elucidated through the use of single‐stranded DNA oligonucleotides (ODNs) that can enter the cell and migrate to the nucleus. These specifically designed ODNs hybridize to the target (...) sequence and act as a beacon for nucleotide exchange. The key to this reaction is the frequency with which the base is corrected; this will determine whether the approach becomes clinically relevant or not. Over the course of the last five years, workers have been uncovering the role played by the cells in regulating the gene repair process. In this essay, we discuss how the impact of the cell on TGA has evolved through the years and illustrate ways that inherent cellular pathways could be used to enhance TGA activity. We also describe the cost to cell metabolism and survival when certain processes are altered to achieve a higher frequency of repair. (shrink)

In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...) their decidability. (shrink)

A theory of the evolution of mind cannot be complete without an explanation of how cognition became representational. Artificial approximations of cognitive evolution do not, in general, produce representational cognition. We take this as an indication that there is a gap in our understanding of what drives evolution towards representational solutions, and propose a theory to fill this gap. We suggest selection for learning and selection for second order learning as the causal factors driving the emergence of innate and acquired (...) forms of representation, respectively. Cognition is commonly viewed as a “black box”—selection works on externally visible behaviour alone, with little regard for implementation structure. Yet even if implementation structure is not constrained by selection on behaviour, implementation structure does affect how easy or difficult it is to make specific modifications to the behaviour. Hence selection for learning can affect the implementation structure of behaviour. Similarly, the implementation structure of learning ability itself is not under direct selection, but selection for second order learning can affect the implementation structure of first order learning. We argue that these indirect selection effects guide evolution towards representational implementations, as structural alignment between implementation structure and environment structure guarantees that simple changes in the environment can be met with simple changes in implementation. We illustrate the theory with examples of computational investigations, and discuss how the theory may help put representational cognition within reach of purely connectionist AI. (shrink)

Negative attitudes toward robots are considered as one of the psychological factors preventing humans from interacting with robots in the daily life. To verify their influence on humans‘ behaviors toward robots, we designed and executed experiments where subjects interacted with Robovie, which is being developed as a platform for research on the possibility of communication robots. This paper reports and discusses the results of these experiments on correlation between subjects’ negative attitudes and their behaviors toward robots. Moreover, it discusses influences (...) of gender and experience of real robots on their negative attitudes and behaviors toward robots. (shrink)