Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings.
Nate SoaresBenja FallensteinPublished in: AGI (2015)
Keyphrases
- reasoning systems
- knowledge base
- qualitative reasoning
- resource bounded
- analogical reasoning
- information retrieval
- artificial intelligence
- knowledge representation
- spatial reasoning
- automated reasoning
- data sets
- reasoning tasks
- fuzzy description logics
- reasoning engine
- reasoning mechanisms
- model based reasoning
- formal models
- causal reasoning
- logical framework
- meta level
- inference engine
- neural network