研究活動

• 科研
  • 「不誠実なエージェントに関する研究」, 平成24年度科学研究費補助金(基盤研究Ｃ)：代表，4100千円、研究期間：2012年4月〜2016年3月

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

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

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

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

• 科研
  • 「マルチエージェントシステムにおける社会知能の推論メカニズムに関する研究」, 平成20年度科学研究費補助金(基盤研究Ｃ)：代表，3700千円、研究期間：2008年4月〜2012年3月

  • 「推論による仮説発見とシステム生物学への応用」, 平成20年度科学研究費補助金(基盤研究Ａ)：分担，900千円、研究期間：2008年4月〜2012年3月

  • 「知的エージェント社会における社交的行動の計算論理に関する研究」, 平成18年度科学研究費補助金(基盤研究Ｃ)：代表，3300千円、研究期間：2005年4月〜2008年3月

  • 「デフォルト知識を含む論理プログラムの順序化と帰納推論への応用に関する研究」, 平成15年度科学研究費補助金(基盤研究Ｃ)：代表, 3600千円、研究期間：2003年4月〜2005年3月

  • 「先行投機的処理機能を持つマルチエージェントシステムの構築」、 平成13年度科学研究費補助金(基盤研究Ａ)：分担、2700千円、研究期間：2001年4月〜2004年3月

  • 「推論による知識発見に関する研究」、 平成12年度科学研究費補助金(特定領域研究Ａ)：分担、2400千円、研究期間：2000年4月〜2001年3月

  • 「非単調帰納論理プログラミングにおける逆伴意法に関する研究」、 平成12年度科学研究費補助金(基盤研究Ｃ)：代表、2500千円、研究期間：2000年4月〜2002年3月

  • 「不完全通信環境下における論理型マルチエージェントシステムの構築」、 平成11年度科学研究費補助金(基盤研究B)：分担、1500千円、研究期間：1999年4月〜2001年3月

  • 「アブダクションと帰納推論の融合による知識発見に関する研究」、 平成11年度科学研究費補助金(特定領域研究Ａ)：代表、2700千円、研究期間：1999年4月〜2000年3月

  • 「アブダクションを使った帰納的学習に関する研究」、 平成10年度科学研究費補助金(奨励研究Ａ)：代表、1500千円、研究期間：1998年4月〜1999年3月

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

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

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