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

2007 Fiscal Year Final Research Report Summary

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
KeywordsProbabilistic modeling language / PRISM / Variational Bayes
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.

  • Research Products

    (28 results)

All 2008 2007 2006 2005 Other

All Journal Article (10 results) (of which Peer Reviewed: 3 results) Presentation (14 results) Book (2 results) Remarks (2 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
      「研究成果報告書概要(和文)」より
    • 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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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

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

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

      人工知能学会誌 22

      Pages: 306-319

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

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

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

      Pages: 2-22

    • Description
      「研究成果報告書概要(和文)」より
    • 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

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Book] Probabilistic Inductive Logic Programming (章担当: New Advances in Logic-Based Probabilistic Modeling by PRISM)2008

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

    • Author(s)
      Sato, T. and Kameya, Y.
    • Total Pages
      16(117-132)
    • Publisher
      Springer
    • Description
      「研究成果報告書概要(和文)」より
  • [Remarks] 「研究成果報告書概要(和文)」より

    • URL

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

  • [Remarks] 「研究成果報告書概要(和文)」より

    • URL

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

URL: 

Published: 2010-02-04  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi