Logic-Based Probabilistic Modeling

  • Taisuke Sato
Conference paper

DOI: 10.1007/978-3-642-02261-6_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5514)
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.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Taisuke Sato
    • 1
  1. 1.Tokyo Institute of Technology, Ookayama MeguroTokyoJapan

Personalised recommendations