Results for 'Daisuke Fukuchi'

83 found
Order:
  1.  1
    Query Mining Based on Term Relationship Estimation in Verbal Queries.Daisuke Fukuchi, Takehiro Yamamoto & Katsumi Tanaka - 2017 - Transactions of the Japanese Society for Artificial Intelligence 32 (1):WII-J_1-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  17
    Formalizing Reasoning for Compromise Toward Dialectical Conflict Resolution.Hiroyuki Kido, Masahito Kurihara, Katagami Daisuke & Katsumi Nitta - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25:570-578.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  25
    Dementia and Advance-Care Planning: Perspectives From Three Countries on Ethics and Epidemiology.Joanne Lynn, Joan Teno, Rebecca Dresser, Dan Brock, H. Lindemann Nelson, J. Lindemann Nelson, Rita Kielstein, Yoshinosuke Fukuchi, Dan Lu & Haruka Itakura - 1999 - Journal of Clinical Ethics 10 (4):271.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. The Development of a Schema for Semantic Annotation: Gain Brought by a Formal Ontological Method.Ai Kawazoe, Lihua Jin, Mika Shigematsu, Daisuke Bekki, Roberto Barrero, Kiyosu Taniguchi & Nigel Collier - 2009 - Applied Ontology 4 (1):5-20.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  22
    Cross Cultural Differences in Unconscious Knowledge.Sachiko Kiyokawa, Zoltán Dienes, Daisuke Tanaka, Ayumi Yamada & Louise Crowe - 2012 - Cognition 124 (1):16-24.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  4
    Anodal Transcranial Direct Current Stimulation Induces High Gamma-Band Activity in the Left Dorsolateral Prefrontal Cortex During a Working Memory Task: A Double-Blind, Randomized, Crossover Study.Takashi Ikeda, Tetsuya Takahashi, Hirotoshi Hiraishi, Daisuke N. Saito & Mitsuru Kikuchi - 2019 - Frontiers in Human Neuroscience 13.
  7.  8
    Forcing Absoluteness and Regularity Properties.Daisuke Ikegami - 2010 - Annals of Pure and Applied Logic 161 (7):879-894.
    For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over and the core model . We use our results to answer open questions from set theory of the reals.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  11
    Methods for Evaluating Emotions Evoked by Food Experiences: A Literature Review.Daisuke Kaneko, Alexander Toet, Anne-Marie Brouwer, Victor Kallen & Jan B. F. van Erp - 2018 - Frontiers in Psychology 9.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Was Łukasiewicz Wrong? : Three-Valued Logic and Determinism.Daisuke Kachi - 1996 - In "Łukasiewicz in Dublin" -- An International Conference on the Work of Jan Łukasiewicz.
    Łukasiewicz has often been criticized for his motive for inventing his three-valued logic, namely the avoidance of determinism. First of all, I want to show that almost all of the critcism along this line was wrong. Second I will indicate that he made mistakes, however, in constructing his system, because he had other motives at the same time. Finally I will propose some modification of his system and its interpretation which can attain his original purpose in some sense.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  1
    Cortical Activation During Action Observation, Action Execution, and Interpersonal Synchrony in Adults: A Functional Near-Infrared Spectroscopy Study.Anjana N. Bhat, Michael D. Hoffman, Susanna L. Trost, McKenzie L. Culotta, Jeffrey Eilbott, Daisuke Tsuzuki & Kevin A. Pelphrey - 2017 - Frontiers in Human Neuroscience 11.
  11. Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi - 2002 - Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME-02:141-145.
    Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  15
    An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
    Some of the basic substructural logics are shown by Ono to have the disjunction property (DP) by using cut elimination of sequent calculi for these logics. On the other hand, this syntactic method works only for a limited number of substructural logics. Here we show that Maksimova's criterion on the DP of superintuitionistic logics can be naturally extended to one on the DP of substructural logics over FL. By using this, we show the DP for some of the substructural logics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  21
    Luck Vs. Capability? Testing Egalitarian Theories.Akira Inoue, Kazumi Shimizu, Daisuke Udagawa & Yoshiki Wakamatsu - 2019 - Review of Philosophy and Psychology 10 (4):809-823.
    The issue of distributive justice receives substantial amount of attention in our society. On the one hand, we are sensitive to whether and the extent to which people are responsible for being worse off. On the other hand, we are mindful of society’s worst-off members. There has been a debate over luck egalitarianism, which relates to the former concern, and relational egalitarianism, which echoes the latter. By investigating the psychological processes of these two concerns, this paper examines the reliability of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Validity in Simple Partial Logic.Daisuke Kachi - 2002 - Annals of the Japan Association for Philosophy of Science 10 (4):139-153.
    Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. The Power of Holes.Daisuke Kachi - 2011 - Ontology Meeting: A Supplementary Volume for 2011, February Meeting:7-11.
    Firstly I define a hole as a dependent matter-less endurant, which is a little modification of Casati and Varzi’s definition. Adopting this definition, holes seem to invite three problems about causation: (1)causal closure, (2)ungrounded disposition and (3)causal overdetermination. I will defend my definition against all these problems by showing that holes are limiting cases of physical endurants rather than their opposition and that they have causal powers in a broad sense.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  26
    Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
    In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  14
    A Method for Extracting Important Segments From Documents Using Support Vector Machines.Daisuke Suzuki & Akira Utsumi - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:330-339.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  13
    Variable Handling and Compositionality: Comparing DRT and DTS.Yukiko Yana, Koji Mineshima & Daisuke Bekki - 2019 - Journal of Logic, Language and Information 28 (2):261-285.
    This paper provides a detailed comparison between discourse representation theory and dependent type semantics, two frameworks for discourse semantics. Although it is often stated that DRT and those frameworks based on dependent types are mutually exchangeable, we argue that they differ with respect to variable handling, more specifically, how substitution and other operations on variables are defined. This manifests itself in two recalcitrant problems posed for DRT; namely, the overwrite problem and the duplication problem. We will see that these problems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Four Kinds of Boundary : From an Ontological Point of View.Daisuke Kachi - 2009 - Interdisciplinary Ontology 2:87-90.
    Casati and Varzi have developed a theory of boundary based on extensional mereotopology and the distinction between fiat and bona fide boundaries. Firstly, I point out some problems in their theory that are related to the contact of bodies. Next, I propose a way of classification of boundaries into four kinds based on substance ontology and an alternative distinction between potential and actual boundaries. Finally, I will show that my way of classification makes it possible to solve the problems above.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  10
    Color Harmony Represented by Activity in the Medial Orbitofrontal Cortex and Amygdala.Takashi Ikeda, Daisuke Matsuyoshi, Nobukatsu Sawamoto, Hidenao Fukuyama & Naoyuki Osaka - 2015 - Frontiers in Human Neuroscience 9.
  21.  58
    Projective Absoluteness for Sacks Forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
    We show that ${{\bf \Sigma}^1_3}$ -absoluteness for Sacks forcing is equivalent to the non-existence of a ${{\bf \Delta}^1_2}$ Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to ${{\bf \Sigma}^1_3}$ forcing absoluteness.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Do Time Travelers Suffer From Paradoxes?Daisuke Kachi - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):95-98.
    In this paper I give consideration to some apparent impossibilities for the time travelers to the past. After criticizing the views of D. Lewis and K. Vihvelin, I will show in what sense they are really impossible.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Bourne on Future Contingents and Three-Valued Logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
    Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate truth-value so (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  24.  5
    Agent Community Based Peer-to-Peer Information Retrieval.Tsunenori Mine, Daisuke Matsuno & Makoto Amamiya - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:421-428.
  25.  89
    Serious Copula-Tensing.Daisuke Kachi - 2012 - Interdisciplinary Ontology 5:67-73.
    M. Johnston proposed an adverbialist solution to the problem of intrinsic change for enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing the having simpliciter of a property by the standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring the having a property to be non-relational, while I disagree with him on restricting (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  18
    Web-Based Video Annotation and its Applications.Daisuke Yamamoto & Katashi Nagao - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:67-75.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  11
    A Similar Disputation Scene Search on An Online Mediation Support System for Education.Takahiro Tanaka, Yoshiaki Yasumura, Daisuke Katagami & Katsumi Nitta - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:94-104.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  76
    The Ontology of Many-Worlds : Modality and Time.Daisuke Kachi - 1998 - In https://www.bu.edu/wcp/MainOnto.htm.
    There are two types of theories regarding many worlds: one is modal, while the other is temporal. The former regards reality as consisting of many possible worlds, while the latter holds that reality consists of many momentary worlds, which are usually called moments. I compare these two theories, paying close attention to the concept of transworld identity and compare trans-possible world identity with trans-momentary world identity (or transmoment identity). I characterize time from the point of many-worlds view, believing this to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  2
    Lost in Translation?Daisuke Arie - 2019 - Revue D’Études Benthamiennes 16.
    La présente étude examine comment les intellectuels japonais tentèrent d’introduire l’utilitarisme lors du premier stade d’un processus de modernisation dans la seconde moitié du XIXe siècle. Elle décrit les efforts significatifs qu’ils consacrèrent à la traduction des œuvres ou des textes de Bentham et de Mill en créant de nombreux mots japonais nouveaux. Car, jusqu’à la fin de la société agraire quasi féodale du shogunat Tokugawa, il n’y avait quasiment pas eu de concepts équivalents pour des notions telles que l’individu, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  81
    What Developmental Biology Can Tell Us About Innateness.Gary F. Marcus - 2005 - In Peter Carruthers, Stephen Laurence & Stephen Stich (eds.), The Innate Mind: Structure and Contents. New York: Oxford University Press New York. pp. 23.
    This chapter examines an apparent tension created by recent research on neurological development and genetics on the one hand and cognitive development on the other. It considers what it might mean for intrinsic signals to guide the initial establishment of functional architecture. It argues that an understanding of the mechanisms by which the body develops can inform our understanding of the mechanisms by which the brain develops. It cites the view of developmental neurobiologists Fukuchi-Shimogori and Grove, that the patterning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  19
    An Adviser Agent for Mediator Training.Takahiro Tanaka, Daisuke Katagami & Katsumi Nitta - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:319-329.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  13
    The Credibility of Posted Information in a Recommender System Based on a Map.Koji Yamamoto, Daisuke Katagami, Katsumi Nitta, Akira Aiba & Hitoshi Kuwata - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:276-286.
  33.  11
    Construction of Interaction Layer on Socio-Environmental Simulation.Daisuke Torii & Toru Ishida - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:28-35.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  12
    Partial Logic as a Logic of Extensional Alethic Modality.Daisuke Kachi - 2007 - Journal of the Japan Association for Philosophy of Science 34 (2):61-70.
    In my paper 'Validity in Simple Partial Logic'(2002) I made comparison between several definitions of validity in Simple Partial Logic(SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof system and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  35.  9
    Formation, Growth and Ageing of Clathrate Hydrate Crystals in a Porous Medium.Daisuke Katsuki, Ryo Ohmura, Takao Ebinuma & Hideo Narita - 2006 - Philosophical Magazine 86 (12):1753-1761.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  10
    Extension of Companion Modeling Using Classification Learning.Daisuke Torii, François Bousquet & Toru Ishida - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:379-386.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  8
    EmojiGrid: A 2D Pictorial Scale for the Assessment of Food Elicited Emotions.Alexander Toet, Daisuke Kaneko, Shota Ushiama, Sofie Hoving, Inge de Kruijf, Anne-Marie Brouwer, Victor Kallen & Jan B. F. van Erp - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  30
    Social Relationship of a Firm and the CSP–CFP Relationship in Japan: Using Artificial Neural Networks.Daisuke Okamoto - 2009 - Journal of Business Ethics 87 (1):117-132.
    As a criterion of a good firm, a lucrative and growing business has been said to be important. Recently, however, high profitability and high growth potential are insufficient for the criteria, because social influences exerted by recent firms have been extremely significant. In this paper, high social relationship is added to the list of the criteria. Empirical corporate social performance versus corporate financial performance (CSP–CFP) relationship studies that consider social relationship are very limited in Japan, and there are no definite (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  30
    The Axiom of Real Blackwell Determinacy.Daisuke Ikegami, David de Kloet & Benedikt Löwe - 2012 - Archive for Mathematical Logic 51 (7-8):671-685.
    The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy ${\mathsf{Bl-AD}_\mathbb{R}}$ (as an analogue of the axiom of real determinacy ${\mathsf{AD}_\mathbb{R}}$ ). We prove that the consistency strength of ${\mathsf{Bl-AD}_\mathbb{R}}$ is strictly greater than that of AD.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  40.  19
    Evaluation of Haptic Interaction in Online Negotiation.Chen Meng, Daisuke Katagami & Katsumi Nitta - 2011 - Transactions of the Japanese Society for Artificial Intelligence 26 (5):571-579.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  11
    Multilevel Analysis of Individual Differences in Regularities of Grapheme–Color Associations in Synesthesia.Daisuke Hamada, Hiroki Yamamoto & Jun Saiki - 2017 - Consciousness and Cognition 53:122-135.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  15
    Multi User Learning Agent with Clustering.Hidefumi Ohmura, Daisuke Katagami & Katsumi Nitta - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22:621-630.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Describing Gaits by Onomatopoeias with Sound Symbolism音象徴性を利用したオノマトペによる歩容の記述.Hirotaka Kato, Takatsugu Hirayama, Keisuke Doman, Ichiro Ide, Yasutomo Kawanishi, Daisuke Deguchi & Hiroshi Murase - 2018 - Transactions of the Japanese Society for Artificial Intelligence 33 (4):B-HC2_1-9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  16
    Born to Bind: The BTB Protein–Protein Interaction Domain.Roberto Perez-Torrado, Daisuke Yamada & Pierre-Antoine Defossez - 2006 - Bioessays 28 (12):1194-1202.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  8
    On a Class of Maximality Principles.Daisuke Ikegami & Nam Trang - 2018 - Archive for Mathematical Logic 57 (5-6):713-725.
    We study various classes of maximality principles, \\), introduced by Hamkins :527–550, 2003), where \ defines a class of forcing posets and \ is an infinite cardinal. We explore the consistency strength and the relationship of \\) with various forcing axioms when \. In particular, we give a characterization of bounded forcing axioms for a class of forcings \ in terms of maximality principles MP\\) for \ formulas. A significant part of the paper is devoted to studying the principle MP\\) (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    Design of Nonverbal Expression Model in an Announcer Agent for All Day and Night.Takuya Arabori, Daisuke Katagami & Koh Kakusho - 2013 - Transactions of the Japanese Society for Artificial Intelligence 28 (2):179-186.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  12
    Identifying Information Senders of Web Pages.Yoshikiyo Kato, Daisuke Kawahara, Kentaro Inui, Sadao Kurohashi & Tomohide Shibata - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25:90-103.
  48.  12
    Effect of Agency to Teleoperated Communication Robot by Semi-Autonomous Nod.Daisuke Nakamichi & Shuichi Nishio - 2016 - Transactions of the Japanese Society for Artificial Intelligence 31 (2):H-F81_1-10.
  49.  12
    Modeling Negotiation by a Paticipatory Approach.Daisuke Torii, Toru Ishida & François Bousquet - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:287-294.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    Self-Organizing Symbol Acquisition and Motion Generation Based on Dynamics-Based Information Processing System.Masafumi Okada, Daisuke Nakamura & Yoshihiko Nakamura - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:177-187.
1 — 50 / 83