• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

不確実情報からの知識合成

研究課題

研究課題/領域番号 17300043
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 知能情報学
研究機関東京工業大学

研究代表者

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

研究分担者 亀谷 由隆  東京工業大学, 大学院・情報理工学研究科, 助教 (60361789)
研究期間 (年度) 2005 – 2007
研究課題ステータス 完了 (2007年度)
配分額 *注記
11,020千円 (直接経費: 10,000千円、間接経費: 1,020千円)
2007年度: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2006年度: 3,400千円 (直接経費: 3,400千円)
2005年度: 3,200千円 (直接経費: 3,200千円)
キーワード確率的モデリング言語 / PRISM / 変分ベイズ / PROSM / 機械学習 / 情報基礎 / 統計数学 / 情報システム / 人工知能
研究概要

PRISMは将棋の戦略や文章の曖昧性の解決といった複雑な確率事象を表現し、事象の分布の統計的パラメータをデータから自動的に学習する能力を持つ、世界的に見てもユニークなプログラミング言語である。今年度は確率的モデリング言語としての能力を更に強化するため、様々な改良を行い、PRISM1.11として公開した。PRISM1.11では、
(1)PRISMの探索部分の実装言語であるB-Prologの最新バージョンであるB-Prolog7.0との統合を行い、メモリ効率を向上させた。
(2)並列EM学習が行えるようになった。確率文脈自由文法のパラメータ学習ではCPU数にほぼ比例して数十倍の速度向上がみられた。
(3)決定性のアニーリング方式に基づいたEM学習が利用できるようにした。これはEM学習の局所解の問題を避けるのに効果が期待できる。
(4)N-viterbiアルゴリズムを実装し、上位N個のビタビ解を求められるようにした。
(5)次に述べるようにベイズ的学習法である変分ベイズ学習法を実装した。
確率モデリングでは通常最尤推定に基づくパラメータ学習を行うが、PRISMでは新たにパラメータにディリクレ分布を事前分布として導入し、ディリクレ分布のハイパーパラメータを変分ベイズ学習により学習出来るようにした。そのためPRISM用の変分ベイズ学習アルゴリズムを導出し、実装した。PRISMの変分ベイ学習は従来知られていた隠れマルコフモデルや確率文脈自由文法をはるかに越える範囲の変分ベイズ学習を可能にしており、例えば、バイオフィフォマティクスで使われるプロファイル隠れマルコフモデルの変分ベイズ学習が可能になった。

報告書

(4件)
  • 2007 実績報告書   研究成果報告書概要
  • 2006 実績報告書
  • 2005 実績報告書
  • 研究成果

    (43件)

すべて 2008 2007 2006 2005 その他

すべて 雑誌論文 (23件) (うち査読あり 6件) 学会発表 (15件) 図書 (2件) 備考 (3件)

  • [雑誌論文] Linear tabling strategies and optimization2008

    • 著者名/発表者名
      Zhou, N.-F., Sato, T. and Shen, Y.-D.
    • 雑誌名

      Theory and Practice of Logic Programming 8

      ページ: 81-109

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
    • 査読あり
  • [雑誌論文] Linear tabling strategies and optimization2008

    • 著者名/発表者名
      Zhou, N.-F, Sato, T., Shen, Y.-D
    • 雑誌名

      Theory and Practice of Logic Programming Vol. 8, No. 1

      ページ: 81-109

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [雑誌論文] New advances in logic-based probabilistic modeling by PRISM. (Book Chapter)2008

    • 著者名/発表者名
      Sato, T., Kameya, Y
    • 雑誌名

      Probabilistic Inductive Logic Programming, LNCS 4911, Springer

      ページ: 118-155

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [雑誌論文] Linear tabling strategies and optimization2008

    • 著者名/発表者名
      Zhou, N.-F., Sato, T. and Shen, Y.-D.
    • 雑誌名

      Theory and Practice of Logic Programming, Vol.8,No.1

      ページ: 81-109

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Discovering Concepts from Word Co-occurrences with a Relational Model2007

    • 著者名/発表者名
      Kurihara, K., Kameya, Y. and Sato, T.
    • 雑誌名

      Transactions of the Japanese Society for Artificial Intelligence 22

      ページ: 218-226

    • NAID

      130000058333

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
    • 査読あり
  • [雑誌論文] グラフィカルモデルにおける論理的アプローチ2007

    • 著者名/発表者名
      佐藤泰介, 亀谷由隆
    • 雑誌名

      人工知能学会誌 22

      ページ: 306-319

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [雑誌論文] PRISM:確率モデリングのための論理プログラミング処理系2007

    • 著者名/発表者名
      亀谷由隆, 佐藤泰介, 周能法, 泉祐介, 岩崎達也
    • 雑誌名

      コンピュータソフトウェア 24

      ページ: 2-22

    • NAID

      110006440379

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
    • 査読あり
  • [雑誌論文] Discovering Concepts from Word Co-occurrences with a Relational Model2007

    • 著者名/発表者名
      Kurihara, K., Kameya, D., Sato, T
    • 雑誌名

      Transactions of the Japanese Society for Artificial Intelligence Vol. 22

      ページ: 218-226

    • NAID

      130000058333

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [雑誌論文] PRISM : A Logic Programming Language and System for Probabilistic Modeling (in Japanese)2007

    • 著者名/発表者名
      Kameya, Y., Sato T., Zhou, N.-F., Izumi, Y., Iwasaki, T
    • 雑誌名

      Computer Software Vol. 24

      ページ: 2-22

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [雑誌論文] Logical Approaches in Graphical Models (in Japanese)2007

    • 著者名/発表者名
      Sato, T., Kameya, Y
    • 雑誌名

      Journal of the Japanese Society for Artificial Intelligence Vol. 22, No. 3

      ページ: 306-319

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [雑誌論文] PRISM:確率モデリングのための論理プログラミング処理系2007

    • 著者名/発表者名
      亀谷由隆, 佐藤泰介, 周能法, 泉祐介, 岩崎達也
    • 雑誌名

      コンピュータソフトウェア Vol.24,No.4

      ページ: 2-22

    • NAID

      110006440379

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] グラフィカルモデルにおける論理的アプローチ2007

    • 著者名/発表者名
      佐藤泰介, 亀谷由隆
    • 雑誌名

      人工知能学会誌 Vol.22,No.3

      ページ: 306-319

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Discovering Concepts from Word Co-occurrences with a Relational Model2007

    • 著者名/発表者名
      Kurihara, K., Kameya, Y., Sato, T.
    • 雑誌名

      Transactions of the Japanese Society for Artificial Intelligence

      ページ: 218-226

    • NAID

      130000058333

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] 頻出部分木発見手法を用いた遺伝的プログラミングの交通信号問題への適用2007

    • 著者名/発表者名
      熊谷潤一, 小島康夫, 高重聡一, 亀谷由隆, 佐藤泰介
    • 雑誌名

      人工知能学会論文誌 22・2

      ページ: 127-139

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      Minato, S., Satoh, K., T.Sato
    • 雑誌名

      Proceedings of the 20th International Joint Conference on Artificial Intelligence

      ページ: 2550-2555

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Inside-outside probability computation for belief propagation2007

    • 著者名/発表者名
      Sato, T.
    • 雑誌名

      Proceedings of the 20th International Joint Conference on Artificial Intelligence

      ページ: 2605-2610

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Parallel EM Learning for Symbolic-Statistical Models.2006

    • 著者名/発表者名
      Izumi, Y., Kameya, Y., Sato, T.
    • 雑誌名

      Proceedings of the International Workshop on Data-Mining and Statistical Science

      ページ: 133-140

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Variational Bayesian Grammar Induction for Natural Language2006

    • 著者名/発表者名
      Kurihara, K., Sato, T.
    • 雑誌名

      Proceedings of the 8th International Colloquium on Grammatical Inference

      ページ: 84-95

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Negation elimination for finite PCFGs (Book Chapter)2005

    • 著者名/発表者名
      Sato, T., Kameya, Y
    • 雑誌名

      Logic-based Program Synthesis and Transformation, Springer LNCS 3573

      ページ: 117-132

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [雑誌論文] 習慣的な行動の確率文脈自由文法に基づくベイズ識別2005

    • 著者名/発表者名
      三富文和, 藤原冬樹, 山本正信, 佐藤泰介
    • 雑誌名

      電子情報通信学会論文誌 J88-D-II巻No.4号

      ページ: 716-726

    • NAID

      110003203221

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Negation elimination for finite PCFGs.2005

    • 著者名/発表者名
      Sato, T., Kameya, Y.
    • 雑誌名

      Logic-based Program Synthesis and Transformation, Springer LNCS 3573

      ページ: 117-132

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A Generic Approach to EM Learning for Symbolic-Statistical Models2005

    • 著者名/発表者名
      Sato, T.
    • 雑誌名

      第4回論理に於ける学習と言語ワークショップ(LLL05)予稿集

      ページ: 21-30

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Generative modeling with failure in PRISM2005

    • 著者名/発表者名
      Sato, T., Kameya, Y., Zhou, N.-F.
    • 雑誌名

      第19回人工知能国際大会(IJCAI2005)予稿集

      ページ: 847-852

    • 関連する報告書
      2005 実績報告書
  • [学会発表] Identification of MCMC samples for clustering2008

    • 著者名/発表者名
      Kurihara, K, Murata, T and Sato, T.
    • 学会等名
      The 3rd International Conference on Large-Scale Knowledge Resources (LKR 2008)
    • 発表場所
      東京
    • 年月日
      2008-03-03
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Inside-outside probability computation for belief propagation2007

    • 著者名/発表者名
      Sato, T.
    • 学会等名
      The 20th International Joint Conference on Artificial Intelligence(IJCAI 2007)
    • 発表場所
      Hyderabad, India
    • 年月日
      2007-01-09
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      Minato, S., Satoh, K. and Sato, T.
    • 学会等名
      The 20th International Joint Conference on Artificial Intelligence(IJCAI 2007)
    • 発表場所
      Hyderabad, India
    • 年月日
      2007-01-09
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Inside-outside probability computation for belief propagation.2007

    • 著者名/発表者名
      Sato, T
    • 学会等名
      The 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)
    • 発表場所
      Hyderabad, India
    • 年月日
      2007-01-09
    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      Minato, S., Satoh, K., Sato, T
    • 学会等名
      The 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)
    • 発表場所
      Hyderabad, India
    • 年月日
      2007-01-09
    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] A Frequency-based Stochastic Blockmodel2006

    • 著者名/発表者名
      Kurihara, K., Kameya, Y. and Sato, T.
    • 学会等名
      The 2006 Workshop on Information-Based Induction Science(IBIS 2006)
    • 発表場所
      Osaka, Japan
    • 年月日
      2006-11-02
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] A Frequency-based Stochastic Blockmodel2006

    • 著者名/発表者名
      Kurihara, K., Kameya, Y., Sato, T
    • 学会等名
      The 2006 Workshop on Information-Based Induction Science (IBIS 2006)
    • 発表場所
      Osaka, Japan
    • 年月日
      2006-11-02
    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Parallel EM Learning for Symbolic-Statistical Models2006

    • 著者名/発表者名
      Izumi, Y., Kameya, Y., and Sato, T.
    • 学会等名
      The International Workshop on Data Mining and Statistical Science(DMSS 2006)
    • 発表場所
      Sapporo, Japan
    • 年月日
      2006-09-25
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Parallel EM Learning for Symbolic-Statistical Models2006

    • 著者名/発表者名
      Izumi, Y., Kameya, Y., Sato, T
    • 学会等名
      The International Workshop on Data Mining and Statistical Science (DMSS2006)
    • 発表場所
      Sapporo, Japan
    • 年月日
      2006-09-25
    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Variational Bayesian Grammar Induction for Natural Language2006

    • 著者名/発表者名
      Kurihara, K. and Sato, T.
    • 学会等名
      The 8th International Colloquium on Grammatical Inference(ICGI 2006)
    • 発表場所
      Tokyo, Japan
    • 年月日
      2006-09-20
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Variational Bayesian Grammar Induction for Natural Language2006

    • 著者名/発表者名
      Kurihara, K., Sato, T
    • 学会等名
      The 8th International Colloquium on Grammatical Inference (ICGI-2006)
    • 発表場所
      Tokyo, Japan
    • 年月日
      2006-09-20
    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] A Generic Approach to EM Learning for Symbolic-Statistical Models2005

    • 著者名/発表者名
      Sato, T.
    • 学会等名
      The 4th Learning Language in Logic Workshop
    • 発表場所
      Bonn, Germany
    • 年月日
      2005-08-07
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] A Generic Approach to EM Learning for Symbolic-Statistical Models2005

    • 著者名/発表者名
      Sato, T
    • 学会等名
      The 4th Learning Language in Logic Workshop (LLL05)
    • 発表場所
      Bonn, Germany
    • 年月日
      2005-08-07
    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Generative modeling with failure in PRISM2005

    • 著者名/発表者名
      Sato, T., Kameya, Y. and Zhou, N.-F.
    • 学会等名
      The 19th International Joint Conference on Artificial Intelligence
    • 発表場所
      Edinburgh, UK
    • 年月日
      2005-08-02
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [学会発表] Generative modeling with failure in PRISM2005

    • 著者名/発表者名
      Sato, T., Kameya, Y., Zhou, N.-F
    • 学会等名
      The 19th International Joint Conference on Artificial Intelligence (IJCAI2005)
    • 発表場所
      Edinburgh, UK
    • 年月日
      2005-08-02
    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [図書] Probabilistic Inductive Logic Programming (章担当: New Advances in Logic-Based Probabilistic Modeling by PRISM)2008

    • 著者名/発表者名
      Sato, T. and Kameya, Y.
    • 出版者
      Springer
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [図書] Logic-based Program Synthesis and Transformation(章担当:Negation elimination for finite PCFGs)2005

    • 著者名/発表者名
      Sato, T. and Kameya, Y.
    • 出版者
      Springer
    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2007 研究成果報告書概要
  • [備考] 「研究成果報告書概要(和文)」より

    • URL

      http://sato-www.cs.titech.ac.jp/ja/publication/

    • 関連する報告書
      2007 研究成果報告書概要
  • [備考] 「研究成果報告書概要(和文)」より

    • URL

      http://sato-www.cs.titech.ac.jp/prism/

    • 関連する報告書
      2007 研究成果報告書概要
  • [備考]

    • URL

      http://sato-www.cs.titech.ac.jp/ja/publication/

    • 関連する報告書
      2007 実績報告書

URL: 

公開日: 2005-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi