Probabilistic reasoning in a classical logic

DOI10.1016/J.JAL.2007.11.008MaRDI QIDQ2390656zbMATHOpenAlexFDO

Authors K. S. Ng, John W. Lloyd

Publication date 3 August 2009

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2007.11.008

zbMATH Keywords

type theoryprobabilistic reasoninghigher-order logicprobability densitiesintegrating logic and probability

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48)

Recommendations

• scientific article; zbMATH DE number 988760
• Probabilistic modelling, inference and learning using logical theories
• Publication:3028979
• Probability logics
• Probabilities on sentences in an expressive logic

Cites work

• scientific article; zbMATH DE number 1696788 (Why is no real title available?)
• scientific article; zbMATH DE number 4060392 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 53088 (Why is no real title available?)
• scientific article; zbMATH DE number 1332654 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 1749187 (Why is no real title available?)
• scientific article; zbMATH DE number 1749201 (Why is no real title available?)
• scientific article; zbMATH DE number 3999882 (Why is no real title available?)
• scientific article; zbMATH DE number 1827454 (Why is no real title available?)
• scientific article; zbMATH DE number 1911272 (Why is no real title available?)
• A probabilistic language based upon sampling functions
• Advances in Intelligent Data Analysis VI
• An analysis of first-order logics of probability
• Factor graphs and the sum-product algorithm
• First-Order Probabilistic Languages: Into the Unknown
• Graphical models
• Hybrid probabilistic programs
• Learning Modal Theories
• Logic Programming and Nonmonotonic Reasoning
• Markov logic networks
• Models for machine learning and data mining in functional programming
• Pattern recognition and machine learning.
• Probabilistic logic
• Probabilistic logic programming
• Real Analysis and Probability
• Reasoning about knowledge and probability
• Stochastic lambda calculus and monads of probability distributions
• The computational complexity of probabilistic inference using Bayesian belief networks
• The generalized distributive law

Cited in

(10)

• Probabilistic interpretation of logical inference in possibility theory
• Interpretable encoding of densities using possibilistic logic
• Reasoning about conditional probabilities in a higher-order-logic theorem prover
• scientific article; zbMATH DE number 2072493 (Why is no real title available?)
• scientific article; zbMATH DE number 1849165 (Why is no real title available?)
• Probabilities on sentences in an expressive logic
• scientific article; zbMATH DE number 2079260 (Why is no real title available?)
• A type theory for probabilistic and Bayesian reasoning
• Probabilistic Logic and Induction
• Probabilistic modelling, inference and learning using logical theories

Describes a project that uses

Uses Software

• ETPS
• BLOG
• PRMLT

This page was built for publication: Probabilistic reasoning in a classical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390656)