A Geometric Presentation of Probabilistic Satisfiability
Logic in Computer Science
2010-07-07 v1
Abstract
By considering probability distributions over the set of assignments the expected truth values assignment to propositional variables are extended through linear operators, and the expected truth values of the clauses at any given conjunctive form are also extended through linear maps. The probabilistic satisfiability problems are discussed in terms of the introduced linear extensions. The case of multiple truth values is also discussed.
Cite
@article{arxiv.1007.0788,
title = {A Geometric Presentation of Probabilistic Satisfiability},
author = {Guillermo Morales-Luna},
journal= {arXiv preprint arXiv:1007.0788},
year = {2010}
}