Models and algorithms for probabilistic and Bayesian logic

Authors:
Pierre Hansen;Brigitte Jaumard;Guy-Blaise Douanya Nguetse;Marcus Poggi De Aragao
Affiliations:
Ecole des Hautes Etudes Commerciales, Montreal, Quebec, Canada;Ecole Polytechnique de Montreal, Montreal, Quebec, Canada;Ecole Polytechnique de Montreal, Canada;Univ. Estadual de Campinas, Brazil
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Year:
1995

Citing 13
Cited 21

Probabilistic logic

Artificial Intelligence
Probabilistic Satisfiability

Journal of Complexity
Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Algorithms for the maximum satisfiability problem

Computing
The basic algorithm for pseudo-Boolean programming revisited

Selected papers on First international colloquium on pseudo-boolean optimization and related topics
Anytime deduction for probabilistic logic

Artificial Intelligence
Bayesian logic

Decision Support Systems - Special issue on logic modeling
Boole's conditions of possible experience and reasoning under uncertainty

Discrete Applied Mathematics - Special volume: Aridam VI and VII, Rutcor, New Brunswick, NJ, USA (1991 and 1992)
Probabilistic Consistency of Knowledge Bases in Inference Systems

ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Probabilistic Satisfiability and Decomposition

ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Computing probability intervals under independency constraints

UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
An Investigation of the Laws of Thought

An Investigation of the Laws of Thought

Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events

CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
On the Linear Structure of Betting Criterion and the Checking of Coherence

Annals of Mathematics and Artificial Intelligence
Probabilistic Reasoning Under Coherence in System P

Annals of Mathematics and Artificial Intelligence
Axiomatization of frequent itemsets

Theoretical Computer Science
Axiomatization of Frequent Sets

ICDT '01 Proceedings of the 8th International Conference on Database Theory
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report

ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the checking of G-coherence of conditional probability bounds

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Combining probabilistic logic programming with the power of maximum entropy

Artificial Intelligence - Special issue on nonmonotonic reasoning
Probabilistic logic under coherence: complexity and algorithms

Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics

Artificial Intelligence
Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation

International Journal of Approximate Reasoning
Expressive probabilistic description logics

Artificial Intelligence
Itemset frequency satisfiability: Complexity and axiomatization

Theoretical Computer Science
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Managing uncertainty and vagueness in description logics for the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
Probabilistic deduction with conditional constraints over basic events

Journal of Artificial Intelligence Research
Weak nonmonotonic probabilistic logics

Artificial Intelligence
A refuted conjecture on probabilistic satisfiability

SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
A hybrid method for probabilistic satisfiability

CADE'11 Proceedings of the 23rd international conference on Automated deduction
Probabilistic satisfiability: logic-based algorithms and phase transition

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Solutions for hard and soft constraints using optimized probabilistic satisfiability

SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

An overview is given, with new results, of mathematical models and algorithms for probabilistic logic, probabilistic entailment and various extensions. Analytical and numerical solutions are considered, the former leading to automated generation of theorems in the theory of probabilities. Ways to restore consistency and relationship with Bayesian networks are also studied.