Both probabilistic satisfiability (PSAT) and the check of coherence of probability assessment (CPA) can be considered as probabilistic counterparts of the classical propositional satisfiability problem (SAT). Actually, CPA turns out to be a particular case of PSAT; in this paper, we compare the computational complexity of these two problems for some classes of instances. First, we point out the relations between these probabilistic problems and two well known optimization counterparts of SAT, namely Max SAT and Min SAT. We then prove that Max SAT with unrestricted weights is NP-hard for the class of graph formulas, where Min SAT can be solved in polynomial time. In light of the aforementioned relations, we conclude that PSAT is NP-complete for ideal formulas, where CPA can be solved in linear time.
Probability Logic and Optimization SAT: the PSAT and CPA Models / Pretolani, Daniele. - In: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE. - ISSN 1012-2443. - STAMPA. - 43 (1-4)(2005), pp. 211-221.
Data di pubblicazione: | 2005 |
Titolo: | Probability Logic and Optimization SAT: the PSAT and CPA Models |
Autore/i: | Pretolani, Daniele |
Autore/i UNIMORE: | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s10472-004-9430-3 |
Rivista: | |
Volume: | 43 (1-4) |
Pagina iniziale: | 211 |
Pagina finale: | 221 |
Codice identificativo ISI: | WOS:000225469000012 |
Codice identificativo Scopus: | 2-s2.0-10344244555 |
Citazione: | Probability Logic and Optimization SAT: the PSAT and CPA Models / Pretolani, Daniele. - In: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE. - ISSN 1012-2443. - STAMPA. - 43 (1-4)(2005), pp. 211-221. |
Tipologia | Articolo su rivista |
File in questo prodotto:

I documenti presenti in Iris Unimore sono rilasciati con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia, salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris