Probabilistic logic programming
From MaRDI portal
The logic programming language for expressing a probabilistic information is proposed. \(P\)-programs are finite sets of clauses of a special kind: the head of a clause is an atomic formula loaded by a closed interval \([a,b]\), and the body is a set of formulae (not only atomic) which are loaded by closed intervals too. The formula \(F:[a,b]\) denotes that the probability of \(F\) lies in the interval \([a,b]\). The fixpoint semantic and probabilistic model semantics are developed for such programs. A refutational procedure for a query processing to \(P\)- programs is proposed which is based on SLD-resolution.
Recommendations
Cites work
- A kripke-kleene semantics for logic programs*
- An Efficient Unification Algorithm
- An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities (1854)
- Bilattices and the semantics of logic programming
- Concerning measures in first order calculi
- Evidential support logic programming
- Fuzzy algorithms
- Fuzzy sets
- scientific article; zbMATH DE number 4181307 (Why is no real title available?)
- scientific article; zbMATH DE number 3112450 (Why is no real title available?)
- scientific article; zbMATH DE number 3123490 (Why is no real title available?)
- scientific article; zbMATH DE number 3167425 (Why is no real title available?)
- scientific article; zbMATH DE number 3857064 (Why is no real title available?)
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 4026795 (Why is no real title available?)
- scientific article; zbMATH DE number 4029251 (Why is no real title available?)
- scientific article; zbMATH DE number 4057054 (Why is no real title available?)
- scientific article; zbMATH DE number 4064538 (Why is no real title available?)
- scientific article; zbMATH DE number 4089320 (Why is no real title available?)
- scientific article; zbMATH DE number 3560492 (Why is no real title available?)
- scientific article; zbMATH DE number 4128792 (Why is no real title available?)
- scientific article; zbMATH DE number 4193644 (Why is no real title available?)
- scientific article; zbMATH DE number 3230247 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- scientific article; zbMATH DE number 3271180 (Why is no real title available?)
- scientific article; zbMATH DE number 3321248 (Why is no real title available?)
- scientific article; zbMATH DE number 3345438 (Why is no real title available?)
- scientific article; zbMATH DE number 4185057 (Why is no real title available?)
- scientific article; zbMATH DE number 3060775 (Why is no real title available?)
- Paraconsistent disjunctive deductive databases
- Probabilistic logic
- Probabilistic logic programming
- Probability logic
- Quantitative deduction and its fixpoint theory
- Redundancy in mathematical programming. A state-of-the-art survey
- The logical foundations of statistical inference
- The Paraconsistent Logics PJ
- The Paraconsistent Logics PJ
Cited in
(only showing first 100 items - show all)- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- The theory of interval probabilistic logic programs
- Probabilistic logic programming
- Interval-valued probabilistic logic for a class of Horn clauses
- Annotated fuzzy logic programs
- Fuzzy types: A framework for handling uncertainty about types of objects
- Approximate reasoning by similarity-based SLD resolution.
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Hybrid probabilistic logic programs as residuated logic programs
- On the complexity of inference about probabilistic relational models
- Speeding up parameter and rule learning for acyclic probabilistic logic programs
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Explanations as programs in probabilistic logic programming
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- Special issue on probabilistic logic programming (PLP 2018)
- Probabilization of logics: completeness and decidability
- P-log: refinement and a new coherency condition
- Probabilistic satisfiability and coherence checking through integer programming
- Probabilistic logic with independence
- Probabilistic description logic programs under inheritance with overriding for the semantic Web
- Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
- Probabilistic reasoning in a classical logic
- RankPL: a qualitative probabilistic programming language
- Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
- Quantitative pharmacophore models with inductive logic programming
- Consistency checking and querying in probabilistic databases under integrity constraints
- Probabilistic inductive logic programming. Theory and applications
- A framework for management of semistructured probabilistic data
- PRL: a probabilistic relational language
- Agent-oriented probabilistic logic programming
- A new approach to hybrid probabilistic logic programs
- Statistical statements in probabilistic logic programming
- Uncertain inheritance and recognition as probabilistic default reasoning
- Semantics for possibilistic disjunctive programs
- Super-Solutions
- On the complexity of probabilistic abstract argumentation frameworks
- ProbLog Technology for Inference in a Probabilistic First Order Logic
- Modularity of P-log programs
- On the implementation of the probabilistic logic programming language ProbLog
- Products of weighted logic programs
- A logical theory of localization
- Reasoning with uncertainty in deductive databases and logic programs
- The distribution semantics for normal programs with function symbols
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- A Logical Approach to Qualitative and Quantitative Reasoning
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
- Probabilistic logic programming with conditional constraints
- A Survey of First-Order Probabilistic Models
- A declarative semantics for CLP with qualification and proximity
- Probabilistic reasoning with answer sets
- Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
- scientific article; zbMATH DE number 1964824 (Why is no real title available?)
- scientific article; zbMATH DE number 2080205 (Why is no real title available?)
- Focused most probable world computations in probabilistic logic programs
- Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
- Who shaves the barber, and with what probability?
- Random logic programs: linear model
- Using histograms to better answer queries to probabilistic logic programs
- scientific article; zbMATH DE number 2085265 (Why is no real title available?)
- scientific article; zbMATH DE number 2090552 (Why is no real title available?)
- Hybrid probabilistic programs
- Sound and complete SLD-resolution for bilattice-based annotated logic programs
- Coalgebraic semantics for probabilistic logic programming
- Optimizing probabilities in probabilistic logic programs
- Nonground abductive logic programming with probabilistic integrity constraints
- An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version)
- Negative probabilities in probabilistic logic programs
- On the complexity of propositional and relational credal networks
- scientific article; zbMATH DE number 7102019 (Why is no real title available?)
- Declarative probabilistic programming with Datalog
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- Logic Programming
- Logic Programming
- On the semantics and complexity of probabilistic logic programs
- Logic Programming and Nonmonotonic Reasoning
- Revising Probabilistic Prolog Programs
- Multi-class Prediction Using Stochastic Logic Programs
- New Advances in Logic-Based Probabilistic Modeling by PRISM
- CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
- Quantitative Logic Programming Revisited
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming
- On the Efficient Execution of ProbLog Programs
- scientific article; zbMATH DE number 2209388 (Why is no real title available?)
- A TUPLE-ORIENTED ALGORITHM FOR DEDUCTION IN A FUZZY RELATIONAL DATABASE
- Probabilistic agent programs
- scientific article; zbMATH DE number 7649893 (Why is no real title available?)
- On the independence requirement in Dempster-Shafer theory for combining classifiers providing statistical evidence
- On the independence requirement in Dempster-Shafer theory for combining classifiers providing statistical evidence
- Parameter estimation in stochastic logic programs
- A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
- Forecasting with jury-based probabilistic argumentation
- Probabilistic programming inference via intensional semantics
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- Semirings for probabilistic and neuro-symbolic logic programming
- Languages for probabilistic modeling over structured and relational domains
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- Annotated nonmonotonic rule systems
This page was built for publication: Probabilistic logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1207942)
