Markov Logic Style Weighted Rules under the Stable Model Semantics.
Joohyung Lee, Yunsong Meng, Yi Wang · International Conference on Lightning Protection · 2015
We introduce the language LP MLN that extends logic programs under the stable model semantics to allow weighted rules similar to the way Markov Logic considers weighted formulas. LP MLN is a proper extension of the stable model semantics to enable probabilistic reasoning, providing a way to handle inconsistency in answer set programming. We also show that the recently established logical relationship between Pearl’s Causal Models and answer set programs can be extended to the probabilistic setting via LP MLN .