Probabilistic sentence satisfiability: An approach to PSAT.
Thomas C. HendersonRobert SimmonsBernard SerbinowskiMichael ClineDavid SacharnyXiuyi FanAmar MitichePublished in: Artif. Intell. (2020)
Keyphrases
- satisfiability problem
- phase transition
- bayesian networks
- natural language
- np complete
- sat problem
- probabilistic model
- generative model
- cnf formula
- probabilistic context free grammars
- uncertain data
- computational complexity
- conditional probabilities
- constraint satisfaction
- propositional logic
- cellular automata
- orders of magnitude