Validation and verification of decision making rules.
Abbas K. ZaidiAlexander H. LevisPublished in: Autom. (1997)
Keyphrases
- decision making
- decision process
- model checking
- logical rules
- association rules
- decision makers
- decision support system
- decision support
- verification method
- fuzzy logic
- business intelligence
- bounded rationality
- formal verification
- rule generation
- business rules
- rule sets
- data sets
- information processing
- knowledge management
- data mining