Rchr
J-GLOBAL ID：200901070275135107   Update date: Jan. 30, 2024

TAISUKE SATO

サトウ タイスケ | TAISUKE SATO
Affiliation and department：
National Institute of Informatics

About National Institute of Informatics


Research field  (1)： Intelligent informatics
Research keywords  (30)： 機械学習 ,  アブダクション ,  知識発見 ,  人工知能 ,  変分ベイズ ,  高速パターンマッチング ,  帰納推論 ,  統計数学 ,  学習と知識獲得 ,  EMアルゴリズム ,  決定木 ,  データマイニングアルゴリズム ,  発見 ,  ILP ,  PROSM ,  確率的モデリング言語 ,  記号的統計モデリング ,  BDD ,  H-map ,  確率計算 ,  脳機能画像 ,  統計的記号モデリング ,  拡張アブダクション ,  遺伝 ,  BDD-EMアルゴリズム ,  抽象値 ,  PRISM ,  学習 ,  情報システム ,  一般化内側・外側確率アルゴリズム
Research theme for competitive and other funds  (15)：
  • 2011 - 2014 Uncertainty informaion processing by statistical abduction
  • 2008 - 2011 Inference-based Hypothesis-finding and its Application to Systems Biology
  • 2008 - 2010 Uncertainty inference by probabilistic models
  • 2005 - 2007 Knowledge Integration from Uncertain Infromation
  • 2001 - 2004 Data gathering and preprocessing apprentice
Show all
Papers (74)：
  • Taisuke Sato, Katsumi Inoue. Differentiable learning of matricized DNFs and its application to Boolean networks. Machine Learning. 2023
  • Taisuke Sato, Akihiro Takemura, Katsumi Inoue. Towards end-to-end ASP computation. CoRR. 2023. abs/2306.06821
  • Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue. An Efficient Reasoning Method on Logic Programming Using Partial Evaluation in Vector Spaces. Journal of Logic and Computation. 2021. 31. 5. 1298-1316
  • Chiaki Sakama, Katsumi Inoue, Taisuke Sato. Logic programming in tensor spaces. Annals of Mathematics and Artificial Intelligence. 2021. 89. 12. 1133-1153
  • Taisuke Sato, Chiaki Sakama, Katsumi Inoue. From 3-valued semantics to supported model computation for logic programs in vector spaces. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020; Valletta, Malta, 22-24 February 2020). 2020. to appear
ｍore...
MISC (46)：
  • 井上 克巳, 坂間 千秋, 佐藤 泰介. レクチャーシリーズ:「人工知能の今」〔第4 回〕推論とAI プログラミング. 人工知能. 2019. 34
  • Katsumi Inoue, Chiaki Sakama, Taisuke Sato. Reasoning and Programming in Artificial Intelligence (in Japanese). Journal of the Japanese Society for Artificial Intelligence. 2019. 34. 5. 703-713
  • Embedding Tarskian semantics into linear spaces. 2016. 101. 15-20
  • 石畠正和, 佐藤泰介. モンテカルロ木探索を利用した制約付き分布からの効率的なサンプリング法. 人工知能学会人工知能基本問題研究会資料. 2013. 88th. 125-131
  • Bayesian Inference in Logic-based Probabilistic Modeling by a General MCMC Method. 2011. 83. 21-26
ｍore...
Books (2)：
  • 情報基礎数学
    昭晃堂 2007 ISBN:9784785631604
  • Statistical abduction with tabulation in Computational Logic: From Logic Programming into the Future
    Springer 2002
Lectures and oral presentations  (18)：
  • GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー
    (2022年度人工知能学会全国大会(第36回) 2022)
  • 実ネットワークに対する、各種リンク予測手法の適正について
    (2009年度人工知能学会全国大会(第23回)論文集 2009)
  • Evaluating abductive hypotheses using an EM algorithm on BDDs
    (The 21st International Joint Conference on Artificial Intelligence (IJCAI-2009) 2009)
  • Generative modeling by PRISM
    (The 25th International Conference on Logic Programming (ICLP-2009), 2009)
  • Evaluating abductive hypotheses using an EM algorithm on BDDs
    (The 21st International Joint Conference on Artificial Intelligence (IJCAI-2009) 2009)
ｍore...
Education (2)：
  • - 1975 東京工業大学大学院 理工学研究科 電気
  • - 1973 Tokyo Institute of Technology School of Engineering
Professional career (1)：
  • Doctor of Engineering
Work history (2)：
  • 1995/04 - 2015/03 Tokyo Institute of Technology Graduate School of Information Science and Engineering, Department of Computer Science, Graduate School of Information Science and Engineering Computer Science Information Science and Engineering Professor
  • 1988 - 1995 :電子技術総合研究所 室長
Committee career (1)：
  • 1996 - 1997 人工知能学会 理事
Awards (7)：
  • 2013 - 人工知能学会論文賞
  • 2012 - Association for Logic Programming Distinguished Research Award
  • 2001 - 言語処理学会論文賞
  • 1995 - Best Paper Restropective Award, Association for Logic Programming
  • 1995 - Best Paper Restropective Award, Association for Logic Programming
Show all
Association Membership(s) (5)：
JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  AAAI ,  情報処理学会 ,  人工知能学会 ,  EATCS
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM