Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving.
Kangfeng YeJim WoodcockSimon FosterPublished in: CoRR (2023)
Keyphrases
- automated reasoning
- theorem proving
- reasoning tasks
- logical inference
- decision procedures
- theorem prover
- predicate calculus
- first order logic
- model theoretic
- probability theory
- inference rules
- probabilistic reasoning
- formal semantics
- modal operators
- parallel search
- term rewriting
- logical framework
- bayesian networks
- conditional probabilities
- knowledge representation and reasoning
- algebraic structure
- proof planning
- valued logic
- probabilistic model
- proof procedure
- consequence finding
- prime implicants
- operational semantics
- belief change
- logic programming
- knowledge representation
- geometry theorem proving
- abductive reasoning
- propositional logic
- probabilistic inference