• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2010 Fiscal Year Annual Research Report

確率知識モデルによる不確定性推論の研究

Research Project

Project/Area Number 20300053
Research InstitutionTokyo Institute of Technology

Principal Investigator

佐藤 泰介  東京工業大学, 大学院・情報理工学研究科, 教授 (90272690)

Co-Investigator(Kenkyū-buntansha) 亀谷 由隆  東京工業大学, 大学院・情報理工学研究科, 助教 (60361789)
Keywordsshared BDD / order-encoding / PRISM / Viterbi推論
Research Abstract

H22年度では前年度末に導出したBDD(2分決定木)を使った統計的パラメータ学習アルゴリズムであるBDD-EMアルゴリズムを拡張したshared BDD-EMアルゴリズムを導出し実装した。shared BDDは複数のBDDを束ね、BDD間の部分グラフの共有を行ったものである。shared BDD-EMアルゴリズムは、BDDの代わりにshared-BDDを使ったEMアルゴリズムであって、BDD-EMアルゴリズムで仮定されていた単一BDDに対する確率計算を、統計的学習では必須の数百、数千のiid(独立同分布)データから作成される多数のBDDに対する確率計算に拡張したものである。人工データおよび実データを使った学習実験の結果、複数データに対する確率計算の共有を行いつつ、パラメータ学習を効率的に行うことができることを確認した。また論理に基づいた確率モデリングにおいては確率モデルは命題論理式に変換されるが、その際命題変数を順序付けした上でorder-encodingと呼ばれる手法を使うことにより、より効率的に変換できることを理論的に導き、人工データを使った計算機実験により確認した。
一方PRISMの機能強化に関しては、統計的推論で重要なViterbi学習の実験的実装を行った。Viterbi学習では最尤の解(Viterbi解)を与える統計パラメータを推論するが、EMアルゴリズムに比べて、計算が簡単になるという特徴がある。特にHMMなどの末端再帰により表現される確率モデルに於いては非常に効率的なパラメータ学習が実現される。一方HMMより更に灘なPCFGでは、部分Viterbi解を合成した解が全体の解にならないという問題があるが、我々は複数の最尤に近い解を保持しつつ、それらを組み合わせることにより最終的にViterbi解を得ることに成功した。実際のコーパスとPCFGに対し、このようなViterbi学習を行い、得られた統計パラメータがEMアルゴリズムより得た統計パラメータより高い精度で正解構文木を与えることを実験的に確認した。

  • Research Products

    (6 results)

All 2010

All Journal Article (6 results) (of which Peer Reviewed: 6 results)

  • [Journal Article] Parameter learning for Bayesian networks on Shared Binary Decision Diagrams2010

    • 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 models2010

    • 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 discretization2010

    • 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 abduction2010

    • 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 learning2010

    • 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

URL: 

Published: 2012-07-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi