A Development Framework and Verification Methodologies for Knowledge-Based Systems.
Hung-Chin JangPublished in: Int. J. Artif. Intell. Tools (1995)
Keyphrases
- knowledge based systems
- artificial intelligence
- knowledge engineering
- expert systems
- formal methods
- knowledge representation
- knowledge acquisition
- systems engineering
- support systems
- production rules
- knowledge base
- knowledge acquisition tools
- knowledge representation scheme
- civil engineering
- inference engine
- knowledge structures
- machine learning
- medical knowledge
- knowledge engineers
- proceedings of the th international conference
- software engineering
- case based reasoning
- probabilistic model