Knowledge Base Decomposition to Facilitate Verification.
Sumit SarkarMysore RamaswamyPublished in: Inf. Syst. Res. (2000)
Keyphrases
- knowledge base
- expert systems
- knowledge based systems
- description logics
- knowledge retrieval
- hierarchical decomposition
- model checking
- knowledge acquisition
- logic programming
- decomposition method
- wordnet
- domain experts
- background knowledge
- knowledge representation
- machine learning
- person identification
- website
- formal verification
- signature verification
- reasoning process
- formal analysis
- formal methods
- face verification
- wavelet packet
- knowledge structures
- semantic network
- rule base