Logic-Based Probabilistic Modeling
- Cite this paper as:
- Sato T. (2009) Logic-Based Probabilistic Modeling. In: Ono H., Kanazawa M., de Queiroz R. (eds) Logic, Language, Information and Computation. WoLLIC 2009. Lecture Notes in Computer Science, vol 5514. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.