Verification and validation of Bayesian knowledge-bases.
Eugene Santos Jr.Published in: Data Knowl. Eng. (2001)
Keyphrases
- knowledge base
- description logics
- model checking
- expert systems
- bayesian networks
- knowledge acquisition
- knowledge based systems
- posterior probability
- wordnet
- data driven
- knowledge representation
- bayesian inference
- maximum likelihood
- posterior distribution
- bayesian estimation
- formal verification
- real time
- formal methods
- bayesian learning
- learning algorithm
- logic programming
- information systems
- face verification
- machine learning
- data sets
- database
- theory revision
- cryptographic protocols
- asynchronous circuits
- meta knowledge
- verification method
- false acceptance rate
- bayesian decision
- functional verification