Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds.
Jonas Philipp HaldimannChristoph BeierleGabriele Kern-IsbernerPublished in: NMR (2023)
Keyphrases
- deductive reasoning
- inference engine
- probabilistic reasoning
- multiple representations
- evidential reasoning
- inference process
- abductive inference
- logical inference
- structured representations
- plausible reasoning
- hypothetical reasoning
- nonmonotonic inference
- bayesian networks
- reasoning under uncertainty
- abductive reasoning
- knowledge representation
- cognitive processing
- backward chaining
- representing knowledge
- knowledge base
- inference mechanism
- neural network
- reasoning process
- structured prediction
- production rules
- reasoning systems
- expert systems
- reasoning tasks
- analogical reasoning
- automated reasoning
- qualitative reasoning
- graphical representation
- belief networks
- probabilistic inference
- probabilistic logic
- mental imagery
- reasoning mechanisms
- rule based reasoning
- uncertain information
- qualitative models
- dynamic bayesian networks
- meta level
- bayesian inference
- first order logic
- description logics
- artificial intelligence