Overview of current practice and research initiatives for the verification and validation of KBS.
Terri J. LydiardPublished in: Knowl. Eng. Rev. (1992)
Keyphrases
- current practice
- knowledge based systems
- knowledge base
- model checking
- e government
- case study
- face verification
- knowledge representation
- verification method
- genetic algorithm
- concurrent systems
- databases
- asynchronous circuits
- monte carlo
- model validation
- smart city
- allocation policy
- formal analysis
- formal methods
- knowledge acquisition
- multiscale
- website
- information systems
- data mining