Handling variables in a logical network of rules, revision of consistency controlling method of the plan of action manager SUPER

The problem of using global variables to improve the representation capacities of the SUPER expert system is addressed. The first difficulty is to propagate the domain of definition of the variables along the knowledge base using the AND/OR transitive relations between rules. The second problem is to upgrade the algorithm that has been defined for the consistency maintenance of the knowledge base for propositional logic to the level of logic with global variables. Answers are given to both problems: (1) the principles for chaining rules with global variables are given; (2) tools for computing the propagation of the domain of variables along the knowledge base are defined; (3) consistency definitions are given and tools for maintaining the consistency of the knowledge base as it incrementally increases are proposed