A Logic for Reasoning about Safety in Decision Support Systems.
Subrata Kumar DasJohn FoxPublished in: ECSQARU (1993)
Keyphrases
- decision support system
- formal theory
- decision support
- decision making
- modal operators
- decision makers
- expert systems
- agent based architecture
- logic programming
- risk management
- decision process
- data warehouse
- classical logic
- management system
- case based reasoning
- probabilistic knowledge
- machine learning
- causal reasoning
- modal logic
- support systems
- clinical trials
- information management
- knowledge elicitation
- medical decision support systems
- emergency management
- learning systems
- end users
- relational databases