Probabilistic satisfiability and coherence checking through integer programming

Fabio G. Cozman, Lucas Fargoni Di Ianni

Resultado de la investigación: Contribución a una revistaArtículo

9 Citas (Scopus)

Resumen

© 2014 Elsevier Inc. This paper presents algorithms, both for probabilistic satisfiability and for coherence checking, that rely on reduction to integer programming. That is, we verify whether probabilistic assessments can be satisfied by standard probability measures (Kolmogorovian setting) or by full conditional probabilities (de Finettian coherence setting), and in both cases verify satisfiability or coherence using integer programming techniques. We present an empirical evaluation of our method, the results of which show evidence of phase transitions.
Idioma originalInglés estadounidense
Páginas (desde-hasta)57-70
Número de páginas14
PublicaciónInternational Journal of Approximate Reasoning
DOI
EstadoPublicada - 1 ene 2015
Publicado de forma externa

Huella Profundice en los temas de investigación de 'Probabilistic satisfiability and coherence checking through integer programming'. En conjunto forman una huella única.

  • Citar esto