Probabilistic (logic) programming concepts
From MaRDI portal
Publication:894692
DOI10.1007/S10994-015-5494-ZzbMATH Open1346.68050arXiv1312.4328OpenAlexW811924890MaRDI QIDQ894692FDOQ894692
Authors: Luc De Raedt, Angelika Kimmig 
Publication date: 2 December 2015
Published in: Machine Learning (Search for Journal in Brave)
Abstract: A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling of complex, structured probability distributions. Each of these languages employs its own probabilistic primitives, and comes with a particular syntax, semantics and inference procedure. This makes it hard to understand the underlying programming concepts and appreciate the differences between the different languages. To obtain a better understanding of probabilistic programming, we identify a number of core programming concepts underlying the primitives used by various probabilistic languages, discuss the execution mechanisms that they require and use these to position state-of-the-art probabilistic languages and their implementation. While doing so, we focus on probabilistic extensions of logic programming languages such as Prolog, which have been developed since more than 20 years.
Full work available at URL: https://arxiv.org/abs/1312.4328
Recommendations
statistical relational learningprobabilistic logic programmingprobabilistic programming languagesinference in probabilistic languages
Cites Work
- \(k\)-optimal: a novel approximate inference algorithm for ProbLog
- WHIRL: A word-based information representation language
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Complexity of Enumeration and Reliability Problems
- Logic in Computer Science
- Markov logic networks
- Title not available (Why is that?)
- Probabilistic Horn abduction and Bayesian networks
- On the implementation of the probabilistic logic programming language ProbLog
- Abducing through negation as failure: stable models within the independent choice logic
- Title not available (Why is that?)
- Logic Programming
- The Independent Choice Logic and Beyond
- The magic of logical inference in probabilistic programming
- Probabilistic databases
- Stochastic relational processes: efficient inference and applications
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Title not available (Why is that?)
- Probabilistic reasoning with answer sets
- Representing Causal Information About a Probabilistic Process
- Basic Principles of Learning Bayesian Logic Programs
- Logical hidden Markov models
- Inductive Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
- Extending ProbLog with Continuous Distributions
- Title not available (Why is that?)
- Extended semantics and inference for the Independent Choice Logic
- CHR(PRISM)-based probabilistic logic learning
- Variational Bayes via propositionalized probability computation in PRISM
- Lifted graphical models: a survey
- Dedicated tabling for a probabilistic setting
- Lifted variable elimination for probabilistic logic programming
- Probabilistic programming languages: independent choices and deterministic systems
- Approximate Inference for Logic Programs with Annotated Disjunctions
- A probabilistic logic programming event calculus
- Model-Theoretic Expressivity Analysis
- Dynamic Programming Algorithms as Products of Weighted Logic Programs
- On the Efficient Execution of ProbLog Programs
- Title not available (Why is that?)
- Computational Methods in Systems Biology
Cited In (41)
- P-log: refinement and a new coherency condition
- The generalised distribution semantics and projective families of distributions
- Declarative probabilistic programming with Datalog
- Aspmc: new frontiers of algebraic answer set counting
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- Semirings for probabilistic and neuro-symbolic logic programming
- A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}
- A semantics for hybrid probabilistic logic programs with function symbols
- On the probability and cost of ignorance, inconsistency, nonsense and more
- Incremental reasoning in probabilistic signal temporal logic
- Probabilistic abstract argumentation frameworks, a possible world view
- Understanding probabilistic programs
- Learning Effect Axioms via Probabilistic Logic Programming
- Languages for probabilistic modeling over structured and relational domains
- Forecasting with jury-based probabilistic argumentation
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- Distributional logic programming for Bayesian knowledge representation
- The distribution semantics for normal programs with function symbols
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- Model-Theoretic Expressivity Analysis
- On the Efficient Execution of ProbLog Programs
- Probabilistic abductive logic programming using Dirichlet priors
- Asymptotic elimination of partially continuous aggregation functions in directed graphical models
- Explanations as programs in probabilistic logic programming
- An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Neural probabilistic logic programming in DeepProbLog
- Fabular: regression formulas as probabilistic programming
- Tuning similarity-based fuzzy logic programs
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- A general approach to reasoning with probabilities
- A probabilistic language based upon sampling functions
- Lifted discriminative learning of probabilistic logic programs
- Monads for measurable queries in probabilistic databases
- Probabilistic programming languages: independent choices and deterministic systems
- From statistical relational to neurosymbolic artificial intelligence: a survey
- A comparison of statistical relational learning and graph neural networks for aggregate graph queries
- Declarative probabilistic logic programming in discrete-continuous domains
- Learning probabilistic logic programs over continuous data
- Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification
- Implementing a library for probabilistic programming using non-strict non-determinism
Uses Software
This page was built for publication: Probabilistic (logic) programming concepts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q894692)
