Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager.
Carsten SinzWolfgang KüchlinThomas LumppPublished in: APAQS (2001)
Keyphrases
- expert systems
- simulated annealing
- operating system
- fuzzy logic
- knowledge acquisition
- knowledge based systems
- knowledge representation
- inference engine
- model checking
- knowledge base
- artificial intelligence
- management system
- case based reasoning
- formal verification
- fault diagnosis
- knowledge engineering
- rule based systems
- data driven
- open source
- verification method
- knowledge based expert systems
- db universal database
- signature verification
- database
- database manager
- face verification
- genetic algorithm ga
- object oriented
- domain knowledge
- control program
- user interface
- databases
- high level overview
- data sets