Knowledge base

Model base is mathematical domain knowledge. Rule base and restrictions base are a logical domain knowledge. Base of advices and advices files are knowledge explanatory and supplementary. Restrictions base contains collections of exclusive inquired conditions. If one of the conditions is not true then all the other conditions can not be true. In knowledge base restrictions base is not necessary.

Advices base is a text file that contains ordered pairs:

(numer_of_rule, name_of_advice_for_rule)

It is a kind of text files catalog of advices for the rule base.

Advice files are text files that are assigned to particular rules of the rule base. It happens that some rules may have many advice files.