SATO TAISUKE

Profile Information

Affiliation: National Institute of Informatics

Degree: Doctor of Engineering

Researcher number: 90272690
J-GLOBAL ID: 200901070275135107
researchmap Member ID: 1000181831

論理的なアプローチと確率的なアプローチを融合して，
人工知能の研究を行っています．

Research Interests

Research Areas

Informatics / Intelligent informatics /

Research History

Apr, 1995 - Mar, 2015

Professor, Information Science and Engineering, Tokyo Institute of Technology Graduate School of Information Science and Engineering, Department of Computer Science, Graduate School of Information Science and Engineering Computer Science
1988 - 1995

:電子技術総合研究所室長

Education

Committee Memberships

1996 - 1997

理事, 人工知能学会

Awards

2013

人工知能学会論文賞

佐藤泰介
2012

Distinguished Research Award, Association for Logic Programming

SATO TAISUKE
2001

言語処理学会論文賞
1995

Best Paper Restropective Award, Association for Logic Programming
1995

Best Paper Restropective Award, Association for Logic Programming
1994

人工知能学会論文賞
1987

日本ソフトウェア科学会高橋奨励賞受賞

Papers

Differentiable learning of matricized DNFs and its application to Boolean networks

Taisuke Sato, Katsumi Inoue

Machine Learning, Jun 21, 2023
Towards end-to-end ASP computation.

Taisuke Sato, Akihiro Takemura, Katsumi Inoue

CoRR, abs/2306.06821, 2023
An Efficient Reasoning Method on Logic Programming Using Partial Evaluation in Vector Spaces

Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue

Journal of Logic and Computation, 31(5) 1298-1316, Jul, 2021 Peer-reviewed
Logic programming in tensor spaces.

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

Annals of Mathematics and Artificial Intelligence, 89(12) 1133-1153, 2021
From 3-valued semantics to supported model computation for logic programs in vector spaces

Taisuke Sato, Chiaki Sakama, Katsumi Inoue

In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020; Valletta, Malta, 22-24 February 2020), to appear, Feb, 2020 Peer-reviewed
Computing Logic Programming Semantics in Linear Algebra

Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue

In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018; Hanoi, Vietnam, November 18-20, 2018), Lecture Notes in Artificial Intelligence,, 11248 32-48, Nov, 2018 Peer-reviewed
Partial Evaluation of Logic Programs in Vector Spaces

Chiaki Sakama, Hien Nguyen, Taisuke Sato, Katsumi Inoue

FLOC 2018 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), arXiv:, 1811.11435, Jul, 2018 Peer-reviewed
Abducing Relations in Continuous Spaces

Taisuke Sato, Katsumi Inoue, Chiaki Sakama

In: Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18; Stockholm, Sweden, July 13-19, 2018), 1956-1962, Jul, 2018 Peer-reviewed
Learning to rank in PRISM

Ryosuke Kojima, Taisuke Sato

International Journal of Approximate Reasoning, 93 561-577, Feb 1, 2018 Peer-reviewed
Linear Algebraic Characterization of Logic Programs

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

In: Gang Li, et al. (eds.), Knowledge Science, Engineering and Management: Proceedings of the 10th International Conference (KSEM 2017; Melbourne, VIC, Australia, August 19-20, 2017), Lecture Notes in Artificial Intelligence,, 10412 520-533, Aug, 2017 Peer-reviewed
A linear algebraic approach to datalog evaluation

Taisuke Sato

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 17(3) 244-265, May, 2017 Peer-reviewed
Formalization of resilience for constraint-based dynamic systems.

Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama

J. Reliable Intelligent Environments, 2(1) 17-35, 2016 Peer-reviewed
Goal and Plan Recognition via Parse Trees Using Prefix and Infix Probability Computation

Ryosuke Kojima, Taisuke Sato

INDUCTIVE LOGIC PROGRAMMING, ILP 2014, 9046 76-91, 2015 Peer-reviewed
Infinite probability computation by cyclic explanation graphs

Taisuke Sato, Philipp Meyer

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 14(6) 909-937, Nov, 2014 Peer-reviewed
A plan recognition method using prefix computation in Web access log analysis

Ryosuke Kojima, Taisuke Sato

Transactions of the Japanese Society for Artificial Intelligence, 29(3) 301-310, 2014 Peer-reviewed
A Logic-based Approach to Generatively Defined Discriminative Modeling.

Taisuke Sato, Keiichi Kubota, Yoshitaka Kameya

CoRR, abs/1410.3935, 2014 Peer-reviewed
Discretized Kinetic Models for Abductive Reasoning in Systems Biology

Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato

In: Ana Fred, Joaquim Filipe, and Hugo Gamboa (eds.), Biomedical Engineering Systems and Technologies: Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science, 273 141-154, Jan, 2013 Peer-reviewed
Markov Chain Monte Carlo for Bayesian Inference via Propositionalized Probability Computation

Ishihata Masakazu, Sato Taisuke

Transactions of the Japanese Society for Artificial Intelligence, 28(2) 230-242, 2013
Viterbi training in PRISM

Taisuke Sato, Keiichi Kubota

CoRR, abs/1303.5659, 2013 Peer-reviewed
Tabling for infinite probability computation

Taisuke Sato, Philipp Meyer

Leibniz International Proceedings in Informatics, LIPIcs, 17 348-358, 2012 Peer-reviewed

Misc.

レクチャーシリーズ：「人工知能の今」〔第4 回〕推論とAI プログラミング

井上克巳, 坂間千秋, 佐藤泰介

人工知能, (34), Sep 1, 2019
Reasoning and Programming in Artificial Intelligence (in Japanese)

Katsumi Inoue, Chiaki Sakama, Taisuke Sato

Journal of the Japanese Society for Artificial Intelligence, 34(5) 703-713, Sep, 2019 Invited
Embedding Tarskian semantics into linear spaces

101 15-20, Aug 7, 2016
モンテカルロ木探索を利用した制約付き分布からの効率的なサンプリング法

石畠正和, 佐藤泰介

人工知能学会人工知能基本問題研究会資料, 88th 125-131, Jan 17, 2013
Bayesian Inference in Logic-based Probabilistic Modeling by a General MCMC Method

83 21-26, Nov 18, 2011
命題論理に基づく確率モデルのためのベイズ推定

石畠正和, 亀谷由隆, 佐藤泰介

人工知能学会全国大会論文集(CD-ROM), 25th ROMBUNNO.1J3-5, 2011
Slice Samplingを用いたSAT技術による確率推論

山口雅博, 石畠正和, 佐藤泰介

人工知能学会全国大会論文集(CD-ROM), 25th ROMBUNNO.3J1-OS7-5, 2011
Bayesian Networks and Discrete Structure Manipulation System(<Special Issue>Advanced Methodologies for Bayesian Networks)

SATO Taisuke, MINATO Shin-ichi, Taisuke Sato, Shin-ichi Minato, Graduate School of Information Science and Engineering Tokyo Institute of Technology, Graduate School of Information Science and Technology Hokkaido University:ERATO MINATO discrete Structure Manimulation System Project Japan Science and Technology Agency

Journal of Japanese Society for Artificial Intelligence, 25(6) 796-802, Nov 1, 2010
An EM algorithm on binary decision diagrams with order encoding for propositional logic-based probabilistic models

石畠正和, 亀谷由隆, 佐藤泰介, 湊真一

電子情報通信学会技術研究報告, 110(76(IBISML2010 1-28)) 153-163, Jun 7, 2010
Statistical Abduction(<Special Issue>Current Trends in Logic-Based Inference Techniques)

SATO Taisuke, Taisuke Sato, Dept. of Computer Science Graduate School of Information Science and Engineering Tokyo Institute of Technology

Journal of Japanese Society for Artificial Intelligence, 25(3) 400-407, May 1, 2010
A Bayesian Hybrid Approach to Unsupervised Time Series Discretization

Yoshitaka Kameya, Gabriel Synnaeve, Andrei Doncescu, Katsumi Inoue, Taisuke Sato

Proceedings of the 15th Conference on Technologies and Applications of Artificial Intelligence (TAAI 2010), to appear, 2010
Variational Bayes via propositionalized probability computation in PRISM

Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 54(1-3) 135-158, Nov, 2008
Variational Bayes via propositionalized probability computation in PRISM

Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 54(1-3) 135-158, Nov, 2008
New Trends in Symbolic-Statistical Modeling

SATO Taisuke, Taisuke Sato, Dept. of Computer Science Tokyo Insitutute of Technology

25(3) 33-36, Jul 25, 2008
Propositionalizing the EM algorithm by BDDs

70 15-22, Jul 4, 2008
Hypothesis-finding in Systems Biology

Andrei Doncescu, Katsumi Inoue, Taisuke Sato

ALP Newsletter, 21(2,3), 2008
Applying genetic programming with substructure discovery to a traffic signal control problem

Juncichi Kumagai, Yasuo Ojima, Souichi Takashige, Yoshitaka Kameya, Taisuke Sato

Transactions of the Japanese Society for Artificial Intelligence, 22(2) 127-139, 2007
グラフィカルモデルにおける論理的アプローチ

佐藤泰介, 亀谷由隆

人工知能学会誌, 22(3) 306-319, 2007
習慣的な行動の確率文脈自由文法に基づくベイズ識別

三富文和, 藤原冬樹, 山本正信, 佐藤泰介

電子情報通信学会論文誌, J88-D-II(4) 716-726, 2005
Variational Bayesian Approach to Probabilistic Context - Free Grammar based on Dynamic Programming

KURIHARA Kenichi, KAMEYA Yoshitaka, SATO Taisuke

IPSJ SIG Notes, 2004(1) 209-214, Jan 14, 2004

Books and Other Publications

情報基礎数学

昭晃堂, 2007 (ISBN: 9784785631604)
Statistical abduction with tabulation in Computational Logic: From Logic Programming into the Future

Springer, 2002

Presentations

GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー

渡邉晃司, 佐藤泰介, 小島諒介, 小高充弘, 井上克巳

2022年度人工知能学会全国大会（第36回）, Jun 17, 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
Generative modeling by PRISM

The 25th International Conference on Logic Programming (ICLP-2009),, 2009
Inside-outside probability computation for belief propagation

Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007
Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs

Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007
Inside-outside probability computation for belief propagation

Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007
Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs

Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007
Variational Bayesian Grammar Induction for Natural Language

Proceedings of the 8th International Colloquium on Grammatical Inference, 2006
Discovering Concepts from Word Co-occurrences with a Relational Model

Proceedings of the International Workshop on Data-Mining and Statistical Science, 2006
Parallel EM Learning for Symbolic-Statistical Models

Proceedings of the International Workshop on Data-Mining and Statistical Science, 2006
Variational Bayesian Grammar Induction for Natural Language

Proceedings of the 8th International Colloquium on Grammatical Inference, 2006
Discovering Concepts from Word Co-occurrences with a Relational Model

Proceedings of the International Workshop on Data-Mining and Statistical Science, 2006
Parallel EM Learning for Symbolic-Statistical Models

Proceedings of the International Workshop on Data-Mining and Statistical Science, 2006
Generative modeling with failure in PRISM

19th International Joint Conference on Artificial Intelligence, 2005
Generative modeling with failure in PRISM

19th International Joint Conference on Artificial Intelligence, 2005

Profile Information

Research Interests

Research Areas

Research History

Education

Committee Memberships

Awards

Papers

Misc.

Books and Other Publications

Presentations

Professional Memberships

Research Projects

Menu

Coauthors