How to secure a high quality knowledge base in a rule-based system with uncertainty?

Although the first rule-based systems were created as early as thirty years ago, this methodology of expert systems designing still proves to be useful. It becomes especially important in medical applications, while treating evidence given in an electronic format. Constructing the knowledge base of a rule-based system and, especially, of a system with uncertainty is a difficult task because of the size of this base as well as its heterogeneous character. The base consists of facts, ordinary rules and meta-rules, which differ from each other regarding both the syntax structure and the semantics. Having no tool to aid designing and maintaining the knowledge base of a rule-based system with uncertainty, we propose the algebra of rules with uncertainty which gives us theoretical foundations to build such a tool. Using the tool, it will be possible to indicate the facts and rules of a redundant character, as well as the pairs of facts and the pairs of rules which are contradictory to each other. The above tool is used in designing and maintaining the knowledge base of a system intended to prognosticate the effects of a medical treatment of the bronchial asthma disease.