ProbTA: A sound and complete proof rule for probabilistic verification.
Guanyan LiZhilei HanFei HePublished in: CoRR (2022)
Keyphrases
- cost based abduction
- uncertain data
- association rules
- generative model
- probabilistic model
- model checking
- formal verification
- information systems
- data sets
- inference process
- theorem proving
- active databases
- information theoretic
- logical rules
- provably correct
- probabilistic reasoning
- rule sets
- fuzzy sets
- graphical models
- decision trees
- databases