Conditionals, Infeasible Worlds, and Reasoning with System W.
Jonas HaldimannChristoph BeierleGabriele Kern-IsbernerThomas MeyerPublished in: FLAIRS (2023)
Keyphrases
- default rules
- inheritance reasoning
- reasoning systems
- proof theoretic
- nonmonotonic reasoning
- knowledge base
- automated reasoning
- rule based reasoning
- meta level
- real time
- computationally expensive
- knowledge representation
- artificial intelligence
- search space
- analogical reasoning
- nonmonotonic inference
- neural network
- reasoning mechanisms
- reasoning mechanism
- commonsense reasoning
- reasoning problems
- probabilistic reasoning
- consistency checking
- computational properties
- database
- qualitative reasoning
- default reasoning
- production rules