A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism.
Reynald AffeldtJacques GarrigueDavid NowakTakafumi SaikawaPublished in: CoRR (2020)
Keyphrases
- knowledge base
- probability distribution
- htn planning
- automated reasoning
- rule based reasoning
- knowledge representation
- analogical reasoning
- reasoning systems
- reasoning tasks
- meta level
- production rules
- logical reasoning
- reasoning mechanisms
- possibility theory
- neural network
- posterior probability
- conditional probabilities
- fuzzy logic
- expert systems
- decision making
- genetic algorithm
- machine learning