Logic-Based Probabilistic Modeling

  • Authors:
  • Taisuke Sato

  • Affiliations:
  • Tokyo Institute of Technology, Ookayama Meguro, Tokyo, Japan

  • Venue:
  • WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

After briefly mentioning the historical background of PLL/ SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distribution semantics, PRISM's semantics, which defines a probability measure on a set of possible Herbrand models. We then mention characteristic features of PRISM as a tool for probabilistic modeling.