Sound and Complete Proof Rules for Probabilistic Termination.
Rupak MajumdarV. R. SathiyanarayanaPublished in: CoRR (2024)
Keyphrases
- set of inference rules
- inference rules
- logical rules
- active rules
- theorem proving
- probabilistic relational
- theorem prover
- termination analysis
- cut elimination
- cost based abduction
- term rewriting
- sequent calculus
- probabilistic model
- generative model
- association rules
- rule sets
- conditional probabilities
- classification rules
- natural deduction
- probability theory
- bayesian networks
- rewrite systems
- domain experts
- decision rules
- production rules
- posterior probability
- probabilistic logic
- active databases
- boolean expressions
- rule induction
- background knowledge
- association rule mining
- information theoretic
- knowledge discovery
- argumentation schemes
- proof theoretic
- integrity constraints
- uncertain data
- human experts