Knowledge-Based Systems: Verification and Validation in the view of Certification.
Anca I. VermesanPublished in: EUROVAV (1997)
Keyphrases
- knowledge based systems
- formal methods
- expert systems
- knowledge acquisition
- knowledge base
- knowledge engineering
- artificial intelligence
- knowledge representation
- knowledge representation scheme
- medical knowledge
- knowledge sources
- knowledge structures
- machine learning
- model checking
- rule based systems
- civil engineering
- deep knowledge
- fuzzy sets
- linguistic summarization