The Formalization Of Knowledge-Based Systems Validation And Verification: Promises And Pitfalls.
Erik HollnagelPublished in: IFIP Congress (3) (1992)
Keyphrases
- knowledge based systems
- knowledge representation
- formal methods
- expert systems
- knowledge acquisition
- knowledge base
- model checking
- inference engine
- artificial intelligence
- knowledge sources
- production rules
- knowledge structures
- medical knowledge
- civil engineering
- deep knowledge
- knowledge representation scheme
- knowledge engineering
- rule based systems
- fuzzy sets
- probabilistic model
- learning process