Probabilistic satisfiability and coherence checking through integer programming

Authors:
Fabio Gagliardi Cozman;Lucas Fargoni di Ianni
Affiliations:
Universidade de Sao Paulo, Sao Paulo, SP, Brazil;Universidade de Sao Paulo, Sao Paulo, SP, Brazil
Venue:
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2013

Citing 14
Cited 0

Probabilistic logic

Artificial Intelligence
Probabilistic Satisfiability

Journal of Complexity
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Probabilistic logic programming

Information and Computation
Anytime deduction for probabilistic logic

Artificial Intelligence
Learning the impossible

Probability and conditionals
Introduction to Linear Optimization

Introduction to Linear Optimization
Easy Cases of Probabilistic Satisfiability

Annals of Mathematics and Artificial Intelligence
Simplification Rules for the Coherent Probability Assessment Problem

Annals of Mathematics and Artificial Intelligence
Reasoning about Uncertainty

Reasoning about Uncertainty
Probabilistic logic under coherence: complexity and algorithms

Annals of Mathematics and Artificial Intelligence
Merging the local and global approaches to probabilistic satisfiability

International Journal of Approximate Reasoning
Expressive probabilistic description logics

Artificial Intelligence
Probabilistic satisfiability: logic-based algorithms and phase transition

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents algorithms based on integer programming, both for probabilistic satisfiability and coherence checking. That is, we consider probabilistic assessments for both standard probability measures (Kolmogorovian setup) and full conditional measures (de Finettian coherence setup), and in both cases verify satisfiability/coherence using integer programming. We present empirical evaluation of our method, with evidence of phase-transitions.