Probabilistic (logic) programming concepts
From MaRDI portal
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 48812 (Why is no real title available?)
- scientific article; zbMATH DE number 710106 (Why is no real title available?)
- scientific article; zbMATH DE number 1753155 (Why is no real title available?)
- scientific article; zbMATH DE number 1875392 (Why is no real title available?)
- scientific article; zbMATH DE number 783783 (Why is no real title available?)
- scientific article; zbMATH DE number 970710 (Why is no real title available?)
- A probabilistic logic programming event calculus
- Abducing through negation as failure: stable models within the independent choice logic
- Approximate Inference for Logic Programs with Annotated Disjunctions
- Basic Principles of Learning Bayesian Logic Programs
- CHR(PRISM)-based probabilistic logic learning
- CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Computational Methods in Systems Biology
- Dedicated tabling for a probabilistic setting
- Dynamic Programming Algorithms as Products of Weighted Logic Programs
- Extended semantics and inference for the Independent Choice Logic
- Extending ProbLog with Continuous Distributions
- Inductive Logic Programming
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Lifted graphical models: a survey
- Lifted variable elimination for probabilistic logic programming
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Logic in Computer Science
- Logical hidden Markov models
- Markov logic networks
- Model-Theoretic Expressivity Analysis
- On the Efficient Execution of ProbLog Programs
- On the implementation of the probabilistic logic programming language ProbLog
- Probabilistic Horn abduction and Bayesian networks
- Probabilistic databases
- Probabilistic programming languages: independent choices and deterministic systems
- Probabilistic reasoning with answer sets
- Representing Causal Information About a Probabilistic Process
- Stochastic relational processes: efficient inference and applications
- The Complexity of Enumeration and Reliability Problems
- The Independent Choice Logic and Beyond
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- The magic of logical inference in probabilistic programming
- Variational Bayes via propositionalized probability computation in PRISM
- WHIRL: A word-based information representation language
- \(k\)-optimal: a novel approximate inference algorithm for ProbLog
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 semantics for hybrid probabilistic logic programs with function symbols
- A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}
- Incremental reasoning in probabilistic signal temporal logic
- Probabilistic abstract argumentation frameworks, a possible world view
- On the probability and cost of ignorance, inconsistency, nonsense and more
- 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
- The distribution semantics for normal programs with function symbols
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- Distributional logic programming for Bayesian knowledge representation
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- 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
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
- Neural probabilistic logic programming in DeepProbLog
- Fabular: regression formulas as probabilistic programming
- A general approach to reasoning with probabilities
- Tuning similarity-based fuzzy logic programs
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- Lifted discriminative learning of probabilistic logic programs
- A probabilistic language based upon sampling functions
- Probabilistic programming languages: independent choices and deterministic systems
- Monads for measurable queries in probabilistic databases
- From statistical relational to neurosymbolic artificial intelligence: a survey
- A comparison of statistical relational learning and graph neural networks for aggregate graph queries
- Learning probabilistic logic programs over continuous data
- Declarative probabilistic logic programming in discrete-continuous domains
- Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification
- Implementing a library for probabilistic programming using non-strict non-determinism
Describes a project that uses
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)
