Researchers Database

NIDE Naoyuki

    Faculty Division of Human Life and Environmental Sciences Research Group of Information and Communication Technology for Life Associate Professor
Contact:
nideics.nara-wu.ac.jp
Last Updated :2021/07/07

researchmap

Degree

  • Ph.D. (Information science), Nara Women's University, Jun. 2007

Research Interests

  • Autonomous Agent Mathematical Logic 

Research Areas

  • Informatics, Information theory

Research Experience

  • Apr. 2014, Nara Women's University, Faculty, Division of Human Life and Environmental Sciences, Research Group of Information and Communication Technology for Life, Associate professor
  • Apr. 2012 Mar. - 2014, Nara Women's University, Faculty, Division of Natural Sciences, Associate professor
  • Apr. 2008 Mar. - 2012, Nara Women's University, Faculty of Science, Associate professor
  • Jun. 1992 Mar. - 2008, Nara Women's University, Faculty of Science, Lecturer
  • Nov. 2006 Nov. - 2006, 放送大学, 奈良学習センター, 非常勤講師
  • Oct. 1998 Mar. - 2005, 奈良教育大学, 教育学部, 非常勤講師, この間毎年度後期
  • Apr. 2004, 近畿大学, 理工学部, 非常勤講師, 2004〜05年度前期・2010〜11年度後期・その他の年度通年
  • Jun. 1992 Sep. - 1996, 京都大学, 教養部→総合人間学部, 非常勤講師
  • May 1988 May - 1992, Kyoto University, Educational Center for Information Processing, Assistant professor

Education

  • Apr. 1988, May - 1988, Kyoto University, Graduate School of Science, Division of Mathematics and Mathematical Sciences, Retired from doctral course, Japan
  • Apr. 1986, Mar. - 1988, Kyoto University, Graduate School of Science, Division of Mathematics and Mathematical Sciences, Japan
  • Apr. 1982, Mar. - 1986, Kyoto University, Faculty of Science, Japan

Published Papers

  • Sequent calculus for 3-valued paraconsistent logic QMPT0

    Naoyuki Nide; Yuki Goto; Megumi Fujita

    Oxford University Press, Aug. 2019, Logic Journal of the IGPL, 27 (5), 507 - 521

  • Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents

    Yuki Goto; Megumi Fujita; Naoyuki Nide

    Due to the rapid development of applications of artificial intelligence and robotics in recent years, the necessity of reasoning and decision making with uncertain and inaccurate information is increasing. Since robots in the real world are always exposed to behavioral inaccuracies and uncertainty arising from recognition methods, they may occasionally encounter contradictory facts during reasoning on action decision. Paraconsistent logic programming is promising to make appropriate action decisions even when an agent is exposed to such uncertain information or contradictory facts, but there has been no implementation of this programming to the best of our knowledge. We propose a resolution algorithm for the 3-valued paraconsistent logic programming system QMPT0 and its implementation on SWI-Prolog. We also describe an application of the 3-valued paraconsistent logic programming regarding agent decision making., Springer Verlag, 12 May 2018, Journal of Systems Science and Systems Engineering, 27 (3), 1 - 18, doi

    Scientific journal

  • Toward a robot that acquires logical recognition of space

    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe

    IIAI Publications, Dec. 2017, Information Engineering Express, 3 (4), 1 - 10

  • Tracing werewolf game by using extended BDI model

    Naoyuki Nide; Shiro Takata

    The Werewolf game is a kind of role-playing game in which players have to guess other players’ roles from their speech acts (what they say). In this game, players have to estimate other players’ beliefs and intentions, and try to modify others’ intentions. The BDI model is a suitable one for this game, because it explicitly has notions of mental states, i.e. beliefs, desires and intentions. On the other hand, in this game, players’ beliefs are not completely known. Consequently, in many cases it is difficult for players to choose a unique strategy in other words, players frequently have to maintain probabilistic intentions. However, the conventional BDI model does not have the notion of probabilistic mental states. In this paper, we propose an extension of BDI logic that can handle probabilistic mental states and use it to model some situations in the Werewolf game. We also show examples of deductions concerning those situations. We expect that this study will serve as a basis for developing a Werewolf game agent based on BDI logic in the future., Institute of Electronics, Information and Communication, Engineers, IEICE, 01 Dec. 2017, IEICE Transactions on Information and Systems, E100D (12), 2888 - 2896, doi

    International conference proceedings

  • 中学校技術科におけるプログラミングの導入授業の研究―学習目標及び評価の観点から―

    吉川 裕之; 新出 尚之; 高田 雅美

    奈良女子大学教育システム研究開発センター, Oct. 2017, 教育システム研究別冊「本学の教員養成課程の改善・高度化に向けた大学教員と附属教員の連携研究推進事業」成果論文集

  • A Logical Model of Emotional Expressions and Time Course based on OCC theory

    Nao Imai; Sara Asai; Mai Tsukamoto; Naoyuki Nide

    Sep. 2017, Proc. of 34th JSSST annual conference

  • Acquisition of object recognition ability of autonomous robot

    Akemi Kanematsu; Fumiko Komatsu; Naoyuki Nide

    Sep. 2017, Proc. of 34th JSSST Annual Conference

  • Developing BDI agent for controlling autonomous small robot with ability to reach target object

    Shiori Tarui; Akemi Kanematsu; Naoyuki Nide

    Sep. 2016, Proc. of 33rd JSSST annual conference

  • Tracing Werewolf game by using extended BDI model

    Naoyuki Nide; Shiro Takata

    The werewolf game is a kind of role-playing game in which players have to guess other players' roles from their speech acts (what they say). In this game, players have to estimate other players' beliefs and intentions, and try to modify others' intentions. The BDI model is a suitable model for this game, because it explicitly has notions of mental states, i.e. beliefs, desires and intentions. On the other hand, in this game, players' beliefs are not completely known. Consequently, in many cases it is difficult for players to choose a unique strategy in other words, players frequently have to maintain probabilistic intentions. However, the conventional BDI model does not have the notion of probabilistic mental states. In this paper, we propose an extension of BDI logic that can handle probabilistic mental states and use it to model some situations in the Werewolf game. We also show examples of deductions concerning that situations. We believe that this study will serve as a basis for developing a Werewolf game agent based on BDI logic., Institute of Electrical and Electronics Engineers Inc., 10 Jan. 2017, Proceedings - 2016 International Conference on Agents, ICA 2016, 7 - 12, doi

    International conference proceedings

  • Autonomous control of mobile robots using logical representation of map and inference of location

    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe

    We propose an action-decision method for autonomous mobile robots, in which a robot constructs a logical representation of a map of its surrounding environment from its perception and uses that map to determine a plan to logically reach its destination. We conducted an experiment in which a robot had a sub-goal to reach halfway to its destination and attempt to recognize that it has reached that sub-goal in order to proceed to the next goal. We first explain our experimental results then provide a discussion on these results and future work., Institute of Electrical and Electronics Engineers Inc., 10 Jan. 2017, Proceedings - 2016 International Conference on Agents, ICA 2016, 78 - 81, doi

    International conference proceedings

  • Reliability Improvement of Basic Actions of Real World Robots

    Shiro Takata; Naoyuki Nide

    Jun. 2016, Proc. of 30th JSAI annual conference

  • Stochastic strategy of agents with uncertain beliefs and BDI model

    Naoyuki Nide; Shiro Takata

    Jun. 2016, Proc. of 30th JSAI annual conference

  • Certification of ability to accomplish goals using atomic actions involving noises by formal method

    Naoyuki Nide; Yuki Goto; Megumi Fujita; Shiro Takata

    Oct. 2015, Proc. of JAWS2015, 150 - 156

  • A Logic for Rational Agents Which Handles Beliefs and State Transitions Probabilistically

    Naoyuki Nide; Shiro Takata

    Jun. 2015, IEICE Transactions on Information and Systems (Japanese Edition), J98-D (6), 936 - 947

  • Implementing simulation environment for BDI agents in continuous virtual world

    Mika Kamemura; Naoyuki Nide; Shizuka Yunoki; Rena Miyata; Shiro Takata

    May 2015, Proc. of 29th JSAI annual conference

  • Commitment Strategies for Basic Actions in Real World

    Shiro Takata; Naoyuki Nide

    May 2015, Proc. of 29th JSAI annual conference

  • Autonomous control of mobile robot using logical representation of map and inference about location

    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe

    Mar. 2015, Proc. of 20th Robotics Symposia, 37 - 42

  • A Logic for Rational Agents Which Handles Beliefs and State Transitions Probabilistically

    Naoyuki Nide; Shiro Takata

    Oct. 2014, Proc. of JAWS2014, 95 - 98

  • Robust Atomic Actions using Attractor States

    Shiro Takata; Naoyuki Nide

    Oct. 2014, Proc. of JAWS2014, 47 - 50

  • A Logical Model of Emotional Expressions based on OCC Theory

    Akiko Ikenouchi; Naoyuki Nide

    Oct. 2014, Proc. of JAWS2014, 91 - 94

  • Logic-based and robust decision making for robots in real world

    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe

    May 2014, Proc. of AAMAS 2014, 1685 - 1686

  • A semantics of Teleo-reactive Program that can handle uncertainty and its application

    Yuki Goto; Megumi Fujita; Naoyuki Nide

    Jan. 2014, Technical Report, IPSJ SIG-ICS, 2014-ICS-173 (2)

  • An Attempt to Construct Logical Model of Rational Agents Acting in Continuous State Space

    Naoyuki Nide; Shiro Takata; Megumi Fujita

    Dec. 2013, IEICE Transactions on Information and Systems (Japanese Edition), J96-D (12), 2239 - 2250

  • An architecture for autonomously controlling robot with embodiment in real world

    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe

    Aug. 2013, Proc. of Knowledge Representation and Reasoning in Robotics (workshop at ICLP 2013), 59 - 71

  • Deduction system with oracle for an agent logic dealing with continuous state space

    Naoyuki Nide; Megumi Fujita; Yuki Goto; Shiro Takata

    Jun. 2013, Proc. of 27th JSAI annual conference

  • Stochastic inference with Connection Graph

    Yuki Goto; Naoyuki Nide; Megumi Fujita

    Jun. 2013, Proc. of 27th JSAI annual conference

  • The minimum plan modification of robot's actions under the dynamical environment

    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe

    Jun. 2013, Proc. of 27th JSAI annual conference

  • Learning Atomic Actions Using Attractor States in the Real World

    Shiro Takata; Naoyuki Nide; Yukihiro Hamasuna; Hitoshi Habe; Megumi Fujita

    Feb. 2013, Technical Report, IPSJ SIG-MPS, 2013-MPS-92 (24), 1 - 6

  • An Attempt to Construct Logical Model of Rational Agents Acting in Continuous State Space

    Naoyuki Nide; Shiro Takata; Megumi Fujita

    Oct. 2012, Proc. of JAWS2012

  • Intelligent robot that considers attractor state of actions

    Shiro Takata; Naoyuki Nide

    Oct. 2012, Proc. of JAWS2012

  • BDI Robots Who Adapt to the Diversity of the Real World

    Megumi Fujita; Hiroko Katayama; Naoyuki Nide; Shiro Takata

    Mar. 2012, IPSJ Transactions on MPS, 5 (1), 50 - 64

  • Importing dynamic planner to BDI agent creating flexible decision-making of policies for selecting robot actions in real world

    Megumi Fujita; Hiroko Katayama; Yuko Ojima; Naoyuki Nide

    Our aim is to create a more intelligent form of control for robots that can act autonomously for problem solving in the dynamic environments. The ability to select and modify the action decision policies to achieve the given goals in the most appropriate way as possible, and the easiest and most efficient way of implementation of such policy controls is required. We propose a flexible method for selecting policies of action decision in this paper, using a dynamic planner as the mechanism for determining the policies for action decision making We proved through experimentation that when a robot cannot achieve its goal using a specific policy, it can modify the given policy to achieve that goal with the use of our method. In particular, for robots in the real world, the error of beliefs due to a false recognition of the sensors may be the reason why a robot cannot achieve its goal, although this situation will not come to light in any simulation. Our method is effective for such situations., Alife Robotics Co, Ltd., Jan. 2012, Proc. of 17th International Symposium on Artificial Life and Robotics (AROB 2012), 955 - 958

  • From Reinforcement Learning to Deliberation in the Real World

    Shiro Takata; Naoyuki Nide

    Oct. 2011, Proc. of JAWS2011

  • Toward Imcorporating Emotional Expressions into the Action Decision of BDI agents

    Megumi Fujita; Utako Shimizu; Naoyuki Nide

    Oct. 2011, Proc. of JAWS2011

  • Toward a Construction of the Agent Execution System Based on BDI Logic

    Hiroko Katayama; Megumi Fujita; Naoyuki Nide

    Oct. 2011, Proc. of JAWS2011

  • BDI Robots Who Adapt to the Diversity of the Real World

    Megumi Fujita; Hiroko Katayama; Naoyuki Nide; Shiro Takata

    Sep. 2011, Technical Report, IPSJ SIG-MPS, 2011-MPS-85

  • Toward robot control using emotional expression for action decision

    Megumi Fujita; Utako Shimizu; Naoyuki Nide

    Sep. 2011, Proc. of 29th RSJ annual conference

  • Modeling probabilistic state transitions using TOMATO and its application

    Naoyuki Nide; Shiro Takata; Megumi Fujita

    Jul. 2011, IPSJ Transactions on MPS, 4 (3), 59 - 72

  • The intelligent control of robots in the real world using the autonomous agent model system with the concept of intention

    Megumi Fujita; Hiroko Katayama; Yuko Ojima; Mayu Sumida; Yoshi Koyama; Naoyuki Nide; Shiro Takata

    May 2011, Technical Report, IPSJ SIG-MPS, 2011-MPS-83

  • Modeling reinforcement learning using an extended BDI logic TOMATOes

    Shiro Takata; Naoyuki Nide; Megumi Fujita

    TOMATOes is an extension Of BDI logic, which introduced probabilistic state transitions and fix-point operators. Using TOMATOes, we can strictly describe and infer various properties of rational agents with those extended notions. In this paper, we give a detailed explanation of modeling of reinforcement learning with the Kripke structure used in TOMATOes, called BDI structure, and the description of transaction graph with policy using TOMATOes. In addition, we give some issues on rational agents for practical reasoning with the description of transaction graph using TOMATOes., 2011, Transactions of the Japanese Society for Artificial Intelligence, 26 (1), 156 - 165, doi

    Scientific journal

  • Modeling cooperative actions using an extended BDI logic TOMATOes

    Naoyuki Nide; Shiro Takata; Megumi Fujita

    In multi-agent environments, to model cooperations among autonomous agents, many notions such as mutual beliefs and joint intentions, recognition of possibilities to achieve a goal with cooperation, and team formations, should be formally represented. In the traditional BDI logics, it is hard to treat them uniformly. We show the way to treat them uniformly using the fixed-point operator of the extended BDI logic TOMATOes. We also give some examples to apply it to the proof of some behaviors of multi-agent systems., 2011, Transactions of the Japanese Society for Artificial Intelligence, 26 (1), 13 - 24, doi

    Scientific journal

  • The Frexible Integration of the Planner which is Adaptable to Dynamic Environments and the BDI Agent Architecture

    Megumi Fujita; Naoyuki Nide

    Oct. 2010, Proc. of JAWS2010

  • Formalizing Combination of Dynamic Planner and BDI agent

    Naoyuki Nide; Megumi Fujita; Shiro Takata

    Oct. 2010, Proc. of JAWS2010

  • BDI Agent with Plan Libraries Generated using Rewards

    Shiro Takata; Naoyuki Nide

    Oct. 2010, Proc. of JAWS2010

  • Versatility of subplans obtained from policies

    Naoyuki Nide; Shiro Takata; Hiroko Katayama

    Oct. 2010, Proc. of JAWS2010

  • Modeling various action decision processes of BDI agents

    Naoyuki Nide

    Jun. 2010, Proc. of 24th JSAI annual conference

  • Replanning and Redetermining robot's action based on BDI architecture in the dynamical environment

    Megumi Fujita; Hiroko Katayama; Yuko Ojima; Naoyuki Nide

    Jun. 2010, Proc. of 24th JSAI annual conference

  • Logic Model of Autonomous Agents

    Naoyuki Nide

    May 2010, Journal of Japanese Society for Artificial Intelligence, 25 (3), 419 - 428

  • Constraction of Varsatile Proof Figure Drawing Tools

    Miki Ogawa; Hiroyasu Kamo; Naoyuki Nide

    Jan. 2010, Proc. of 51th Programming Symposium, 73 - 78

  • Realization of flexible determination of actions in the real world using BDI-based robot

    Megumi Fujita; Yuko Ojima; Hiroko Katayama; Naoyuki Nide

    Oct. 2009, Proc. of JAWS2009, 354 - 361

  • Modeling Reinforcement Learning using an Extended BDI logic TOMATOes

    Shiro Takata; Naoyuki Nide; Megumi Fujita

    Oct. 2009, Proc. of JAWS2009, 131 - 138

  • Modeling cooperative actions using an extended BDI logic TOMATOes

    Naoyuki Nide; Shiro Takata; Megumi Fujita

    Oct. 2009, Proc. of JAWS2009, 429 - 436

  • Modeling probabilistic state transitions using TOMATO

    Naoyuki Nide; Shiro Takata; Megumi Fujita

    Sep. 2009, Proc. of 74th JSAI SIG-FPAI, 57 - 64

  • BDI logic with probabilistic transition and fixed-point operator

    Naoyuki Nide; Shiro Takata; Megumi Fujita

    Aug. 2009, Proc. of CLIMA '09, 71 - 86

  • Integration of BDI and Reinforcement Learning Using An Extended BDI logic

    Shiro Takata; Naoyuki Nide

    Mar. 2009, IPSJ SIG Technical Report, 2009-MPS-73, 57 - 60

  • Design and implementation of planning system for BDI agent which can fit into dynamical environment

    Megumi Fujita; Naoyuki Nide

    Oct. 2008, Proc. of JAWS2008

  • Basic design and implementation of multiagent system that enables reflective action underdynamic environment

    Mariko Noguchi; Naoyuki Nide

    Oct. 2008, Proc. of IPSJ Kansai-branch convention 2008, 225 - 228

  • BDI logic with probabilistic transition and fixed operator

    Naoyuki Nide

    Oct. 2008, Proc. of JAWS2008

  • Basic design and implementation of multiagent system that enables reflective action under dynamic environment

    Mariko Noguchi; Naoyuki Nide

    Oct. 2008, Proc. of JAWS2008

  • Design and implementation of planning system for BDI agent which can fit into dynamical environment

    Megumi Fujita; Naoyuki Nide

    Oct. 2008, Proc. of IPSJ Kansai-branch convention 2008, 229 - 232

  • Construction of a Paper Classification System Using SVM

    Naomi Ashida, Masami Takata, Akira Sasaki, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe

    2007, Proc. of PDPTA 2007, 979 - 985

  • Auto Classification of Feces for Health Condition Analysis

    Miho Komatsubara, Chisato Ishikawa, Masami Takata, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe

    2007, Proc. of PDPTA 2007, 759 - 765

  • 3D Visualization System Gateau for Atmospheric Science

    Eriko Touma, Katsuyuki Noguchi, Masami Takata, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe

    2007, Proc. of PDPTA 2007, 766 - 772

  • Formal Verification Method of Realizing a Commitment Strategy in BDI Architecture

    Tadashi Araragi; Shiro Takata; Naoyuki Nide

    Jun. 2006, The IEICE transactions on information and systems, J89-D (6), 1213 - 1224

  • Design of an Integrated Database System for Short-Term arthquake Prediction

    Chisato Ishikawa, Hiroyasu Kamo, Naoyuki Nide, and Kazuki Joe

    2006, Proc. of PDPTA 2006, 853 - 859

  • A 3D Visualization System for Intuitive Analysis of Atmospheric Science

    Eriko Touma, Kazuko Yamauchi, Hiroyasu Kamo, Naoyuki Nide, Sachiko Hayashida, and Kazuki Joe

    2006, Proc. of PDPTA 2006, 860 - 866

  • Design and Implementation of Gateau API for HDF-EOS

    Kazuko Yamauchi, Eriko Touma, Hiroyasu Kamo, Naoyuki Nide, Sachiko Hayashida and Kazuki Joe

    2006, Proc. of PDPTA 2006, 867 - 873

  • Another RSS Reader with Visualization of Structured Documents and Effective Navigation

    Satomi Hara, Hiroyasu Kamo, Naoyuki Nide and Kazuki Joe

    2006, Proc. of PDPTA 2006, 874 - 880

  • make in Prolog

    Kotoyu Sasayama; Mariko Noguchi; Naoko Fujimoto; Hiroyasu Kamo; Naoyuki Nide

    Jan. 2006, Proc. of 47th Programming Symposium, 161 - 166

  • Logics for handling intentions

    Naoyuki Nide; Shiro Takata

    Jul. 2005, Journal of Japanese Society for Artificial Intelligence, 20 (4), 425 - 432

  • Agent architecture based on intention

    Shiro Takata; Naoyuki Nide

    Jul. 2005, Journal of Japanese Society for Artificial Intelligence, 20 (4), 433 - 440

  • Toward realization of BDI architecture that uses a combination of deliberation and reinforcement learning in selecting actions

    Naoyuki Nide; Shiro Takata; Hiroshi Yamakawa; Kazuteru Miyazaki; Masayoshi Ohta

    Jun. 2005, Proc. of 19th JSAI annual conference

  • A Deduction System of Extended BDI logic to Handle Mutual Belief

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    Jan. 2005, IPSJ Transactions on MPS, 46 (SIG2(TOM11)), 85 - 99

  • Correspondence between BDI model and world model in reinforcement learning

    Naoyuki Nide; Shiro Takata; Hiroshi Yamakawa; Kazuteru Miyazaki; Masayoshi Ohta

    Oct. 2004, Proc. of JAWS2004, 378 - 385

  • An achievement method of BDI agent who practically reasons about the skill acquired using reinforcement learning

    Shiro Takata; Naoyuki Nide; Hiroshi Yamakawa; Kazuteru Miyazaki; Masayoshi Ohta

    Oct. 2004, Proc. of JAWS2004, 517 - 524

  • Generation of hierarchical sub-plan with acquired policy by reinforcement learning

    Masayoshi Ohta; Hiroshi Yamakawa; Kazuteru Miyazaki; Shiro Takata; Naoyuki Nide

    Oct. 2004, Proc. of JAWS2004, 511 - 516

  • 強化学習とBDIの統合について―カヌー・レーシングを例題とした統合手法の考察―

    高田 司郎; 山川 宏; 宮崎 和光; 新出 尚之; 長行 康男; 酒井 隆道

    Jun. 2004, 第18回人工知能学会全国大会論文集

  • Reasoning About Mental State Compatibilities of Rational Agents and Its Applications

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    Aug. 2003, The IEICE Transactions on Information and Systems (Japanese Edition), J86-D-1 (8), 514 - 523

  • Design of Rational Agents for Performing Speech Acts Intentionally in Multi-Agent Environments

    Shiro Takata; Yoshime Igarashi; Naoyuki Nide; Mika Enomoto; Kenji Mase; Ryohei Nakatsu

    May 2003, Systems and Computers in Japan, 34 (8), 77 - 88

  • A Deduction System of Extended BDI logic to Handle Mutual Belief

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    Jan. 2003, IPSJ SIG Technical Report, 2003-MPS-44, 21 - 24

  • Deduction Systems for BDI Logics using Sequent Calculus

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    Japan Society for Software Science and Technology, 2003, Computer Software, 20 (1), 66 - 83, doi

    Scientific journal

  • Reasoning about mental state compatibilities of rational agents and its applications

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    Nov. 2002, Proc. of JAWS2002, 463 - 470

  • A multimodal interface for rational agents

    Shiro Takata; Naoyuki Nide; Shinjiro Kawato; Kenji Mase

    Nov. 2002, Proc. of JAWS2002, 345 - 352

  • A Deduction System to Handle Mutual Belief and Cooperation

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    Sep. 2002, Proc. of 19th JSSST annual conference

  • A Verification Method for a Commitment Strategy of the BDI Architecture

    Tadashi Araragi; Shiro Takata; Naoyuki Nide

    Aug. 2002, Proc. of CLIMA '02, 109 - 122

  • Deduction Systems for BDI Logics with Mental State Consistency

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    Aug. 2002, Proc. of CLIMA '02, 123 - 135

  • Deduction Systems for BDI Logics Using Sequent Calculus

    Naoyuki Nide; Shiro Takata

    Jul. 2002, Proc. of AAMAS '02, 928 - 935

  • Deduction Systems for BDI Logics Using Sequent Calculus

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    Japan Society for Software Science and Technology, Nov. 2001, 第10回マルチエージェントと協調計算ワークショップ(MACC2001)論文集, 10 - 20

  • Design of Rational Agents for Performing Speech Acts Intentionally in Multi-Agent Environments

    Shiro Takata; Yoshime Igarashi; Naoyuki Nide; Mika Enomoto; Kenji Mase; Ryohei Nakatsu

    Aug. 2001, The IEICE Transactions on Information and Systems (Japanese Edition), J84-D-I (8), 1191 - 1201

  • Design of rational agents who interact and communicate with other agents

    Shiro Takata; Naoyuki Nide; Yoshime Igarashi; Kenji Mase

    Mar. 2001, Proc. of Interaction 2001 (IPSJ symposium), 187 - 194

  • Extended BDI architecture

    Shiro Takata; Naoyuki Nide; Yoshime Igarashi; Kenji Mase

    Dec. 2000, Proc. of MACC2000

  • FIPA + BDI Architecture = Implementation of Rational Agent

    Yoshime Igarashi; Shiro Takata; Naoyuki Nide; Kenji Mase

    Nov. 2000, IPSJ SIG Technical Report, 2000-MPS-32, 21 - 24

  • Design of Rational Agents for Performing Speech Acts Intentionally in Multi-Agent Environments

    Shiro Takata; Yoshime Igarashi; Naoyuki Nide; Mika Enomoto; Kenji Mase; Ryohei Nakatsu

    Nov. 2000, ソフトウェアエージェントとその応用ワークショップ(SAA2000)論文集, 125 - 132

  • 個人化エージェントの意図的な情報フィルタリングについて

    五十嵐 新女; 高田 司郎; 間瀬 健二; 新出 尚之

    Oct. 2000, 情報処理学会第61回全国大会講演論文集, 2-109 - 2-110

  • BDI Architecture with Dynamic Commitment Strategies

    Shiro Takata; Naoyuki Nide; Yoshime Igarashi; Kenji Mase

    Sep. 2000, IPSJ SIG Technical Report, 2000-MPS-31, 45 - 48

  • The User Interface for Multilingual Input in a Windowing Environment Using Automatons

    Hideki Tsuiki; Naoyuki Nide; Hiroshi Kuribayashi; Masato Morisaki

    1993, Keio Univ. IEI-RM, 93-007

  • RACCO: A model logic programming language for Writing Models of Real-Time Process-Control Systems

    Takashi Hattori; Reiji Nakajima; Naoyuki Nide; Takashi Sakuragawa; Kazuki Takenaka

    Academic Press, Inc. and Iwanami Shoten, Publishers, 1992, Advances in Software Science and Technology, 3, 53 - 70

  • Excutable and Formalized Logic Programming Language Based on Time Interval Logic

    Naoyuki Nide

    Japan Society for Software Science and Technology, 1991, Computer Software, 8 (5), 57 - 78

  • MOA---A Model of Computer Environment and Its Interface for Supporting Highly Intelligent Human Work

    Hiroyuki Tominaga; Naoyuki Nide

    Springer Verlag, 1991, Distributed Environments---Software Paradigms and Workstations, 209 - 241

  • Toward a Formal Description for User-Interface of Hypertext Systems

    Hiroyuki Tominaga; Naoyuki Nide

    1989, IPSJ SIG Notes Software Foundation

  • Overview of GMW+Wnn System

    Masami Hagiya; Takashi Hattori; Akitoshi Morishima; Reiji Nakajima; Naoyuki Nide; Ryotaro Okazaki; Takashi Sakuragawa; Takashi Suzuki; Hideki Tsuiki; Taiichi Yuasa

    Academic Press, Inc. and Iwanami Shoten, Publishers, 1989, Advances in Software Science and Technology, 1, 133 - 156

  • 区間時制論理に基づいた実行可能かつ公理的体系を持つ論理型言語AYA

    新出 尚之

    1988, 日本ソフトウェア科学会第5回大会論文集, 341 - 344

  • Overview of GMW+Wnn System

    Masami Hagiya; Takashi Hattori; Akitoshi Morishima; Reiji Nakajima; Naoyuki Nide; Ryotaro Okazaki; Takashi Sakuragawa; Takashi Suzuki; Hideki Tsuiki; Taiichi Yuasa

    1988, Proc. of 2nd IEEE International Conference on Computer Workstations, 170 - 177

  • RACCO: A Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems

    Takashi Sakuragawa; Kazuki Takenaka; Reiji Nakajima; Naoyuki Nide; Takashi Hattori

    Japan Society for Software Science and Technology, 1988, Computer Softwear, 5 (3), 22 - 33

  • Wnn日本語入力システムの仮名漢字変換について

    鈴木 隆; 立木 秀樹; 新出 尚之

    1987, 日本ソフトウェア科学会第4回大会論文集, 99 - 102

  • Deduction systems for BDI logics with mental state consistency

    Naoyuki Nide; Shiro Takata; Tadashi Araragi

    BDI Logics, introduced by Rao et al., have been used as the theoretical basis of specification and implementation of rational agents. The aim of our research is to make full use of the expressive power of BDI Logics as executable specification languages of rational agents. To this end, we previously presented deduction systems for CTL-based propositional BDI Logics using sequent calculus. Since these systems have a decision algorithm that is extended from Wang's algorithm, they are suitable for applications such as automatic proving. However, they do not incorporate mental state consistency features, which are important for dealing with rational agents. In this paper, we extend our deduction systems by introducing mental state consistency features and explain their soundness and completeness. This approach allows us to check and prove the specifications and properties described by BDI Logics for rational agents. © 2002 Published by Elsevier Science B.V., Oct. 2002, Electronic Notes in Theoretical Computer Science, 70 (5), 147 - 159, doi

    International conference proceedings

  • A verification method for a commitment strategy of the BDI architecture

    Tadashi Araragi; Shiro Takata; Naoyuki Nide

    We present a method to solve a verification problem that arises in implementing a commitment strategy for the BDI architecture. This problem introduces a new aspect of verification such that a state transition depends on a verification done at each state. We formalize this problem and give a decision procedure for the verification. © 2002 Published by Elsevier Science B.V., Oct. 2002, Electronic Notes in Theoretical Computer Science, 70 (5), 133 - 146, doi

    International conference proceedings

Books etc

  • Mathematical Logic for Rational Agents

    Toru Kato; Shiro Takata; Naoyuki Nide

    Corona Publishing, Oct. 2014, url (ISBN: 9784339024890)

  • Introduction to Wnn+GMW

    Kyoto Artificial Brain Associates

    Iwanami Shoten, Publishers, Sep. 1990 (ISBN: 9784000050784)

  • Common Lisp Handbook

    Taiichi Yuasa(ed.); Masami Hagiya(ed.); Takashi Suzuki; Hideki Tsuiki; Naoyuki Nide

    Iwanami Shoten, Publishers, Jul. 1987 (ISBN: 9784000076906)

Presentations

  • BDI --- model, architecture, logic ---

    Naoyuki Nide

    5th Whole Brain Architecture Seminar, Jul. 2014, 全脳アーキテクチャ勉強会

  • BDI Robots Who Adapt to the Diversity of the Real World

    Megumi Fujita; Hiroko Katayama; Yuko Ojima; Naoyuki Nide

    第28回記号論理と情報科学研究集会(SLACS2011), Sep. 2011

  • 汎用的な証明図作成支援ソフトの構築

    小川 美樹; 鴨 浩靖; 新出 尚之

    第28回記号論理と情報科学研究集会(SLACS2011), Sep. 2011

  • 動的環境におけるBDIエージェント搭載ロボットの動的プランニングによる再行動決定の設計及び実装

    藤田 恵; 小島 侑子; 片山 寛子; 新出 尚之

    ロボティクスフォーラム2010, Mar. 2010

  • mipl〜make in Prolog〜の設計方針及び実装について

    野口 真理子; 藤本 尚子; 鴨 浩靖; 新出 尚之

    第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007), Mar. 2007

  • Implementation of Make in Prolog

    Naoko Fujimoto; Mariko Noguchi; Hiroyasu Kamo; Naoyuki Nide

    代数, 論理, 幾何と情報科学研究集会(ALGI17), Oct. 2006

  • Prologによるmakeの実装〜Mipl〜

    野口 真理子; 藤本 尚子; 鴨 浩靖; 新出 尚之

    第23回記号論理と情報科学研究集会(SLACS2006), Sep. 2006

  • 異なる状況下で獲得した政策を基にした動的プランニングについて

    高田 司郎; 新出 尚之; 太田 正幸; 山川 宏; 宮崎 和光

    第19回人工知能学会全国大会, Jun. 2005

  • 合理的エージェントの論理と(BDI)アーキテクチャ

    高田 司郎; 新出 尚之

    JAWS2003 デジタルポスターセッション・チュートリアル, Oct. 2003

  • パネルディスカッション: GNU環境の活用方法

    新出 尚之(パネラーとして参加)

    第12回NT-Committee2関西勉強会, Aug. 2001, システム制御情報学会・情報システムの管理・運用と利用(MUIS)研究分科会、NT-Committee2(共催), url

Association Memberships

  • IEEE

  • The Japanese Society for Artificial Intelligence

  • The Robotics Society of Japan

  • The Institute of Electronics, Information and Communication Engineers

  • Japan Society for Software Science and Technology

Works

  • 汎用OSとUNIXの並行運用システムにおける両OS間のリモートジョブシステムの構築とそのシステム管理および情報処理教育への応用

    1991, - 1992

  • 汎用OSでの電子メール・電子掲示板システムの構築および外部ネットワークとの接続

    1991, - 1992

  • MML言語による音楽(MIDI)ファイル作成システムの共同開発

  • UNIX上で広く用いられているソフトウェアやデバイスドライバの他システムへの移植やパッチなどの開発と公開

  • MS-DOS上の互換コマンド、スクリプト言語の実行支援ツールなどの開発と公開



Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.