Decision-making support based on the combination of CBR and logic reasoning.
Huizhang ShenJidi ZhaoPublished in: ISCRAM (2010)
Keyphrases
- decision making support
- case based reasoning
- rule based reasoning
- expert systems
- automated reasoning
- deductive reasoning
- proof theory
- model based reasoning
- computational properties
- human reasoning
- emergency response
- order of magnitude reasoning
- reasoning engine
- logical inference
- knowledge base
- intuitionistic logic
- logical framework
- proof theoretic
- knowledge representation
- decision making
- reasoning tasks
- probabilistic logic
- abductive reasoning
- horn logic
- classical logic
- inference mechanism
- reasoning about actions
- modal logic
- logic programming
- decision support
- case study
- artificial intelligence
- default reasoning
- information systems