研究活動

• 共同研究
  • 「テンソル空間における論理プログラミングの形式化」, 平成29年度 国立情報学研究所共同研究(共同研究者：井上克巳 国立情報学研究所教授、佐藤泰介 産総研)、 研究期間：2017年4月～2018年3月

  • 「背景知識を用いた知識グラフの線形空間における論理推論」, 平成28年度 国立情報学研究所共同研究(共同研究者：井上克巳 国立情報学研究所教授、佐藤泰介 産総研)、 研究期間：2016年4月～2017年3月

  • 「予測不可能性の論理に関する研究」, 平成24年度 国立情報学研究所共同研究(共同研究者：井上克巳 国立情報学研究所教授)、 研究期間：2012年4月～2013年3月

  • 「システム生物学における仮説発見に関する研究」, JST戦略的国際科学技術協力推進事業　日仏研究交流(研究代表者：井上克巳 国立情報学研究所教授)、 研究期間：2007年4月～2010年3月

  • 「知的エージェントの計算論理に関する研究」, 国立情報学研究所共同研究(共同研究者：井上克巳 国立情報学研究所教授)、 研究期間：2005年4月～2008年3月

  • 「定理証明器の拡張による高次推論システムの実現」, 日本学術振興会日豪科学協力事業、共同研究 (研究代表者：佐藤健 国立情報学研究所教授)、研究期間：2002年4月～2004年3月

• 科研
  • 「知識表現・推論と機械学習の統合によるロバストAIの実現」, 基盤研究Ａ(分担)、研究期間：2021年4月～2025年3月

  • 「テンソル空間における巨大知識グラフのための高次推論技術の開発」, 基盤研究Ｂ(代表)、研究期間：2018年4月～2022年3月

  • 「状態遷移列からの関係ダイナミクス学習」, 基盤研究Ａ(分担)、研究期間：2017年4月～2021年3月

  • 「不誠実なエージェントに関する研究」, 基盤研究Ｃ(代表)、研究期間：2012年4月～2016年3月

  • 「論理プログラム表現に基づくセルオートマトン遷移規則学習」, 挑戦的萌芽研究(分担)、研究期間：2014年4月～2016年3月

  • 「マルチエージェントシステムにおける社会知能の推論メカニズムに関する研究」, 基盤研究Ｃ(代表)、研究期間：2008年4月～2012年3月

  • 「推論による仮説発見とシステム生物学への応用」, 基盤研究Ａ(分担)、研究期間：2008年4月～2012年3月

  • 「知的エージェント社会における社交的行動の計算論理に関する研究」, 基盤研究Ｃ(代表)、研究期間：2005年4月～2008年3月

  • 「デフォルト知識を含む論理プログラムの順序化と帰納推論への応用に関する研究」, 基盤研究Ｃ(代表)、研究期間：2003年4月～2005年3月

  • 「先行投機的処理機能を持つマルチエージェントシステムの構築」、 基盤研究Ａ(分担)、研究期間：2001年4月～2004年3月

  • 「推論による知識発見に関する研究」、 特定領域研究Ａ(分担)、研究期間：2000年4月～2001年3月

  • 「非単調帰納論理プログラミングにおける逆伴意法に関する研究」、 基盤研究Ｃ(代表)、研究期間：2000年4月～2002年3月

  • 「不完全通信環境下における論理型マルチエージェントシステムの構築」、 基盤研究Ｂ(分担)、研究期間：1999年4月～2001年3月

  • 「アブダクションと帰納推論の融合による知識発見に関する研究」、 特定領域研究Ａ(代表)、研究期間：1999年4月～2000年3月

  • 「アブダクションを使った帰納的学習に関する研究」、 奨励研究Ａ(代表)、研究期間：1998年4月～1999年3月

• その他
  • 「エージェント間交渉の帰納推論による定式化」, 平成19年度 人工知能研究振興財団 助成研究(個人)，研究期間：2008年1月～2009年12月

  • 「不確実な情報環境下における知能ロボットの概念学習アルゴリズムの研究」、 平成14年度大学特別経費(個人), 研究期間：2002年4月～2003年3月

  • 「論理型大規模知識ベースにおける不完全知識の処理方式に関する研究」、 平成6年度人工知能研究振興財団助成研究(個人)、研究期間：1994年4月～1996年3月