Discrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational Science2658-46702658-7149Peoples' Friendship University of Russia named after Patrice Lumumba (RUDN University)8284ArticlesСтатьиMulti-level LP-Structures in Rewriting SystemsМногоуровневые LP-структуры в системах переписыванияMakhortovS DМахортовСергей Дмитриевич ; Voronezh State UniversityФакультет прикладной математики, информатики и механики; Воронежский государственный университетsd@expert.vrn.ruVoronezh State UniversityВоронежский государственный университет020220102.2NO2.2 (2010)№2.2 (2010)192308092016Copyright ©; 2010, Махортов С.Д.2010Махортов С.Д.http://creativecommons.org/licenses/by/4.0https://journals.rudn.ru/miph/article/view/8284An algebraic system containing the semantics of a set of rules of the conditional equational theory (or the conditional term rewriting system) is introduced. The following basic questions are considered for the given model: existence of logical closure, equivalent transformations, construction of logical reduction. The obtained results can be applied to analysis and automatic optimization of the corresponding set of rules.Вводится алгебраическая система, содержащая семантику множества правил условной эквациональной теории (или системы переписывания термов). Для данной модели рассматриваются следующие основные вопросы: существование логического замыкания, эквивалентные преобразования, построение логической редукции. Полученные результаты могут применяться для исследования и автоматической оптимизации соответствующего множества правил.algebraic systemconditional rewritingequivalent transformationlogical reductionалгебраические системысистемы переписыванияэквивалентные преобразованиялогическое замыкание1.Toyama Y. On Equivalence Transformations for Term Rewrite Systems. In Proceedings of the 1983 and 1984 RIMS Symposia on Software Science and Engineering // Lect. Notes Comput. Sci. - 1986. - Vol. 220. - Pp. 44-61.2.Dershowitz N., Okada M., Sivakumar G. Canonical Conditional Rewrite Systems. // Lect. Notes Comput. Sci. - 1988. - Vol. 310. - Pp. 538-549.3.Hammer P. L., Kogan A. Optimal Compression of Propositional Horn Knowledge Bases: Complexity and Approximation // Artif. Intell. - 1993. - Vol. 64, No 1. - Pp. 131-145.4.Klop J. W. Osborne Handbooks of Logic In Computer Science.-Oxford University Press, New York, 1992. - Vol. 2.5.Aho A. V., Garey M. R., Ulman J. D. The Transitive Reduction of a Directed Graph // SIAM J. Computing. - 1972. - Vol. 1, No 2. - Pp. 131-137.