The COMPASS Expert System: Verification, Technology Transfer, and Expansion.
David S. PrerauAlan GundersonRobert E. ReinkeS. K. GoyalPublished in: CAIA (1985)
Keyphrases
- technology transfer
- expert systems
- e government
- model checking
- knowledge engineering
- knowledge based systems
- fuzzy logic
- knowledge acquisition
- current status
- nasa langley research center
- user interface
- knowledge base
- formal verification
- artificial intelligence
- inference engine
- face verification
- signature verification
- expert knowledge
- data sets
- fault diagnosis
- case based reasoning
- design science
- formal methods
- hybrid intelligent
- knowledge based expert systems