The effect of reasoning logics on real-time decision making.
Giampiero E. G. BeroggiWilliam A. WallacePublished in: IEEE Trans. Syst. Man Cybern. Part A (1997)
Keyphrases
- real time
- decision making
- reasoning and decision making
- decision makers
- expressive power
- multi agent decision making
- nonmonotonic inference
- computational properties
- inheritance reasoning
- proof theory
- real time systems
- automated reasoning
- inference rules
- default reasoning
- quality of service
- data mining
- modal logic
- nonmonotonic reasoning
- logic programs
- description logics
- knowledge management
- reasoning systems
- reasoning problems
- low cost
- proof theoretic
- knowledge representation
- intuitionistic logic
- control system
- artificial intelligence