Abstract A ProbLog program is a logic with facts that only hold specified probability. In this contribution, we extend language by the ability to answer “What if” queries. Intuitively, defines distribution solving system of equations in terms mutually independent predefined Boolean random variables. theory causality, Judea Pearl proposes counterfactual reasoning for such systems equations. Base...

support vector regression (svr) solves regression problems based on the concept of support vector machine (svm). in this paper, a new model of svr with probabilistic constraints is proposed that any of output data and bias are considered the random variables with uniform probability functions. using the new proposed method, the optimal hyperplane regression can be obtained by solving a quadrati...

Stochastic approximation methods for variational inference have recently gained popularity in the probabilistic programming community since these are amenable to automation and allow online, scalable, universal approximate Bayesian inference. Unfortunately, common Probabilistic Programming Languages (PPLs) with stochastic engines lack efficiency of message passing-based algorithms deterministic...

Automated planning is a major topic of research in artificial intelligence, and enjoys a long and distinguished history. The classical paradigm assumes a distinguished initial state, comprised of a set of facts, and is defined over a set of actions which change that state in one way or another. Planning in many real-world settings, however, is much more involved: an agent’s knowledge is almost ...