Uncertainty informaion processing by statistical abduction

• Project/Area Number: 23300054
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Intelligent informatics
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: SATO Taisuke 東京工業大学, 情報理工学(系)研究科, 教授 (90272690)
• Co-Investigator(Kenkyū-buntansha): 亀谷 由隆 東京工業大学, 大学院・情報理工学研究科, 助教 (60361789)
• Co-Investigator(Renkei-kenkyūsha): KAMEYA Yoshitaka 名城大学, 理工学部情報工学科, 准教授 (60361789)
• Project Period (FY): 2011-04-01 – 2014-03-31
• Project Status: Completed (Fiscal Year 2013)
• Budget Amount: ¥13,910,000 (Direct Cost: ¥10,700,000、Indirect Cost: ¥3,210,000); Fiscal Year 2013: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2012: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2011: ¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
• Keywords: 確率論理 / 確率モデリング言語 / アブクション / PRISM / ベイズ推論 / アブダクション / shared BDD / Bayes推論

Research Abstract

We have improved a logic-based modeling language PRISM which unifies statistical machine learning and logical inference by adding a general MCMC
(Markov chain Monte Carlo) method, VT (Viterbi training) and VB-VT that
extends VT with variational Bayes. We also enabled PRISM to calculate an infinite sum of probabilities through solving probability equations, which is applied to intention recognition of users from web log session data.

Research Products

• [Journal Article] アクセスログ分における接頭部分列からのプラン認識 (2014)
  • Author(s): 小島諒介, 佐藤泰介
  • Journal Title: 人工知能学会論文誌 Volume: Vol.29,No.3 Pages: 301-310
  • Peer Reviewed
• [Journal Article] Viterbi training in PRISM (2014)
  • Author(s): Sato, T . and Kubota, K
  • Journal Title: Theory and Practice of Logic Programming Volume: 15 Issue: 2 Pages: 1-22
  • DOI: 10.1017/s1471068413000677
  • Peer Reviewed
• [Journal Article] A Plan Recognition Method using Prefix Computation in Web Access Log Analysis (2014)
  • Author(s): 小島 諒介, 佐藤 泰介
  • Journal Title: Transactions of the Japanese Society for Artificial Intelligence Volume: 29 Issue: 3 Pages: 301-310
  • DOI: 10.1527/tjsai.29.301
  • NAID: 130003391339
  • ISSN: 1346-0714, 1346-8030
  • Peer Reviewed
• [Journal Article] 命題化確率計算に基づく MCMC ベイズ推定 (2013)
  • Author(s): 石畠正和, 佐藤泰介
  • Journal Title: 人工知能学会論文誌 Volume: Vol.28,No.2 Pages: 230-242
  • NAID: 130003362324
  • Peer Reviewed
• [Journal Article] Infinite Probability Computation by Cyclic Explanation Graphs (2013)
  • Author(s): Taisuke Sato, Philipp Meyer
  • Journal Title: Theory and Practice of Logic Programming Volume: FirstView Article Issue: 6 Pages: 1-29
  • DOI: 10.1017/s1471068413000562
  • Peer Reviewed
• [Journal Article] Markov Chain Monte Carlo for Bayesian Inference via Propositionalized Probability Computation (2013)
  • Author(s): 石畠正和，佐藤泰介
  • Journal Title: Transactions of the Japanese Society for Artificial Intelligence Volume: 28 Issue: 2 Pages: 230-242
  • DOI: 10.1527/tjsai.28.230
  • NAID: 130003362324
  • ISSN: 1346-0714, 1346-8030
  • Peer Reviewed
• [Journal Article] Tabling for infinite probability computation. (2012)
  • Author(s): Sato,T. and Meyer,P. （Sato,T. ）
  • Journal Title: Proceedings of The 28th International Conference on Logic Programming (ICLP 2012) Volume: 1 Pages: 348-353
  • Peer Reviewed
• [Journal Article] RP-growth: Top-k mining of relevant patterns with minimum support raising (2012)
  • Author(s): Kameya,Y. and Sato,T. （Kameya,Y.）
  • Journal Title: Proceedings of the 2012 SIAM International Conference on Data Mining (SDM 2012) Volume: 1 Pages: 816-827
  • Peer Reviewed
• [Journal Article] Compiling Bayesian Networks for Parameter Learning based on Shared BDDs (2011)
  • Author(s): Ishihata, M., Sato, T., Minato, S.
  • Journal Title: Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence (AI-2011), LNAI 7106, Springer Pages: 203-212
  • Peer Reviewed
• [Journal Article] Bayesian inference for statistical abduction using Markov chain Monte Carlo (2011)
  • Author(s): Ishihata, M., Sato, T.
  • Journal Title: Proceedings of the 3rd Asian Conference on Machine Learning (ACML-2011) Pages: 81-96
  • Peer Reviewed
• [Journal Article] Time series discretization via MDL-based histogram density estimation (2011)
  • Author(s): Kameya, Y.
  • Journal Title: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2011) Pages: 732-739
  • Peer Reviewed
• [Journal Article] Variational Bayes inference for logic-based probabilistic models on BDDs (2011)
  • Author(s): Ishihata, M., Kameya, Y., Sato, T.
  • Journal Title: The 21st International Conference on Inductive Logic Programming (ILP-2011)
  • Peer Reviewed
• [Journal Article] Constraint-based probabilistic modeling for statistical abduction (2011)
  • Author(s): Sato, T., Ishihata, M., Inoue, K.
  • Journal Title: Machine Learning, Vol. 83, No. 2 Pages: 241-264
  • Peer Reviewed
• [Journal Article] A general MCMC method for Bayesian inference in logic-based probabilistic modeling (2011)
  • Author(s): Sato, T
  • Journal Title: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011) Pages: 1472-1477
  • Peer Reviewed
• [Journal Article] Kinetic models and qualitative abstraction for relational learning in systems biology (2011)
  • Author(s): Synnaeve, G., Inoue, K., Doncescu, A., Nabeshima, H., Kameya, Y, Ishihata, M., Sato, T.
  • Journal Title: Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS-2011)
  • Peer Reviewed
• [Presentation] RP-growth : Top-k mining of relevant patterns with minimum support raising (2014)
  • Author(s): Kameya, Y. and Sato, T
  • Organizer: Proceedings of the 2012 SIAM International Conference on Data Mining (SDM-2012)
  • Place of Presentation: Anaheim, California, USA
  • Year and Date: 2014-04-26
• [Presentation] Logic-based Approach to Generatively Defined Discriminative Modeling (2013)
  • Author(s): Sato, T., Kubota, K. and Kameya, Y
  • Organizer: Proceedings of the 23rd International Conference on Inductive Logic Programming(ILP 2013)
  • Place of Presentation: Rio de Janeiro, Brazil
  • Year and Date: 2013-08-29
• [Presentation] Logic-based Approach to Generatively Defined Discriminative Modeling (2013)
  • Author(s): Sato, T., Kubota, K., Kameya, Y.
  • Organizer: the 23rd Inernational Conference on Inductive Logic Programming (ILP 2013)
  • Place of Presentation: Rio de Janeiro
• [Presentation] Tabling for infinite probability computation (2012)
  • Author(s): Sato, T. and Meyer, P
  • Organizer: The 28th International Conference on Logic Programming, (ICLP-2012)Technical Communications
  • Place of Presentation: Technical Communications, Budapest, Hungary
  • Year and Date: 2012-09-07
• [Presentation] 論理に基づく確率モデリングのこれまで,これから (2012)
  • Author(s): 亀谷由隆
  • Organizer: 第4回情報論的学習理論と機械学習(IBISML)研究会
  • Place of Presentation: 大阪大学中之島センター
  • Year and Date: 2012-03-28
• [Presentation] 最小サポート上昇法に基づく上位k関連パターン発見 (2011)
  • Author(s): 亀谷由隆, 佐藤泰介
  • Organizer: データ指向構成マイニングとシミュレーション研究会(人工知能学会創立25周年記念合同研究会)予稿集
  • Place of Presentation: 慶応大学日吉キャンパス
  • Year and Date: 2011-12-15
• [Presentation] Compiling Bayesian Networks for Parameter Learning based on Shared BDDs (2011)
  • Author(s): Ishihata, M., Sato, T. and Minato, S
  • Organizer: Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence (AI-2011)
  • Place of Presentation: Western Australia, Australia(LNAI 7106, Springer, pp.203-212)
  • Year and Date: 2011-12-08
• [Presentation] 論理に基づいた確率モデルに於ける一般的MCMC法によるベイズ推論について (2011)
  • Author(s): 佐藤泰介
  • Organizer: 人工知能学会第83回人工知能基本問題研究会(SIG-FPAI)予稿集
  • Place of Presentation: 電気通信大学
  • Year and Date: 2011-11-26
• [Presentation] Bayesian inference for statistical abduction using Markov chain Monte Carlo (2011)
  • Author(s): Ishihata, M. and Sato, T
  • Organizer: Proceedings of the 3rd Asian Conference on Machine Learning (ACML-2011), JMLR Workshop and Conference Proceedings, Vol.20, pp.81-96
  • Place of Presentation: Taoyuan, Taiwan
  • Year and Date: 2011-11-14
• [Presentation] Slice Samplingを用いたSAT技術による確率推論 (2011)
  • Author(s): 山口雅博, 佐藤泰介, 石畠正和
  • Organizer: 第25回人工知能学会全国大会予稿集
  • Place of Presentation: アイーナいわて県民情報交流センター(盛岡)
  • Year and Date: 2011-06-03
• [Presentation] 命題論理に基づく確率モデルのためのベイズ推定 (2011)
  • Author(s): 石畠正和, 亀谷由隆, 佐藤泰介
  • Organizer: 第25回人工知能学会全国大会予稿集
  • Place of Presentation: アイーナいわて県民情報交流センター(盛岡)
  • Year and Date: 2011-06-01
• [Presentation] Viterbi training in PRISM
  • Author(s): Sato, T. and Kubota, K.
  • Organizer: ICML Workshop on Statistical Relational Learning(SRL 2012)
  • Place of Presentation: 英国、エディンバラ大学
• [Presentation] モンテカルロ木探索を利用した制約付き分布からの効率的なサンプリング法
  • Author(s): 石畠正和, 佐藤泰介
  • Organizer: 人工知能学会第88回人工知能基本問題研究会(SIG-FPAI)
  • Place of Presentation: 沖縄県石垣市石垣市民会館