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

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

研究課題

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

基盤研究(B)

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

研究代表者

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

研究分担者 亀谷 由隆  東京工業大学, 大学院・情報理工学研究科, 助教 (60361789)
研究期間 (年度) 2008 – 2010
研究課題ステータス 完了 (2010年度)
配分額 *注記
13,130千円 (直接経費: 10,100千円、間接経費: 3,030千円)
2010年度: 4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2009年度: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2008年度: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
キーワード学習と知識獲得 / shared BDD / order-encoding / PRISM / Viterbi推論 / BDD / 確率計算 / BDD-EMアルゴリズム / 変分ベイズ / 一般化内側・外側確率アルゴリズム
研究概要

現在データマイニングなど多量且つノイズを含むデータからの知識獲得のため、機械学習に於けるグラフィカルモデルや、統計的自然言語処理に於ける確率文法などの技術が各分野で使われているが、素性を利用するため関係をうまく表現できないなどさまざま制約があり、複雑な確率モデリングを困難にしている。我々は確率と論理を融合し、論理型言語に基づく確率モデリング言語PRISMを開発した。PRISMは確率モデルの記述と計算・学習を完全に分離することにより、論理の記述力を活かした効率的な確率モデリングを可能にしている。

報告書

(4件)
  • 2010 実績報告書   研究成果報告書 ( PDF )
  • 2009 実績報告書
  • 2008 実績報告書
  • 研究成果

    (35件)

すべて 2010 2009 2008 その他

すべて 雑誌論文 (20件) (うち査読あり 17件) 学会発表 (14件) 備考 (1件)

  • [雑誌論文] Constraint-based probabilistic modeling for statistical abduction2010

    • 著者名/発表者名
      Sato T., Ishihata M., Inoue, K.
    • 雑誌名

      Machine Learning

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] ベイジアンネットワークと離散構造処理系2010

    • 著者名/発表者名
      佐藤泰介, 湊真一
    • 雑誌名

      人工知能学会誌 Vol.25, No.6

      ページ: 796-802

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] CHR(PRISM)-based probabilistic logic learning2010

    • 著者名/発表者名
      Sneyers, J., Meert, W., Vennekens, J., Kameya Y., Sato T.
    • 雑誌名

      Theory and Practiace of Logic Programming Vol.10

      ページ: 433-447

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] 統計的アブダクション2010

    • 著者名/発表者名
      佐藤泰介
    • 雑誌名

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

      ページ: 400-407

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] BDD上の命題化計算に基づくEMアルゴリズム2010

    • 著者名/発表者名
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • 雑誌名

      人工知能学会論文誌 Vol.25, No.3

      ページ: 475-484

    • NAID

      130000263869

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] CHR(PRISM)-based probabilistic logic learning2010

    • 著者名/発表者名
      Sneyers, J., Meert, W., Vennekens, J., Kameya Y., Sato T.
    • 雑誌名

      Theory and Practice of Logic Programming Vol.10, No.4-6

      ページ: 433-447

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Parameter learning for Bayesian networks on Shared Binary Decision Diagrams2010

    • 著者名/発表者名
      Ishihata M., Sato, T., Minato, S.
    • 雑誌名

      Proceedings of the 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN-2010)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] An EM algorithm on BDDs with order encoding for logic-based probabilistic models2010

    • 著者名/発表者名
      Ishihata M., Kameya, Y., Sato, T., Minato, S.
    • 雑誌名

      Proceedings of the 2nd Asian Conference on Machine Learning (ACML-2010)

      ページ: 161-176

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] A Bayesian hybrid approach to unsupervised time series discretization2010

    • 著者名/発表者名
      Kameya, Y., Synnaeve, G., Doncescu, A., Inoue, K., Sato, T.
    • 雑誌名

      Proceedings of the 2010 Conference on Technologies and Applications of Artificial Intelligence (TAAI-2010)

      ページ: 342-349

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Mode-directed tabling for dynamic programming, machine learning, and constraint solving.2010

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

      Proceedings of the 22nd International Conference on Tools with Artificial Intelligence (ICTAI-2010)

      巻: 2 ページ: 213-218

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Constraint-based probabilistic modeling for statistical abduction2010

    • 著者名/発表者名
      Sato, T., Ishihata, M., Inoue, K.
    • 雑誌名

      Machine Learning

      巻: 83 ページ: 241-264

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] CHR(PRISM)-based probabilistic logic learning2010

    • 著者名/発表者名
      Sneyers, J., Meert, W., Vennekens, J., Kameya, Y., Sato, T.
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 10 ページ: 433-447

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Variational Bayes via propositionalized probability computation in PRISM2009

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

      Annals of Mathematics and Artificial Intelligence Vol.54, No.1-3

      ページ: 135-158

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Variational Bayes via propositionalized probability computation in PRISM2009

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

      Annals of Mathematics and Artificial Intelligence Vol.54, No.13

      ページ: 135-158

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] 記号的統計モデリングの世界を探る2008

    • 著者名/発表者名
      佐藤泰介
    • 雑誌名

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

      ページ: 33-36

    • NAID

      110006840398

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] A glimpse of symbolic-statistical modeling by PRISM2008

    • 著者名/発表者名
      佐藤泰介
    • 雑誌名

      Journal of Intelligent Information Systems Vol.31, No.2

      ページ: 161-176

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] New advances in logic-based probabilistic modeling by PRISM2008

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

      In Probabilistic Inductive Logic Programming, LNCS 4911, Springer

      ページ: 118-155

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] A glimpse of symbolic-statistical modeling by PRISM2008

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

      Journal of Intelligent Information Systems 31(2)

      ページ: 161-176

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] New advances in logic-based probabilistic modeling by PRISM2008

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

      Probabilistic Inductive Logic Programming, LNCS 4911, Springer

      ページ: 118-155

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [学会発表] Mode-directed tabling for dynamic programming2010

    • 著者名/発表者名
      Zhou, N.-F.(Sato, T.)
    • 学会等名
      machine learning, and constraint solving, ICTAI-2010
    • 発表場所
      Hsinchu.
    • 年月日
      2010-11-19
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] A Bayesian hybrid approach to unsupervised time series discretization2010

    • 著者名/発表者名
      Kameya, Y.(Sato, T.)
    • 学会等名
      TAAI-2010
    • 発表場所
      Hsinchu.
    • 年月日
      2010-11-18
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] An EM algorithm on BDDs with order encoding for logic-based probabilistic models2010

    • 著者名/発表者名
      Ishihata M.( Sato, T.)
    • 学会等名
      ACML-2010
    • 発表場所
      Tokyo.
    • 年月日
      2010-11-09
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Statistical learning of probabilistic BDDs2009

    • 著者名/発表者名
      Sato, T.
    • 学会等名
      Stochastic algorithms : Foundations and Applications International Symposium (SAGA 2009)
    • 発表場所
      札幌
    • 年月日
      2009-09-26
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Logic-based probabilistic modeling2009

    • 著者名/発表者名
      Sato, T.
    • 学会等名
      WoLLIC-2009
    • 発表場所
      Tokyo.
    • 年月日
      2009-07-21
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Evaluating abductive hypotheses using an EM algorithm on BDDs2009

    • 著者名/発表者名
      Inoue, K.(Sato, T.)
    • 学会等名
      IJCAI-2009
    • 発表場所
      Pasadena.
    • 年月日
      2009-07-15
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Generative modeling by PRISM2009

    • 著者名/発表者名
      Sato, T.
    • 学会等名
      ICLP-2009
    • 発表場所
      Pasadena.
    • 年月日
      2009-07-14
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Generative modeling by PRISM2009

    • 著者名/発表者名
      Sato, T.
    • 学会等名
      International Conference on Logic Programming (ICLP-2009)
    • 発表場所
      Pasadena
    • 年月日
      2009-07-14
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Evaluating abductive hypotheses using an EM algorithm on BDDs2009

    • 著者名/発表者名
      Inoue, K., Sato, T., Iahihata, M., Kameya, Y., Nabeshima, H.
    • 学会等名
      International Joint Conference on Artifical Intelligence (IJCAI-2009)
    • 発表場所
      Pasadena
    • 年月日
      2009-07-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Constraint-based probabilistic modeling for statistical abduction2009

    • 著者名/発表者名
      Sato, T., Ishihata, M., Inoue, K
    • 学会等名
      International Conference on Inductive Logic Programming (ILP-2009)
    • 発表場所
      Luven
    • 年月日
      2009-07-02
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Logic-based probabilistic modeling2009

    • 著者名/発表者名
      Sato, T
    • 学会等名
      Workshop on Logic, Language, Information and Computation (WoLLIC-29)
    • 発表場所
      東京
    • 年月日
      2009-06-21
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 否定枝を含むshared BDD 上で動作するEMアルゴリズム2009

    • 著者名/発表者名
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • 学会等名
      人工知能学会データマイニングと統計数理研究会(SIG-DMSM)
    • 発表場所
      京都
    • 年月日
      2009-03-03
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Propositionalizing the EM algorithm by BDDs2008

    • 著者名/発表者名
      Ishihata, M., Kameya, Y., Sato, T., Minato, S.
    • 学会等名
      Late breaking paper at the 18th International Conference on Inductive Logic Programming (ILP-2008), 2008
    • 発表場所
      プラハ
    • 年月日
      2008-09-11
    • 関連する報告書
      2008 実績報告書
  • [学会発表] BDD上の命題化確率計算に基づくEMアルゴリズム2008

    • 著者名/発表者名
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • 学会等名
      人工知能学会第70回人工知能基本問題研究会(SIG-FPAI)
    • 発表場所
      京都
    • 年月日
      2008-07-04
    • 関連する報告書
      2008 実績報告書
  • [備考] ホームページ等

    • URL

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

    • 関連する報告書
      2010 研究成果報告書

URL: 

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

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

Powered by NII kakenhi