Combinatorial optimization in the area of deductive derivability in expert production systems

We consider the problem of discrete optimization with 0–1 variables under the condition that the admissible solutions are logical production systems in the knowledge base of an expert system. A two-stage algorithm for solution of the problem is proposed. Translated fromDinamicheskie Sistemy, Vol. 12, pp. 108–113, 1993.