Combining nondeterminism, probability, and termination: equational and metric reasoning.
Matteo MioRalph SarkisValeria VignudelliPublished in: CoRR (2020)
Keyphrases
- theorem proving
- term rewriting
- htn planning
- model based reasoning
- reasoning tasks
- automated reasoning
- metric space
- situation calculus
- metric learning
- similarity metric
- probability distribution
- cross entropy
- probability measures
- distance measure
- probability theory
- similarity measure
- knowledge base
- artificial intelligence
- machine learning