Content deleted Content added
No edit summary |
replaced a couple of acronyms with the full term for clarity |
||
Line 19:
PSL combines two tools: [[first-order logic]], with its ability to succinctly represent complex phenomena, and [[graphical model | probabilistic graphical models]], which capture the uncertainty and incompleteness inherent in real-world knowledge.
More specifically, PSL uses [[Fuzzy logic | "soft" logic]] as its logical component and [[Markov random fields]] as its statistical model.
PSL provides sophisticated inference techniques for finding the most likely answer (i.e. the [[Maximum_a_posteriori_estimation|maximum a posteriori (MAP)]] state).
The "softening" of the logical formulas makes inference a [[polynomial time]] operation rather than an [[NP-hardness | NP-hard]] operation.
== Description ==
|