This paper reports on a quiz robot experiment in which we explore similarities and differences in human participant speech, gaze, and bodily conduct in responding to a robot’s speech, gaze, and bodily conduct across two languages. Our experiment involved three-person groups of Japanese and English-speaking participants who stood facing the robot and a projection screen that displayed pictures related to the robot’s questions. The robot was programmed so that its speech was coordinated with its gaze, body position, and gestures in (...) relation to transition relevance places, key words, and deictic words and expressions in both languages. Contrary to findings on human interaction, we found that the frequency of English speakers’ head nodding was higher than that of Japanese speakers in human-robot interaction. Our findings suggest that the coordination of the robot’s verbal and non-verbal actions surrounding TRPs, key words, and deictic words and expressions is important for facilitating HRI irrespective of participants’ native language. Keywords: coordination of verbal and non-verbal actions; robot gaze comparison between English and Japanese; human-robot interaction ; transition relevance place ; conversation analysis. (shrink)

This book investigates the theory of locality within the framework of minimalism, with a special focus on restructuring and other related phenomena that exhibit an apparent violation of the strictly local conditions.

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 paper is a comparative study of the propositional intuitionistic (non-modal) and classical modal languages interpreted in the standard way on transitive frames. It shows that, when talking about these frames rather than conventional quasi-orders, the intuitionistic language displays some unusual features: its expressive power becomes weaker than that of the modal language, the induced consequence relation does not have a deduction theorem and is not protoalgebraic. Nevertheless, the paper develops a manageable model theory for this consequence and its extensions (...) which also reveals some unexpected phenomena. The balance between the intuitionistic and modal languages is restored by adding to the former one more implication. (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.

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)

Modal counterparts of intermediate predicate logics will be studied by means of algebraic devise. Our main tool will be a construction of algebraic semantics for modal logics from algebraic frames for predicate logics. Uncountably many examples of modal counterparts of intermediate predicate logics will be given.

Para Hume, filosofar é uma atividade semelhante às demais ocupações humanas. A decisão que leva à atividade filosófica é menos resultado de uma argumentação teórica do que fruto de um cálculo prático, que é entendido como uma caça ou um jogo. O objetivo deste trabalho será o de mostrar que no jogo filosófico perde quem joga sério demais. A aposta na filosofia tem que passar pelo bom humor e pela diversão: uma resposta a Pascal? For Hume, philosophy is in itself (...) neither more nor less important than other human activities. On the contrary, it can be explained from its resemblance with game and hunting. If one chooses to dedicate himself to philosophy, his decision is not the consequence of logical reasoning, but depends on practical evaluation, which has something to do with gambling. The following text tries to show that in philosophy, like in other games, the loser will be the one who plays too earnestly. The philosophical game requires good humour and some relaxation: Is this a good answer to Pascal's pari? (shrink)

The economy and global competitiveness are the bottom line for society and governments, or so says conventional wisdom. But what are the real needs that must be satisfied to live rich, fulfilling lives? This is the question David Suzuki explores in this wide-ranging study. Suzuki begins by presenting the concept of people as creatures of the Earth who depend on its gifts of air, water, soil, and sun energy. He shows how people are genetically programmed for the company (...) of other species, and suffer enormously when we fail to live in harmony with them. And he analyzes those deep spiritual needs, rooted in nature, that are also a crucial component of a loving world. Drawing on his own experiences and those of others who have put their beliefs into action, "The Sacred Balance" is a powerful, passionate book with concrete suggestions for creating an ecologically sustainable, satisfying, and fair future by rediscovering and addressing humanity' s basic needs. (shrink)

This paper concerns Davis’s objections against the probative uses of imaginary cases. His policy of getting more cautious in their uses is commendable. However, Davis’s arguments and proposals for limiting their uses might be based on controversial assumptions, go too far, and undervalue the reasons why thought experiments in ethics are constructed as they are. Even merely metaphysically possible cases can be test cases for or against ethical principles. Our ethical judgments about unrealistic cases can be credible, because, depending on (...) the cases, we can know what would happen even under unrealistic assumptions. And non-actual and imagined cases are often indispensable for several purposes: examining the ethical relevance of natural properties, testing ethical principles, choosing between rival theories, and inductive uses (including generalization from a merely possible case to an actual problem at hand). It is hard to do away with the cases that are physically, biologically, and/or historically unrealistic. (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)

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)

Robustness against strategic manipulation is a crucial topic in social choice theory. Under some social ranking solutions (SRSs), namely mappings that yield candidates’ ranking from their coalitions’ ranking, candidates can sometimes improve their own social ranking by strategically degrading the coalitions to which they belong (e.g., sabotaging the coalitions to which the candidates and their competitors both belong could damage their competitors’ social rankings). This study investigates SRSs that can prevent such sabotage and promote sincere cooperation between candidates. To this (...) end, we introduce two axioms of SRSs by modifying the non-manipulability (NM) in the literature. An SRS is sabotage-proof (SP) if no candidate can improve their social ranking against anyone else through sabotage, and it is strongly sabotage-proof (SSP) if it is SP and is endowed with a sanction system against specific sabotage. We first demonstrate that the ceteris paribus majority (when there are at least four candidates) and lexicographic excellence solutions are SP but not SSP. We then propose a new characterization of dual lexicographic excellence solution as the unique linear SRS satisfying SSP and coalitional anonymity. Our axiomatic study provides a theoretical ground that lexicographic evaluation of coalitional performances is highly robust against strategic sabotage. (shrink)

Since the inception of modern approaches to grammar, Japanese ga has been treated as a marker indicating the grammatical relation `subject.' If this is an accurate characterization of ga, then we would expect ga to occur to mark a grammatical category consisting of `A' and `S'. Our examination of the contexts in which ga is actually used in everyday Japanese conversations shows that this expectation is not borne out. Our findings suggest that it is not appropriate to describe ga in (...) terms of a grammatical relation such as `subject', and that ga may be much less a grammatical marker than a discourse-pragmatic one. (shrink)

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 work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Bkaḥ-Ḥgyur: ka-ya [volume 1-25], Text number 1-729. Rgyud -- ra-a, kṣa, ki-tsi [volume 26-49], Text number 730-759. Śer-phyin -- tshi-ʼi [volume 50-55], Text number 760. Dkon-brtsegs -- yi-ri [volume 56-61], Text number 761. Phal-chn -- ai, ku-ke [volume 62-93], Text number 762-1029. Mdo-sna-tshogs -- khe-phe [volume 94-106], Text number 1030-1055. Ḥdul-ba.