Uncertainty inference by probabilistic models

• Project/Area Number: 20300053
• 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 Tokyo Institute of Technology, 大学院・情報理工学研究科, 教授 (90272690)
• Co-Investigator(Kenkyū-buntansha): KAMEYA Yoshitaka 東京工業大学, 大学院・情報理工学研究科, 助教 (60361789)
• Project Period (FY): 2008 – 2010
• Project Status: Completed (Fiscal Year 2010)
• Budget Amount: ¥13,130,000 (Direct Cost: ¥10,100,000、Indirect Cost: ¥3,030,000); Fiscal Year 2010: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2009: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000); Fiscal Year 2008: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
• Keywords: 学習と知識獲得 / shared BDD / order-encoding / PRISM / Viterbi推論 / BDD / 確率計算 / BDD-EMアルゴリズム / 変分ベイズ / 一般化内側・外側確率アルゴリズム

Research Abstract

Currently techniques from machine learning and statistical natural language processing are popular in various fields including data-mining and bioinformatics. However they are feature-based and it is difficult to capture interdependent relationships in real data. We have developed a logic-based modeling language PRISM which unifies logical semantics and statistical parameter learning. It separates model description by logical formulas from their probability computation and parameter learning, thereby enabling an expressive yet efficient complex probabilistic modeling.

Research Products

• [Journal Article] Constraint-based probabilistic modeling for statistical abduction (2010)
  • Author(s): Sato T., Ishihata M., Inoue, K.
  • Journal Title: Machine Learning
  • Peer Reviewed
• [Journal Article] ベイジアンネットワークと離散構造処理系 (2010)
  • Author(s): 佐藤泰介, 湊真一
  • Journal Title: 人工知能学会誌 Vol.25, No.6 Pages: 796-802
• [Journal Article] CHR(PRISM)-based probabilistic logic learning (2010)
  • Author(s): Sneyers, J., Meert, W., Vennekens, J., Kameya Y., Sato T.
  • Journal Title: Theory and Practiace of Logic Programming Vol.10 Pages: 433-447
  • Peer Reviewed
• [Journal Article] 統計的アブダクション (2010)
  • Author(s): 佐藤泰介
  • Journal Title: 人工知能学会誌 Vol.25, No.3 Pages: 400-407
• [Journal Article] BDD上の命題化計算に基づくEMアルゴリズム (2010)
  • Author(s): 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
  • Journal Title: 人工知能学会論文誌 Vol.25, No.3 Pages: 475-484
  • NAID: 130000263869
  • Peer Reviewed
• [Journal Article] CHR(PRISM)-based probabilistic logic learning (2010)
  • Author(s): Sneyers, J., Meert, W., Vennekens, J., Kameya Y., Sato T.
  • Journal Title: Theory and Practice of Logic Programming Vol.10, No.4-6 Pages: 433-447
  • Peer Reviewed
• [Journal Article] Parameter learning for Bayesian networks on Shared Binary Decision Diagrams (2010)
  • Author(s): Ishihata M., Sato, T., Minato, S.
  • Journal Title: Proceedings of the 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN-2010)
  • Peer Reviewed
• [Journal Article] An EM algorithm on BDDs with order encoding for logic-based probabilistic models (2010)
  • Author(s): Ishihata M., Kameya, Y., Sato, T., Minato, S.
  • Journal Title: Proceedings of the 2nd Asian Conference on Machine Learning (ACML-2010) Pages: 161-176
  • Peer Reviewed
• [Journal Article] A Bayesian hybrid approach to unsupervised time series discretization (2010)
  • Author(s): Kameya, Y., Synnaeve, G., Doncescu, A., Inoue, K., Sato, T.
  • Journal Title: Proceedings of the 2010 Conference on Technologies and Applications of Artificial Intelligence (TAAI-2010) Pages: 342-349
  • Peer Reviewed
• [Journal Article] Mode-directed tabling for dynamic programming, machine learning, and constraint solving. (2010)
  • Author(s): Zhou, N.-F., Kameya, Y., Sato, T.
  • Journal Title: Proceedings of the 22nd International Conference on Tools with Artificial Intelligence (ICTAI-2010) Volume: 2 Pages: 213-218
  • Peer Reviewed
• [Journal Article] Constraint-based probabilistic modeling for statistical abduction (2010)
  • Author(s): Sato, T., Ishihata, M., Inoue, K.
  • Journal Title: Machine Learning Volume: 83 Pages: 241-264
  • Peer Reviewed
• [Journal Article] CHR(PRISM)-based probabilistic logic learning (2010)
  • Author(s): Sneyers, J., Meert, W., Vennekens, J., Kameya, Y., Sato, T.
  • Journal Title: Theory and Practice of Logic Programming Volume: 10 Pages: 433-447
  • Peer Reviewed
• [Journal Article] Variational Bayes via propositionalized probability computation in PRISM (2009)
  • Author(s): Sato T., Kameya Y., Kurihara, K.
  • Journal Title: Annals of Mathematics and Artificial Intelligence Vol.54, No.1-3 Pages: 135-158
  • Peer Reviewed
• [Journal Article] Variational Bayes via propositionalized probability computation in PRISM (2009)
  • Author(s): Sato, T., Kameya, Y., Kurihara, K.
  • Journal Title: Annals of Mathematics and Artificial Intelligence Vol.54, No.13 Pages: 135-158
  • Peer Reviewed
• [Journal Article] 記号的統計モデリングの世界を探る (2008)
  • Author(s): 佐藤泰介
  • Journal Title: コンピュータソフトウェア Vol.25, No.3 Pages: 33-36
  • NAID: 110006840398
• [Journal Article] A glimpse of symbolic-statistical modeling by PRISM (2008)
  • Author(s): 佐藤泰介
  • Journal Title: Journal of Intelligent Information Systems Vol.31, No.2 Pages: 161-176
  • Peer Reviewed
• [Journal Article] New advances in logic-based probabilistic modeling by PRISM (2008)
  • Author(s): 佐藤泰介, 亀谷由隆
  • Journal Title: In Probabilistic Inductive Logic Programming, LNCS 4911, Springer Pages: 118-155
  • Peer Reviewed
• [Journal Article] Linear tabling strategies and optimization (2008)
  • Author(s): Zhou, N.-F., Sato T., Shen, Y.-D.
  • Journal Title: Theory and Practice of Logic Programming Vol.8, No.1 Pages: 81-109
  • Peer Reviewed
• [Journal Article] A glimpse of symbolic-statistical modeling by PRISM (2008)
  • Author(s): Sato, T
  • Journal Title: Journal of Intelligent Information Systems 31(2) Pages: 161-176
  • Peer Reviewed
• [Journal Article] New advances in logic-based probabilistic modeling by PRISM (2008)
  • Author(s): Sato, T., Kameya, Y
  • Journal Title: Probabilistic Inductive Logic Programming, LNCS 4911, Springer Pages: 118-155
  • Peer Reviewed
• [Presentation] Mode-directed tabling for dynamic programming (2010)
  • Author(s): Zhou, N.-F.(Sato, T.)
  • Organizer: machine learning, and constraint solving, ICTAI-2010
  • Place of Presentation: Hsinchu.
  • Year and Date: 2010-11-19
• [Presentation] A Bayesian hybrid approach to unsupervised time series discretization (2010)
  • Author(s): Kameya, Y.(Sato, T.)
  • Organizer: TAAI-2010
  • Place of Presentation: Hsinchu.
  • Year and Date: 2010-11-18
• [Presentation] An EM algorithm on BDDs with order encoding for logic-based probabilistic models (2010)
  • Author(s): Ishihata M.( Sato, T.)
  • Organizer: ACML-2010
  • Place of Presentation: Tokyo.
  • Year and Date: 2010-11-09
• [Presentation] Statistical learning of probabilistic BDDs (2009)
  • Author(s): Sato, T.
  • Organizer: Stochastic algorithms : Foundations and Applications International Symposium (SAGA 2009)
  • Place of Presentation: 札幌
  • Year and Date: 2009-09-26
• [Presentation] Logic-based probabilistic modeling (2009)
  • Author(s): Sato, T.
  • Organizer: WoLLIC-2009
  • Place of Presentation: Tokyo.
  • Year and Date: 2009-07-21
• [Presentation] Evaluating abductive hypotheses using an EM algorithm on BDDs (2009)
  • Author(s): Inoue, K.(Sato, T.)
  • Organizer: IJCAI-2009
  • Place of Presentation: Pasadena.
  • Year and Date: 2009-07-15
• [Presentation] Generative modeling by PRISM (2009)
  • Author(s): Sato, T.
  • Organizer: ICLP-2009
  • Place of Presentation: Pasadena.
  • Year and Date: 2009-07-14
• [Presentation] Generative modeling by PRISM (2009)
  • Author(s): Sato, T.
  • Organizer: International Conference on Logic Programming (ICLP-2009)
  • Place of Presentation: Pasadena
  • Year and Date: 2009-07-14
• [Presentation] Evaluating abductive hypotheses using an EM algorithm on BDDs (2009)
  • Author(s): Inoue, K., Sato, T., Iahihata, M., Kameya, Y., Nabeshima, H.
  • Organizer: International Joint Conference on Artifical Intelligence (IJCAI-2009)
  • Place of Presentation: Pasadena
  • Year and Date: 2009-07-11
• [Presentation] Constraint-based probabilistic modeling for statistical abduction (2009)
  • Author(s): Sato, T., Ishihata, M., Inoue, K
  • Organizer: International Conference on Inductive Logic Programming (ILP-2009)
  • Place of Presentation: Luven
  • Year and Date: 2009-07-02
• [Presentation] Logic-based probabilistic modeling (2009)
  • Author(s): Sato, T
  • Organizer: Workshop on Logic, Language, Information and Computation (WoLLIC-29)
  • Place of Presentation: 東京
  • Year and Date: 2009-06-21
• [Presentation] 否定枝を含むshared BDD 上で動作するEMアルゴリズム (2009)
  • Author(s): 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
  • Organizer: 人工知能学会データマイニングと統計数理研究会(SIG-DMSM)
  • Place of Presentation: 京都
  • Year and Date: 2009-03-03
• [Presentation] Propositionalizing the EM algorithm by BDDs (2008)
  • Author(s): Ishihata, M., Kameya, Y., Sato, T., Minato, S.
  • Organizer: Late breaking paper at the 18th International Conference on Inductive Logic Programming (ILP-2008), 2008
  • Place of Presentation: プラハ
  • Year and Date: 2008-09-11
• [Presentation] BDD上の命題化確率計算に基づくEMアルゴリズム (2008)
  • Author(s): 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
  • Organizer: 人工知能学会第70回人工知能基本問題研究会(SIG-FPAI)
  • Place of Presentation: 京都
  • Year and Date: 2008-07-04
• [Remarks] ホームページ等
  • URL: http://sato-www.cs.titech.ac.jp