Probabilistic logic revisited

DOI10.1016/0004-3702(93)90167-AMaRDI QIDQ2675269zbMATH OpenOpenAlexFDO

Authors Nils J. Nilsson

Publication date 21 September 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(93)90167-a

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Probability and inductive logic (03B48) History of computer science (68-03) Logic in artificial intelligence (68T27)

Cites work

• Anytime deduction for probabilistic logic
• Fuzzy logic and approximate reasoning
• scientific article; zbMATH DE number 3514748 (Why is no real title available?)
• scientific article; zbMATH DE number 582867 (Why is no real title available?)
• scientific article; zbMATH DE number 4185057 (Why is no real title available?)
• scientific article; zbMATH DE number 4189219 (Why is no real title available?)
• scientific article; zbMATH DE number 3054843 (Why is no real title available?)
• Probabilistic logic

Cited in

(21)

• Conditional probability and fuzzy information
• Logic optimality for multi-objective optimization
• Anytime deduction for probabilistic logic
• Sequent calculus for classical logic probabilized
• Direct algorithms for checking consistency and making inferences from conditional probability assessments
• Merging the local and global approaches to probabilistic satisfiability
• Reasoning about probabilistic sequential programs
• Weak nonmonotonic probabilistic logics
• Weakly complete axiomatization of exogenous quantum propositional logic
• Credal Calculi, Evidence, and Consistency
• Logics with Probability Operators
• Mass customization and ``forecasting options' penetration rates problem
• Generalizing probabilistic material implication and Bayesian conditionals
• Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
• On counting propositional logic and Wagner's hierarchy
• Towards logical foundations for probabilistic computation
• Curry and Howard meet Borel
• Conditional probabilities as degrees of similarity and as degrees of entailment
• Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation
• Probability and natural deduction
• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition

This page was built for publication: Probabilistic logic revisited

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