Logic-Based Probabilistic Modeling

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.

• Type: Conference
• Year: 2009
• Where: WOLLIC
• Authors: Taisuke Sato
• Keywords: Applied Computing, Logic-based Modeling Language, Possible Herbrand Models, PRISM’s Semantics, WOLLIC 2009