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.
Swipe to navigate through the chapters of this book
Please log in to get access to this content
To get access to this content you need the following product:
- Logic-Based Probabilistic Modeling
- Springer Berlin Heidelberg
- Sequence number
Neuer Inhalt/© ITandMEDIA