Uncertainty-Based Knowing How Logic.
Carlos ArecesRaul FervariAndrés R. SaraviaFernando R. Velázquez-QuesadaPublished in: CoRR (2023)
Keyphrases
- probability theory
- multi valued
- inherent uncertainty
- modal logic
- classical logic
- logic programming
- learning algorithm
- uncertain data
- asynchronous circuits
- machine learning
- databases
- proof theory
- delay insensitive
- probabilistic knowledge
- database
- epistemic logic
- predicate logic
- robust optimization
- possibility theory
- automated reasoning
- expected utility
- expert systems
- decision trees
- neural network