Japan

関連リンク

関連リンク

関連リンク

関連リンク

サイト内の現在位置

NECの研究者

2019年10月31日

本浦 庄太 (Shota Motoura)

本浦 庄太の写真

博士 (理学)

研究分野

  • 数理論理学
  • 対話システム

論文

学位論文

  • A General Framework for Dynamic Epistemic Logic (指導教員:照井一成)

査読付きジャーナル

  • Katsumi Hisao, Koichiro Yoshino, Takuya Hiraoka, Kosuke Akimoto, Kazeto Yamamoto, Shota Motoura, Kunihiko Sadamasa, Satoshi Nakamura. Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System (in Japanese). Journal of The Japanese Society for Artificial Intelligence, 2020.
  • Shota Motoura, "A general framework for dynamic epistemic logic: towards canonical correspondences."
    Journal of Applied Non-Classical Logics 27(1-2):50-89, 2017.

学会発表/国際会議

査読付き国際会議

  • Hisao Katsumi, Takuya Hiraoka, Koichiro Yoshino, Kazeto Yamamoto, Shota Motoura, Kunihiko Sadamasa and Satoshi Nakamura. Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System. The Thirty-Third AAAI Conference on Artificial Intelligence, Workshop on Reasoning and Learning for Human-Machine Dialogues (DEEP-DIAL 2019), January, 2019.
  • Takuya Hiraoka, Shota Motoura, and Kunihiko Sadamasa. Detecticon: A Prototype Inquiry Dialog System. the Ninth International Workshop on Spoken Dialogue Systems Technology (IWSDS 2018), 2018/05/16.
  • Shota Motoura, Kazeto Yamamoto, Shumpei Kubosawa, and Takashi Onishi. Translating MFM into FOL: towards plant operation planning. Proceedings of the Third International Workshop on Functional Modelling for Design and Operation of Engineering Systems, 24 - 25 May, 2018, Kurashiki, Japan
  • Shota Motoura, "A General Framework for Modal Correspondence in Dynamic Epistemic Logic", In Proceedings of 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015), LNCS 9394, pp. 282-294, Taipei, Taiwan, 28-30 October 2015

査読なし研究集会

  • Hisao Katsumi, Takuya Hiraoka, Shota Motoura, Kazeto Yamamoto, Kunihiko Sadamasa, Koichiro Yoshino, Satoshi Nakamura. 深層強化学習を用いた論証構築のための情報探索対話戦略の最適化 (In Japanese). RSJ, 2018.
  • 勝見久央, 平岡拓也, 本浦庄太, 山本風人, 定政邦彦, 吉野幸一郎, 中村哲. 論証構築のための情報探索対話戦略の最適化. 言語処理学会第24回年次大会, 2018.
  • Shota Motoura, "A General Framework for Dynamic Epistemic Logic" [Invited], Prague Workshop on Nonclassical Logics, Prague, Czech Republic, 9 December 2016
  • Shota Motoura, "A General Framework for Modal Correspondence in Dynamic Epistemic Logic" [Invited], Epistemic logic + Modal Logic Workshop, Tokyo, Japan, 4-5 December 2015
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic", SLAGICS 2013: ALGI and SLACS Join Forces, Kyoto, Japan, 24-26 September 2013
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic" [Invited], Workshop on Epistemic Logic and Game Theory, Tsukuba, Japan, 8-9 March 2013
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic", 47th Mathematical Logic Group Meeting, Niigata, Japan, 16-18 November 2012

略歴

2006年3月
京都教育大学附属高等学校 卒業
2011年3月
慶應義塾大学理工学部数理科学科 (数学専攻) 卒業
2013年3月
京都大学大学院理学研究科数学・数理解析専攻 (数理解析系) 修士課程 修了
2017年3月
京都大学大学院理学研究科数学・数理解析専攻 (数理解析系) 博士後期課程 修了
2017年4月
NEC中央研究所 入所

お問い合わせ

Escキーで閉じる 閉じる