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)

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)

To investigate whether people with social anxiety have less actual and “anticipatory” anxiety when interacting with a robot compared to interacting with a person, we conducted a 2 × 2 psychological experiment with two factors: social anxiety and interaction partner. The experiment was conducted in a counseling setting where a participant played the role of a client and the robot or the confederate played the role of a counselor. First, we measured the participants’ social anxiety using the Social Avoidance and (...) Distress Scale, after which, we measured their anxiety at two specific moments: “anticipatory anxiety” was measured after they knew that they would be interacting with a robot or a human confederate, and actual anxiety was measured after they actually interacted with the robot or confederate. Measurements were performed using the Profile of Mood States and the State–Trait Anxiety Inventory. The results indicated that participants with higher social anxiety tended to feel less “anticipatory anxiety” and tension when they knew that they would be interacting with robots compared with humans. Moreover, we found that interaction with a robot elicited less tension compared with interaction with a person regardless of the level of social anxiety. (shrink)

A great deal of research has been performed recently on robots that feature functions for communicating with humans in daily life, i.e., communication robots. We consider it important to develop methods to measure humans’ attitudes and emotions that may prevent them from interaction with communication robots, as indices to study short-term and long-term interaction between humans and communication robots. This study is aimed at exploring the influence of negative attitudes toward robots, focusing on applications of communication robots to daily-life services. (...) First, a scale of negative attitudes toward robots consisting of three subordinate scales, “negative attitudes toward situations of interaction with robots,” “negative attitudes toward the social influence of robots,” and “negative attitudes toward emotions in interaction with robots,” was developed based on a data sample comprising of 263 Japanese university students. This scale was administered to 240 Japanese university students to confirm its validity and reliability. In this paper, we report on the results of analyses of these data samples. Moreover, we discuss some future problems including a comparison of attitudes toward robots between nations. (shrink)

In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.

In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...) Dunn et al. (2005) and Gehrke et al. (2005). (shrink)

This paper studies a sender-receiver game in which both players want the receiver to choose the state-optimal action. Before observing the state, the sender observes a “contextual signal,” a payoff-irrelevant signal that correlates with states and is imperfectly shared with the receiver. Once the sender observes the state, the sender sends a message to the receiver, incurring a small messaging cost. It is shown that there is no miscommunication in any efficient equilibrium if the messaging cost is uniform or contextual (...) information is poorly shared between players. However, if the messaging costs are different between some messages, and contextual information can affect the probability ranking of states and is shared reasonably well, any efficient equilibrium that favors the sender exhibits miscommunication. Furthermore, the messages that cause miscommunication can be coarse or ambiguous, depending on how well players share contextual information. (shrink)

When an agent’s motivation is sensitive to how his supervisor thinks about the agent’s competence, the supervisor has to take into account both informational and expressive contents of her message to the agent. This paper shows that the supervisor can credibly express her trust in the agent’s ability only by being un- clear about what to do. Suggesting what to do, i.e., “directives,” could reveal the supervisor’s “distrust” and reduce the agent’s equilibrium effort level even though it provides useful information (...) about the decision environment. There is also an equilibrium in which directives are neutral in expressive content. However, it is shown that neologism proofness favors equilibria in which directives are double- edged swords. (shrink)

A decision maker (DM) selects a project from a set of alternatives with uncertain productivity. After the choice, she observes a signal about productivity and decides how much effort to put in. This paper analyzes the optimal decision problem of the DM who rationally filters information to deal with her post-decision cognitive dissonance. It is shown that the optimal effort level for a project can be affected by unchosen projects in her choice set, and the nature of the choice set-dependence (...) is determined by the signal structure. Some comparative statics of choice set-dependence is also provided. Finally, based on the results, the optimal choice set design is also explored. This paper offers a simple framework to explain the experimental finding in psychology that people’s effort level for a project can be enhanced when the project is chosen by themselves rather than by others. (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)

Since sending explicit messages can be costly, people often utilize “what is not said,” i.e., informative silence, to economize communication. This paper studies the efficient communication rule, which is fully informative while minimizing the use of explicit messages, in cooperative environments. It is shown that when the notion of context is defined as the finest mutually self-evident event that contains the current state, the efficient use of informative silence exhibits the defining property of indexicals in natural languages. While the efficient (...) use of silence could be complex, it is also found that the efficient use of silence can be as “simple” as the use of indexicals in natural languages if and only if the information structure satisfies some centrality and dominance properties. (shrink)

In the present study, qualitative and quantitative studies were conducted to explore differences between stakeholders in expectations of gendered robots, with a focus on their specific application in the field of psychotherapy. In Study I, semi-structured interviews were conducted with 18 experts in psychotherapy to extract categories of opinions regarding the use of humanoid robots in the field. Based on these extracted categories, in Study II, an online questionnaire survey was conducted to compare concrete expectations of the use of humanoid (...) robots in psychotherapy between 50 experts and 100 nonexperts in psychotherapy. The results revealed that compared with the female participants, the male participants tended to prefer robots with a female appearance. In addition, compared with the experts, the nonexperts tended not to relate the performance of robots with their gender appearance, and compared with the other participant groups, the female expert participants had lower expectations of the use of robots in the field. These findings suggest that differences between stakeholders regarding the expectations of gendered robots should be resolved to encourage their acceptance in a specific field. (shrink)

In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity—by the splitters and by the adjointness—can be explicated with the help of the axiom (...) of choice as well. (shrink)

We consider minimal ranks of extenders associated with Shelah cardinals by introducing witnessing numbers. Using these numbers we shall investigate effects of Shelah cardinals above themselves. MSC: 03E55.

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.

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)

SummaryVisual acuity was tested and the anterior portion of the eye inspected among the Gidra in Lowland Papua New Guinea, who depend on hunting for their animal food. The visual acuity of the youths and adults was as high as that of hunters and gatherers; 88% of the males and 81% of the females had an acuity of 1·2 or better. The elders had far lower acuity, correlated with the advance of cataract. The senescent visual acuity is discussed in relation (...) to little practice and low productivity of the elders' hunting, and to the Gidra traditional age-grade system. (shrink)

In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A, with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A.” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998; in Inf. Comput. 176, 66–87, 2002; in Arch. Math. Logic 44, 751–762), the following three results are shown: The hypothesis for p-T (polynomial-time Turing) reduction is equivalent to (...) the assertion that the probabilistic complexity class R is not equal to NP; The hypothesis for p-tt (polynomial-time truth-table) reduction implies that P is not NP; The hypothesis holds for each of the following: disjunctive reduction, conjunctive reduction, and p-btt (polynomial-time bounded-truth-table) reduction. In this paper, we show the following three results: (1) Let c be a positive real number. We consider a concept of truth-table reduction whose norm is at most c times size of input, where for a relativized propositional formula F, the size of F denotes the total number of occurrences of propositional variables, constants and propositional connectives. Then, our main result is that the hypothesis holds for such tt-reduction, provided that c is small enough. How small c can we take so that the above holds? It depends on our syntactic convention on one-query tautologies. In our setting, the statement holds for all c < 1. (2) The hypothesis holds for monotone truth-table reduction (also called positive reduction). (3) Dowd (in Inf. Comput. 96, 65–76, 1992) shows a polynomial upper bound for the minimum sizes of forcing conditions associated with a random oracle. We apply the above result (1), and get a linear lower bound for the sizes. (shrink)

This study aimed to investigate whether the effect of mental practice can be enhanced by providing neurofeedback based on transcranial magnetic stimulation -induced motor evoked potentials. Twenty-four healthy, right-handed subjects were enrolled in this study. The subjects were randomly allocated into two groups: a group that was given correct TMS feedback and a group that was given randomized false TMS feedback. The subjects imagined pushing the switch with just timing, when the target circle overlapped a cross at the center of (...) the computer monitor. In the Real-FB group, feedback was provided to the subjects based on the MEP amplitude measured in the trial immediately preceding motor imagery. In contrast, the subjects of the Sham-FB group were provided with a feedback value that was independent of the MEP amplitude. TMS was applied when the target, moving from right to left, overlapped the cross at the center of the screen, and the MEP amplitude was measured. The MEP was recorded in the right first dorsal interosseous muscle. We evaluated the pre-mental practice and post-mental practice motor performance in both groups. As a result, a significant difference was observed in the percentage change of error values between the Real-FB group and the Sham-FB group. Furthermore, the MEP was significantly different between the groups in the 4th and 5th sets. Therefore, it was suggested that TMS-induced MEP-based neurofeedback might enhance the effect of mental practice. (shrink)

In order to investigate the influence of participants’ age on their image of robots in Japan, a pilot research was completed by 371 visitors at a robot exhibition held at a commercial facility in Japan, based on the questionnaire consisting of four open-ended questions. The comparison of younger, adult, and elderly groups, found that: in the younger age group, images of robots are ambiguous about near future assumptions, preferences, and antipathy, the adult group assumes that communication robots will appear in (...) the near future, but actually expects robots to function in non-communication tasks such as household duties and dangerous tasks, and experiences great anxiety and fear about social relationships between robots and humans, the elderly group assumes that both communication and non-communication robots will appear in the near future, but actually expects robots to function in communication tasks such as service in public settings and providing care at home or in welfare facilities, and is very concerned about the physical and ecological damage that robots may cause. Although the pilot study had a problem of sample bias on participant selection and distributions of gender and age, it can lead to some predictions on social acceptance of robots in Japan. Keywords: Robots, images, age differences, social research. (shrink)

The relativized propositional calculus is a system of Boolean formulas with query symbols. A formula in this system is called a one-query formula if the number of occurrences of query symbols is just one. If a one-query formula is a tautology with respect to a given oracle A then it is called a one-query tautology with respect to A. By extending works of Ambos-Spies (1986) and us (2002), we investigate the measure of the class of all oracles A such that (...) the set of all one-query tautologies with respect to A does not p-btt-reduce to A, where p-btt denotes polynomial-time bounded-truth-table. We show that certain Dowd-type generic oracles all belong to the class, and hence measure of the class is one. (shrink)

I investigate the complementarity of behavioral biases in a simple investment problem. The agent has incomplete knowledge about the correlation between fitness and the decision environment. Nature endows the agent with a decision procedure so that the induced action can reflect this correlation. I show that the agent with this decision procedure always exhibits (i) present biased time preference, (ii) distorted beliefs, and (iii) cognitive dissonance. The three biases are complements and the absence of one of them destroys the value (...) of the other two. The decision procedure also provides insights into the non-fungibility of savings. (shrink)

The individual physical appearances of robots are considered significant, similar to the way that those of humans are. We investigated whether users prefer robots with male or female physical appearances for use in daily communication situations and whether egalitarian gender role attitudes are related to this preference. One thousand adult men and women aged 20–60 participated in the questionnaire survey. The results of our study showed that in most situations and for most subjects, “males” was not selected and “females” or (...) “neither” was selected. Moreover, the number of respondents who chose “either” was higher than that who chose “female.” Furthermore, we examined the relationship between gender and gender preference and confirmed that the effect of gender on the gender preference for a robot weakened when the human factor was eliminated. In addition, in some situations for android-type robots and in all situations for machine-type robots, equality orientation in gender role attitudes was shown to be higher for people who were not specific about their gender preferences. It is concluded that there is no need to introduce a robot that specifies its gender. Robots with a gender-neutral appearance might be more appropriate for applications requiring complex human–robot interaction and help avoid reproducing a gender bias. (shrink)