LIPSAT
swMATH ID:  28633 
Software Authors:  Finger, Marcelo; Preto, Sandro 
Description:  Probably half true: probabilistic satisfiability over Łukasiewicz infinitelyvalued logic. We study probabilisticlogic reasoning in a context that allows for “partial truths”, focusing on computational and algorithmic properties of nonclassical Łukasiewicz infinitelyvalued probabilistic logic. In particular, we study the satisfiability of joint probabilistic assignments, which we call LIPSAT. Although the search space is initially infinite, we provide linear algebraic methods that guarantee polynomial size witnesses, placing LIPSAT complexity in the NPcomplete class. An exact satisfiability decision algorithm is presented which employs, as a subroutine, the decision problem for Łukasiewicz infinitelyvalued (non probabilistic) logic, that is also an NPcomplete problem. We develop implementations of the algorithms described and discuss the empirical presence of a phase transition behavior for those implementations. 
Homepage:  https://link.springer.com/chapter/10.1007%2F9783319942056_14 
Related Software:  Lingeling; MiniSat; Yices; SCIP 
Referenced in:  6 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

Probably half true: probabilistic satisfiability over Łukasiewicz infinitelyvalued logic. Zbl 1468.68199 Finger, Marcelo; Preto, Sandro 
2018

Referenced by 3 Authors
4  Finger, Marcelo 
3  Preto, Sandro 
2  Mundici, Daniele 
Referenced in 3 Serials
1  Artificial Intelligence 
1  Advances in Applied Mathematics 
1  Journal of Automated Reasoning 