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 (35)
- P-log: refinement and a new coherency condition
- The generalised distribution semantics and projective families of distributions
- Aspmc: new frontiers of algebraic answer set counting
- 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
- Incremental reasoning in probabilistic signal temporal logic
- Probabilistic abstract argumentation frameworks, a possible world view
- 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
- Learning Probabilistic Logic Programs over Continuous Data
- 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
- Asymptotic elimination of partially continuous aggregation functions in directed graphical models
- Explanations as programs in probabilistic logic programming
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
- 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
- Tuning similarity-based fuzzy logic programs
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- A general approach to reasoning with probabilities
- 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
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
- A comparison of statistical relational learning and graph neural networks for aggregate graph queries
- Declarative probabilistic logic programming in discrete-continuous domains
- Title not available (Why is that?)
- Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification
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)
