Knowledge acquisition and verification tools for medical expert systems.

Expert systems require large amounts of domain knowledge for non-trivial problem solving. Experience in developing such systems has shown that the processes of acquiring domain knowledge (knowledge acquisition) and of determining whether the knowledge is consistent, complete, and correct (knowledge verification) are major problems. This paper discusses various tools developed to assist in these two processes. These tools bring additional knowledge to bear, or provide better interfaces between a knowledge engineer and the expert system's knowledge.