A trustful monad for axiomatic reasoning with probability and nondeterminism.
Reynald AffeldtJacques GarrigueDavid NowakTakafumi SaikawaPublished in: J. Funct. Program. (2021)
Keyphrases
- knowledge base
- htn planning
- knowledge representation
- probability distribution
- analogical reasoning
- reasoning systems
- machine learning
- logical reasoning
- situation calculus
- subjective probabilities
- database
- model based reasoning
- formal models
- reasoning process
- spatial reasoning
- probabilistic reasoning
- model based diagnosis
- conditional probabilities
- orders of magnitude
- expert systems