Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification.
Mar MarcosSabine MoisanAngel P. del PobilPublished in: Appl. Intell. (1999)
Keyphrases
- knowledge base
- knowledge representation
- knowledge acquisition
- expert systems
- relevant knowledge
- domain experts
- knowledge based systems
- knowledge sources
- computer programs
- domain knowledge
- description logics
- higher level
- expert knowledge
- modeling language
- background knowledge
- knowledge sharing
- conceptual model
- semantic network
- representing knowledge
- subject matter
- reasoning process
- hardware designs
- knowledge repository
- active learning
- general knowledge
- knowledge structures
- knowledge transfer
- knowledge engineering
- rule base
- knowledge discovery
- belief revision