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

Knowledge Integration from Uncertain Infromation

Research Project

Project/Area Number 17300043
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionTokyo Institute of Technology

Principal Investigator

SATO Taisuke  Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Professor (90272690)

Co-Investigator(Kenkyū-buntansha) KAMEYA Yoshitaka  Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Assistant Professor (60361789)
Project Period (FY) 2005 – 2007
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥11,020,000 (Direct Cost: ¥10,000,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2007: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2006: ¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 2005: ¥3,200,000 (Direct Cost: ¥3,200,000)
KeywordsProbabilistic modeling language / PRISM / Variational Bayes / PROSM / 機械学習 / 情報基礎 / 統計数学 / 情報システム / 人工知能
Research Abstract

We have developed PRISM which is a symbolic-statistical modeling language designed for complex phenomena governed by logic and probability. A PRISM program defines a distribution on structured data such as strings, trees and graphs using definite clauses with probabilistic built-ins. The parameters contained in it are statistically estimated by the EM algorithm from data.
PRISM 1.11, the latest version released in 2007 has the following features.
(1) Efficient memory management due to B-Prolog7.0 on which PRISM is built.
(2) Parallel EM learning. Empirically we have observed linear acceleration of learning speed w.r.t. the number of CPUs.
(3) Deterministic annealing for EM learning.
(4) Generalization of the Viterbi algorithm for N-Viterbi algorithm which returns N topmost answers.
(5) VB (variational Bayes) is available. It is applicable to models that go beyond known models such as hidden Markov models.
In particular VB is important because it enables us to add priors over parameter distributions to combat the data sparseness problem. We allow Dirichlet priors and VB estimate their hyper parameters from data. In addition, VB provides us with an approximation of marginal log-likelihood which is applied to model selection.

Report

(4 results)
  • 2007 Annual Research Report   Final Research Report Summary
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • Research Products

    (43 results)

All 2008 2007 2006 2005 Other

All Journal Article (23 results) (of which Peer Reviewed: 6 results) Presentation (15 results) Book (2 results) Remarks (3 results)

  • [Journal Article] Linear tabling strategies and optimization2008

    • Author(s)
      Zhou, N.-F., Sato, T. and Shen, Y.-D.
    • Journal Title

      Theory and Practice of Logic Programming 8

      Pages: 81-109

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] Linear tabling strategies and optimization2008

    • 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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] New advances in logic-based probabilistic modeling by PRISM. (Book Chapter)2008

    • Author(s)
      Sato, T., Kameya, Y
    • Journal Title

      Probabilistic Inductive Logic Programming, LNCS 4911, Springer

      Pages: 118-155

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Linear tabling strategies and optimization2008

    • Author(s)
      Zhou, N.-F., Sato, T. and Shen, Y.-D.
    • Journal Title

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

      Pages: 81-109

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Discovering Concepts from Word Co-occurrences with a Relational Model2007

    • Author(s)
      Kurihara, K., Kameya, Y. and Sato, T.
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence 22

      Pages: 218-226

    • NAID

      130000058333

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] グラフィカルモデルにおける論理的アプローチ2007

    • Author(s)
      佐藤泰介, 亀谷由隆
    • Journal Title

      人工知能学会誌 22

      Pages: 306-319

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] PRISM:確率モデリングのための論理プログラミング処理系2007

    • Author(s)
      亀谷由隆, 佐藤泰介, 周能法, 泉祐介, 岩崎達也
    • Journal Title

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

      Pages: 2-22

    • NAID

      110006440379

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] Discovering Concepts from Word Co-occurrences with a Relational Model2007

    • Author(s)
      Kurihara, K., Kameya, D., Sato, T
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence Vol. 22

      Pages: 218-226

    • NAID

      130000058333

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] PRISM : A Logic Programming Language and System for Probabilistic Modeling (in Japanese)2007

    • Author(s)
      Kameya, Y., Sato T., Zhou, N.-F., Izumi, Y., Iwasaki, T
    • Journal Title

      Computer Software Vol. 24

      Pages: 2-22

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Logical Approaches in Graphical Models (in Japanese)2007

    • Author(s)
      Sato, T., Kameya, Y
    • Journal Title

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

      Pages: 306-319

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] PRISM:確率モデリングのための論理プログラミング処理系2007

    • Author(s)
      亀谷由隆, 佐藤泰介, 周能法, 泉祐介, 岩崎達也
    • Journal Title

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

      Pages: 2-22

    • NAID

      110006440379

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] グラフィカルモデルにおける論理的アプローチ2007

    • Author(s)
      佐藤泰介, 亀谷由隆
    • Journal Title

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

      Pages: 306-319

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Discovering Concepts from Word Co-occurrences with a Relational Model2007

    • Author(s)
      Kurihara, K., Kameya, Y., Sato, T.
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence

      Pages: 218-226

    • NAID

      130000058333

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 頻出部分木発見手法を用いた遺伝的プログラミングの交通信号問題への適用2007

    • Author(s)
      熊谷潤一, 小島康夫, 高重聡一, 亀谷由隆, 佐藤泰介
    • Journal Title

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

      Pages: 127-139

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs2007

    • Author(s)
      Minato, S., Satoh, K., T.Sato
    • Journal Title

      Proceedings of the 20th International Joint Conference on Artificial Intelligence

      Pages: 2550-2555

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Inside-outside probability computation for belief propagation2007

    • Author(s)
      Sato, T.
    • Journal Title

      Proceedings of the 20th International Joint Conference on Artificial Intelligence

      Pages: 2605-2610

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Parallel EM Learning for Symbolic-Statistical Models.2006

    • Author(s)
      Izumi, Y., Kameya, Y., Sato, T.
    • Journal Title

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

      Pages: 133-140

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Variational Bayesian Grammar Induction for Natural Language2006

    • Author(s)
      Kurihara, K., Sato, T.
    • Journal Title

      Proceedings of the 8th International Colloquium on Grammatical Inference

      Pages: 84-95

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Negation elimination for finite PCFGs (Book Chapter)2005

    • Author(s)
      Sato, T., Kameya, Y
    • Journal Title

      Logic-based Program Synthesis and Transformation, Springer LNCS 3573

      Pages: 117-132

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] 習慣的な行動の確率文脈自由文法に基づくベイズ識別2005

    • Author(s)
      三富文和, 藤原冬樹, 山本正信, 佐藤泰介
    • Journal Title

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

      Pages: 716-726

    • NAID

      110003203221

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Negation elimination for finite PCFGs.2005

    • Author(s)
      Sato, T., Kameya, Y.
    • Journal Title

      Logic-based Program Synthesis and Transformation, Springer LNCS 3573

      Pages: 117-132

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A Generic Approach to EM Learning for Symbolic-Statistical Models2005

    • Author(s)
      Sato, T.
    • Journal Title

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

      Pages: 21-30

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Generative modeling with failure in PRISM2005

    • Author(s)
      Sato, T., Kameya, Y., Zhou, N.-F.
    • Journal Title

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

      Pages: 847-852

    • Related Report
      2005 Annual Research Report
  • [Presentation] Identification of MCMC samples for clustering2008

    • Author(s)
      Kurihara, K, Murata, T and Sato, T.
    • Organizer
      The 3rd International Conference on Large-Scale Knowledge Resources (LKR 2008)
    • Place of Presentation
      東京
    • Year and Date
      2008-03-03
    • Related Report
      2007 Annual Research Report
  • [Presentation] Inside-outside probability computation for belief propagation2007

    • Author(s)
      Sato, T.
    • Organizer
      The 20th International Joint Conference on Artificial Intelligence(IJCAI 2007)
    • Place of Presentation
      Hyderabad, India
    • Year and Date
      2007-01-09
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs2007

    • Author(s)
      Minato, S., Satoh, K. and Sato, T.
    • Organizer
      The 20th International Joint Conference on Artificial Intelligence(IJCAI 2007)
    • Place of Presentation
      Hyderabad, India
    • Year and Date
      2007-01-09
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Inside-outside probability computation for belief propagation.2007

    • Author(s)
      Sato, T
    • Organizer
      The 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)
    • Place of Presentation
      Hyderabad, India
    • Year and Date
      2007-01-09
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs2007

    • Author(s)
      Minato, S., Satoh, K., Sato, T
    • Organizer
      The 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)
    • Place of Presentation
      Hyderabad, India
    • Year and Date
      2007-01-09
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] A Frequency-based Stochastic Blockmodel2006

    • Author(s)
      Kurihara, K., Kameya, Y. and Sato, T.
    • Organizer
      The 2006 Workshop on Information-Based Induction Science(IBIS 2006)
    • Place of Presentation
      Osaka, Japan
    • Year and Date
      2006-11-02
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] A Frequency-based Stochastic Blockmodel2006

    • Author(s)
      Kurihara, K., Kameya, Y., Sato, T
    • Organizer
      The 2006 Workshop on Information-Based Induction Science (IBIS 2006)
    • Place of Presentation
      Osaka, Japan
    • Year and Date
      2006-11-02
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Parallel EM Learning for Symbolic-Statistical Models2006

    • Author(s)
      Izumi, Y., Kameya, Y., and Sato, T.
    • Organizer
      The International Workshop on Data Mining and Statistical Science(DMSS 2006)
    • Place of Presentation
      Sapporo, Japan
    • Year and Date
      2006-09-25
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Parallel EM Learning for Symbolic-Statistical Models2006

    • Author(s)
      Izumi, Y., Kameya, Y., Sato, T
    • Organizer
      The International Workshop on Data Mining and Statistical Science (DMSS2006)
    • Place of Presentation
      Sapporo, Japan
    • Year and Date
      2006-09-25
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Variational Bayesian Grammar Induction for Natural Language2006

    • Author(s)
      Kurihara, K. and Sato, T.
    • Organizer
      The 8th International Colloquium on Grammatical Inference(ICGI 2006)
    • Place of Presentation
      Tokyo, Japan
    • Year and Date
      2006-09-20
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Variational Bayesian Grammar Induction for Natural Language2006

    • Author(s)
      Kurihara, K., Sato, T
    • Organizer
      The 8th International Colloquium on Grammatical Inference (ICGI-2006)
    • Place of Presentation
      Tokyo, Japan
    • Year and Date
      2006-09-20
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] A Generic Approach to EM Learning for Symbolic-Statistical Models2005

    • Author(s)
      Sato, T.
    • Organizer
      The 4th Learning Language in Logic Workshop
    • Place of Presentation
      Bonn, Germany
    • Year and Date
      2005-08-07
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] A Generic Approach to EM Learning for Symbolic-Statistical Models2005

    • Author(s)
      Sato, T
    • Organizer
      The 4th Learning Language in Logic Workshop (LLL05)
    • Place of Presentation
      Bonn, Germany
    • Year and Date
      2005-08-07
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Generative modeling with failure in PRISM2005

    • Author(s)
      Sato, T., Kameya, Y. and Zhou, N.-F.
    • Organizer
      The 19th International Joint Conference on Artificial Intelligence
    • Place of Presentation
      Edinburgh, UK
    • Year and Date
      2005-08-02
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Generative modeling with failure in PRISM2005

    • Author(s)
      Sato, T., Kameya, Y., Zhou, N.-F
    • Organizer
      The 19th International Joint Conference on Artificial Intelligence (IJCAI2005)
    • Place of Presentation
      Edinburgh, UK
    • Year and Date
      2005-08-02
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Book] Probabilistic Inductive Logic Programming (章担当: New Advances in Logic-Based Probabilistic Modeling by PRISM)2008

    • Author(s)
      Sato, T. and Kameya, Y.
    • Publisher
      Springer
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Book] Logic-based Program Synthesis and Transformation(章担当:Negation elimination for finite PCFGs)2005

    • Author(s)
      Sato, T. and Kameya, Y.
    • Publisher
      Springer
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Remarks] 「研究成果報告書概要(和文)」より

    • URL

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

    • Related Report
      2007 Final Research Report Summary
  • [Remarks] 「研究成果報告書概要(和文)」より

    • URL

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

    • Related Report
      2007 Final Research Report Summary
  • [Remarks]

    • URL

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

    • Related Report
      2007 Annual Research Report

URL: 

Published: 2005-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi