Emotional processing without conscious awareness plays an important role in human social interaction. Several behavioral studies reported that subliminal presentation of photographs of emotional facial expressions induces unconscious emotional processing. However, it was difficult to elicit strong and robust effects using this method. We hypothesized that dynamic presentations of facial expressions would enhance subliminal emotional effects and tested this hypothesis with two experiments. Fearful or happy facial expressions were presented dynamically or statically in either the left or the right visual (...) field for 20 (Experiment 1) and 30 (Experiment 2) ms. Nonsense target ideographs were then presented, and participants reported their preference for them. The results consistently showed that dynamic presentations of emotional facial expressions induced more evident emotional biases toward subsequent targets than did static ones. These results indicate that dynamic presentations of emotional facial expressions induce more evident unconscious emotional processing. (shrink)

Although results of many psychology studies have shown that sharing emotion achieves dyadic interaction, no report has explained a study of the transmission of authentic information from emotional expressions that can strengthen perceivers. For this study, we used computational modeling, which is a multinomial processing tree, for formal quantification of the process of sharing emotion that emphasizes the perception of authentic information for expressers’ feeling states from facial expressions. Results indicated that the ability to perceive authentic information of feeling states (...) from a happy expression has a higher probability than the probability of judging authentic information from anger expressions. Next, happy facial expressions can activate both emotional elicitation and sharing emotion in perceivers, where emotional elicitation alone is working rather than sharing emotion for angry facial expressions. Third, parameters to detect anger experiences were found to be correlated positively with those of happiness. No robust correlation was found between the parameters extracted from this experiment task and questionnaire-measured emotional contagion, empathy, and social anxiety. Results of this study revealed the possibility that a new computational approach contributes to description of emotion sharing processes. (shrink)

Android robots capable of emotional interactions with humans have considerable potential for application to research. While several studies developed androids that can exhibit human-like emotional facial expressions, few have empirically validated androids’ facial expressions. To investigate this issue, we developed an android head called Nikola based on human psychology and conducted three studies to test the validity of its facial expressions. In Study 1, Nikola produced single facial actions, which were evaluated in accordance with the Facial Action Coding System. The (...) results showed that 17 action units were appropriately produced. In Study 2, Nikola produced the prototypical facial expressions for six basic emotions, and naïve participants labeled photographs of the expressions. The recognition accuracy of all emotions was higher than chance level. In Study 3, Nikola produced dynamic facial expressions for six basic emotions at four different speeds, and naïve participants evaluated the naturalness of the speed of each expression. The effect of speed differed across emotions, as in previous studies of human expressions. These data validate the spatial and temporal patterns of Nikola’s emotional facial expressions, and suggest that it may be useful for future psychological studies and real-life applications. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ōmori Shōzō and Kotodama Theory: How Can We Overcome the Need for Bodily Encounters?Maki SatoIntroductionŌmori Shōzō is known for his theory of tachi-araware monism. Tachiaraware monism is his attempted counter-argument to the Cartesian dualism of the object–subject divide, or in his words, a divide between physical (butsuri, mono, science, object) and non-physical consciousness (ishiki, koto, perception, incident), perception (chikaku, 知覚) and conception (shikō, 思考). His concept of Kasane-egaki is (...) also often cited as a core concept of his theory of time.1 The main aim of this paper is to first overview the works of Ōmori since there is only a limited amount of his translated work so far.2 Consecutively, the paper focuses on Ōmori’s theory of kotodama and its related arguments with an intention to expand his concept of Kowaburi into the ethics of online encounters during the pandemic.The world in 2020 was suddenly forced to face the pandemic caused by COVID-19. What COVID-19 alerted us to is tremendous, and there are countless problems that the invisible virus has revealed. Among those are the hidden problems of contemporary society, not limited to the discrimination among races, gender, and jobs (white-collars versus essential workers), the problem of zoonosis, and the related environmental problems (climate change and intrusion into wild nature) caused by over-exploitation of nature. In developed countries, most students and those serving as intellectual workers face their daily lives being overly occupied with online lectures and meetings. COVID-19 worked to normalize remote work, which further normalized and forced our everyday life to shift to cyberspace. [End Page 101]In introducing and overviewing Ōmori’s philosophy, this paper attempts to see the current situation through Ōmori’s philosophy to draw out some ethical implications related to non-physical online encounters and how we can perceive human interactions and relationships under such conditions. Under the constraints caused by COVID-19, humans’ limitless desires to interact with others are expanding more so to the sphere of cyberspace, leading to technological development, such as VR. In short, first, the paper overviews Ōmori’s philosophy. Second, through the overview of Ōmori’s philosophy, the paper seeks adaptable philosophy of his that may work as soft binding grounding ethics for cyberspace encounters where substantial bodily encounters are void. In doing so, the paper intends to draw out weak binding ethics implied in Ōmori’s philosophy that may work to empathetically engage with others in cyberspace where embodied encounters with others are dissolved.Ōmori Shōzō and His Philosophy: A Short Introduction and OverviewIn his short essay introducing the Japanese philosophy of the 1970s, Yasuo Kobayashi coined the term “Komaba quartet” by selecting four active eminent philosophers based on the Komaba campus at the University of Tokyo.3 Among them is Ōmori Shōzō (1921–97), aligning with Hiromatsu Wataru (1933–94), Sakabe Megumi (1936–2009), and Inoue Tadashi (1926–2014). Ōmori is the oldest of the Komaba quartet and received higher education before World War II. He served at the Naval Technology Institute Mitaka Laboratory during the war with his physics degree from the Tokyo Imperial University.4 After the war, he studied philosophy at the University of Tokyo with an interest in phenomenology, leading him to study at Harvard and Stanford in the United States.During his professorship at the University of Tokyo, he inspired countless students who are now leading the philosophy academy in Japan, such as Noe Keiichi (1949–) and Noya Shigeki (1954–). In the round-table discussion titled “Explanatory Round-Table on the Charm of Ōmori’s Philosophy,” four of his former students—Iida Takashi and Tanji Nobuharu, in addition to Noe and Noya—worked on selecting his works. It is impressive to read that all four [End Page 102] of them recall how exciting and inspiring it was to take his classes.5 Iida recalls that Ōmori’s classes were exceptional since philosophy courses were all about reading, with might and main, the texts written in a language other than Japanese at the University of Tokyo. However, Ōmori, with his postwar American education, welcomed discussion with the students and was keen on questioning... (shrink)

This paper argues for a virtue-based account of questioning. First, it delineates the unreflective yet rational aspects of questioning and demonstrates that “good” questions – that is, properly focused, pertinent questions – can be obtained not only in reflective but also in unreflective processes. This paper then argues that the unreflective yet rational mode of inquirers in questioning can be characterized by an automatic response to good questions and cues for relevant doubt and further questions, the active and standby modes (...) of responsiveness, and emotional stress on cues for relevant doubt and further questions. Finally, this article outlines how these features can fully be explicated in terms of exercising a sensitivity to good questions as a virtue. (shrink)

The conflict between Platonic realism and Constructivism marks a watershed in philosophy of mathematics. Among other things, the controversy over the Axiom of Choice is typical of the conflict. Platonists accept the Axiom of Choice, which allows a set consisting of the members resulting from infinitely many arbitrary choices, while Constructivists reject the Axiom of Choice and confine themselves to sets consisting of effectively specifiable members. Indeed there are seemingly unpleasant consequences of the Axiom of Choice. The non-constructive nature of (...) the Axiom of Choice leads to the existence of non-Lebesgue measurable sets, which in turn yields the Banach-Tarski Paradox. But the Banach-Tarski Paradox is so called in the sense that it is a counter-intuitive theorem. To corroborate my view that mathematical truths are of non-constructive nature, I shall draw upon Gödel’s Incompleteness Theorems. This also shows the limitations inherent in formal methods. Indeed the Löwenheim-Skolem Theorem and the Skolem Paradox seem to pose a threat to Platonists. In this light, Quine/Putnam’s arguments come to take on a clear meaning. According to the model-theoretic arguments, the Axiom of Choice depends for its truth-value upon the model in which it is placed. In my view, however, this is another limitation inherent in formal methods, not a defect for Platonists. To see this, we shall examine how mathematical models have been developed in the actual practice of mathematics. I argue that most mathematicians accept the Axiom of Choice because the existence of non-Lebesgue measurable sets and the Well-Ordering of reals open the possibility of more fruitful mathematics. Finally, after responding to Benacerraf’s challenge to Platonism, I conclude that in mathematics, as distinct from natural sciences, there is a close connection between essence and existence. Actual mathematical theories are the parts of the maximally logically consistent theory that describes mathematical reality. (shrink)

Objective:This study aimed to investigate the effect of robot-assisted gait training therapy combined with non-invasive brain stimulation on lower limb function in patients with stroke and spinal cord injury.Data sourcesPubMed, Cochrane Central Register of Controlled Trials, Ovid MEDLINE, and Web of Science were searched.Study selectionRandomized controlled trials published as of 3 March 2021. RCTs evaluating RAGT combined with NIBS, such as transcranial direct current stimulation and repetitive transcranial magnetic stimulation, for lower limb function and activities in patients with stroke and (...) SCI were included.Data extractionTwo reviewers independently screened the records, extracted the data, and assessed the risk of bias.Data synthesisA meta-analysis of five studies and risk of bias were conducted. Pooled estimates demonstrated that RAGT combined with NIBS significantly improved lower limb function [standardized mean difference = 0.52; 95% confidence interval = 0.06–0.99] but not lower limb activities. Subgroup analyses also failed to find a greater improvement in lower limb function of RAGT with tDCS compared to sham stimulation. No significant differences between participant characteristics or types of NIBS were observed.ConclusionThis meta-analysis demonstrated that RAGT therapy in combination with NIBS was effective in patients with stroke and SCI. However, a greater improvement in lower limb function and activities were not observed using RAGT with tDCS compared to sham stimulation. (shrink)

The number of competing-brands changes by new product's entry. The new product introduction is endemic among consumer packaged goods firm and is an integral component of their marketing strategy. As a new product's entry affects markets, there is a pressing need to develop market response model that can adapt to such changes. In this paper, we develop a dynamic model that capture the underlying evolution of the buying behavior associated with the new product. This extends an application of a dynamic (...) linear model, which is used by a number of time series analyses, by allowing the observed dimension to change at some point in time. Our model copes with a problem that dynamic environments entail: changes in parameter over time and changes in the observed dimension. We formulate the model with framework of a state space model. We realize an estimation of the model using modified Kalman filter/fixed interval smoother. We find that new product's entry (1) decreases brand differentiation for existing brands, as indicated by decreasing difference between cross-price elasticities; (2) decreases commodity power for existing brands, as indicated by decreasing trend; and (3) decreases the effect of discount for existing brands, as indicated by a decrease in the magnitude of own-brand price elasticities. The proposed framework is directly applicable to other fields in which the observed dimension might be change, such as economic, bioinformatics, and so forth. (shrink)

Long before the origins of agriculture human ancestors had expanded across the globe into an immense variety of environments, from Australian deserts to Siberian tundra. Survival in these environments did not principally depend on genetic adaptations, but instead on evolved learning strategies that permitted the assembly of locally adaptive behavioral repertoires. To develop hypotheses about these learning strategies, we have modeled the evolution of learning strategies to assess what conditions and constraints favor which kinds of strategies. To build on prior (...) work, we focus on clarifying how spatial variability, temporal variability, and the number of cultural traits influence the evolution of four types of strategies: (1) individual learning, (2) unbiased social learning, (3) payoff-biased social learning, and (4) conformist transmission. Using a combination of analytic and simulation methods, we show that spatial—but not temporal—variation strongly favors the emergence of conformist transmission. This effect intensifies when migration rates are relatively high and individual learning is costly. We also show that increasing the number of cultural traits above two favors the evolution of conformist transmission, which suggests that the assumption of only two traits in many models has been conservative. We close by discussing how (1) spatial variability represents only one way of introducing the low-level, nonadaptive phenotypic trait variation that so favors conformist transmission, the other obvious way being learning errors, and (2) our findings apply to the evolution of conformist transmission in social interactions. Throughout we emphasize how our models generate empirical predictions suitable for laboratory testing. (shrink)

Profit Sharing is one of the reinforcement learning methods. An agent, as a learner, selects an action with a state-action value and receives rewards when it reaches a goal state. Then it distributes receiving rewards to state-action values. This paper discusses how to set the initial value of a state-action value. A distribution function ƒ( x ) is called as the reinforcement function. On Profit Sharing, an agent learns a policy by distributing rewards with the reinforcement function. On Markov Decision (...) Processes (MDPs), the reinforcement function ƒ( x ) = 1/ L x is useful, and on Partially Observable Markov Decision Processes (POMDPs), ƒ( x ) = 1/ L w is useful, where L is the sufficient number of rules at each state, and W is the length of an episode. If episodes are always long, the value of the reinforcement function is little. So the differences of rule values become little, and the agent learns little by using the roulette selection as an action selection. This problem is called as Learning Speed Problem. If the value of the reinforcement function for an action is very higher than its state-action value, an agent will not select other action. There is a problem when its action is not a optimal action. This problem is called as Past Experiences Problem. This paper shows that both Learning Speed Problem and Past Experiences Problem are caused by the bad setting between the initial values of a state-action values and the function values of a reinforcement function. We propose how to set the initial values of a state-action values at each state. The experiment shows that an agent can learn correctly even if the length of episode is large. And shows the effectiveness on both MDPs and POMDPs. Our proposed method focuses on the initialization of state-action values and does not limit reinforcement functions. So it can apply to any reinforcement function. (shrink)

In this paper, we consider profit sharing that is one of the reinforcement learning methods. An agent learns a candidate solution of a problem from the reward that is received from the environment if and only if it reaches the destination state. A function that distributes the received reward to each action of the candidate solution is called the reinforcement function. On this learning system, the agent can reinforce the set of selected actions when it gets the reward. And the (...) agent should not reinforce the detour actions. First, we will propose a new constraint equation about reinforcement functions to distribute the reinforcement values on the non-detour actions. If we use the reinforcement function to satisfy the constraint equation, the agent can select the non-detour actions directing to the destination state. Next, it is shown that the reinforcement function can be constant after learning process to suppress the selection of detour actions. Lastly, in computer simulations for maze problems, we show that the learning performance of agents does not depend on the size of environment. (shrink)

As the internet becomes the basic resource of information, not only texts but images retrieval systems have been appeared. However, many of those supply only a list of images, so we have to seek the expecting images one by one. Although, image labeling is one of the solutions of such a problem, various words are labeled to an image if the words are extracted from only one Web page. Therefore, this paper proposes an image clustering system that labels images by (...) words related to a search keyword. This relationships are measured by Web pages in WWW. By the experimental results, users were enabled to find the intended images more faster than the ordinal image search system. (shrink)

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

The projection pattern of the existential/uniqueness presupposition of a wh-complement varies depending on the predicate that embeds it. This variation poses problems for existing accounts that treat the presupposition as a semantic contribution of an operator merging with the wh-complement or of the embedding predicate. I propose that the problems can be solved if the existential/uniqueness presupposition is contributed by the propositions corresponding to the answers of the embedded question, under the Hamblin/Karttunen semantics for questions.

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (shrink)

... because the thing-in-itself has no abnormality. Anything unusual will appear, after I myself see it: Abnormality belongs not to the thing-in-itself, but to myself. Kuo P'u (276-324), Shan-hai ching (Scriptures of the Mountains and the Seas).

Reconsideration-proofness is a solution concept proposed by Kocherlakota :33–54, 1996) for infinite horizon single-player problems in which time inconsistency is important. Kocherlakota’s definition has a limitation: it is not applicable to environments with state variables. The limitation is important because many time-inconsistent problems have state variables. This paper displays a natural generalization of reconsideration-proofness to environments with state variables, and shows that it leads to nonexistence in three examples. Such nonexistence contrasts with the general existence theorem obtained in environments without (...) state variables in Kocherlakota. In the first two examples, existence can be recovered with a modification in the solution concept. In the last example, nonexistence occurs even with the modified solution concept. Insights about further research are derived from these nonexistence results. (shrink)

We recently described a novel form of stress‐associated bidirectional plasticity at GABA synapses onto hypothalamic parvocellular neuroendocrine cells (PNCs), the apex of the hypothalamus‐pituitary‐adrenal axis. This plasticity may contribute to neuroendocrine adaptation. However, this GABA synapse plasticity likely does not translate into a simple more and less of inhibition because the ionic driving force for Cl−, the primary charge carrier for GABAA receptors, is dynamic. Specifically, stress impairs a Cl− extrusion mechanism in PNCs. This not only renders the steady‐state GABA (...) response less hyperpolarizing but also makes PNCs susceptible to the activity‐dependent accumulation of Cl−. Accordingly, GABA synapse plasticity impacts both the robustness of GABA voltage response and dynamic Cl− loading, imposing nonlinear influences on PNC excitability during circuit activities. This theoretical consideration predicts roles for GABA transmission far more versatile than canonical inhibition. We propose potential impacts of GABA synapse plasticity on the experience‐dependent fine‐tuning of neuroendocrine stress responses. (shrink)

Crew Pairing is one of the most important and difficult problems for airline companies. Nets to fuel costs, the crew costs constitute the largest cost of airlines, and the crew costs depend on the quality of the solution to the pairing problem. Conventional systems have been used to solve a daily model, which handles only regular flights with many simplifications, so a lot of corrections are needed to get a feasible solution and the quality of the solution is not so (...) high. A fully dated model, which handles regular flights and irregular flights simultaneously, is extremely hard and has not been solved directly hitherto. The number of irregular flights tend to increase in Europe and Japan, hence the resolution of the practical fully dated pairing system is desired. This paper presents a new approach which solves directly the fully dated crew pairing by Genetic Algorithms. GA is improved with stochastic processes to attack the fully dated model, and many heuristics are included in the decoding mecanism of the GA. For several hundred flights per day for fully dated 2 months scheduling period, the system found better or equivalent solutions to the human scheduler’s without any simplification from 5 to 20 times faster. (shrink)

Schedule planning is one of the most crucial issues for any airline company, because the profit of the company directly depends on the efficiency of the schedule. This paper presents a novel scheduling method which solves problems related to time scheduling, fleet assignment and maintenance routing simultaneously by Genetic Algorithms. Every schedule constraint is embeded in the fitness function, which is described as an object oriented model and works as a simulater developing itself over time, and whose solution is executable (...) without human correction. The schedular is able to solve the problems involving several hundred flights in a few hours, and the solutions are superior or equivalent to those by human experts in terms of the estimated profit. (shrink)

We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε .Analogously to the usual forcing and the usual generic (...) extension for FA-models, we can justify the existence of generic filters and can obtain the Forcing Theorem and the Minimal Model Theorem with some modifications. These results are on the line of works to investigate whether model theory for AFA-set theory can be developed in a similar way to that for FA-set theory.Aczel pointed out that the quotient of transition systems by the largest bisimulation and transition relations have the essentially same theory as the set theory with AFA. Therefore, we could hope that, by using our new method, some open problems about transition systems turn out to be consistent or independent. (shrink)

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...) totality. (shrink)