Generalized probabilistic satisfiability

Glauber De Bona, Fábio G. Cozman, Marcelo Finger

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

1 Cita (Scopus)

Resumen

This paper studies the Generalized Probabilistic Satisfiability (GPSAT) problem, where the probabilistic satisfiability problem is extended by allowing Boolean combinations of probabilistic assertions and nested probabilistic formulas. We introduce a normal form for this problem and show that nesting of probabilities does not increase the expressivity in GPSAT. An algorithm to solve GPSAT problems via mixed integer programming is proposed, and its implementation shows evidence of phase-transition phenomena. © 2013 IEEE.
Idioma originalInglés estadounidense
Páginas182-188
Número de páginas7
DOI
EstadoPublicada - 1 ene 2013
Publicado de forma externa
EventoProceedings - 2013 Brazilian Conference on Intelligent Systems, BRACIS 2013 -
Duración: 1 ene 2013 → …

Conferencia

ConferenciaProceedings - 2013 Brazilian Conference on Intelligent Systems, BRACIS 2013
Período1/01/13 → …

Huella Profundice en los temas de investigación de 'Generalized probabilistic satisfiability'. En conjunto forman una huella única.

  • Citar esto

    De Bona, G., Cozman, F. G., & Finger, M. (2013). Generalized probabilistic satisfiability. 182-188. Papel presentado en Proceedings - 2013 Brazilian Conference on Intelligent Systems, BRACIS 2013, . https://doi.org/10.1109/BRACIS.2013.38