Optimization of the Structure of Variable-Valued Logical Functions when Adding New Production Rules
Dmitriy Petrovich Dimitrichenko · 2022 International Russian Automation Conference (RusAutoCon) · 2022
In this paper, a theoretical justification and an algorithm for the optimal construction of variable-valued logical functions based on it are proposed, provided that new production rules are added to an already existing (within the original subject area) logical classifier. The proposed algorithm is based on the method of constructive transformation of variable-valued logical classifiers built on the basis of variable-valued predicates. The properties of changing the structures of production clauses and clauses of free knowledge in the process of adding new production rules are studied. The conditions under which these clauses are guaranteed to turn into a logical zero, or remain unchanged, are revealed. Accounting for these conditions in the proposed algorithm makes it possible to reduce the number of logical operations performed and ensure a reduction in computational costs to perform the required transformations.