Отправить статью по E-mail 
Многоуровневые LP-структуры в системах переписывания
- Авторы: Махортов С.Д.1
-
Учреждения:
- Воронежский государственный университет
- Выпуск: № 2.2 (2010)
- Страницы: 19-23
- Раздел: Статьи
- URL: https://journals.rudn.ru/miph/article/view/8284
Цитировать
Полный текст
Аннотация
Вводится алгебраическая система, содержащая семантику множества правил условной эквациональной теории (или системы переписывания термов). Для данной модели рассматриваются следующие основные вопросы: существование логического замыкания, эквивалентные преобразования, построение логической редукции. Полученные результаты могут применяться для исследования и автоматической оптимизации соответствующего множества правил.
Об авторах
Сергей Дмитриевич Махортов
Воронежский государственный университет
Email: sd@expert.vrn.ru
Факультет прикладной математики, информатики и механики; Воронежский государственный университет
Список литературы
- 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.
- Dershowitz N., Okada M., Sivakumar G. Canonical Conditional Rewrite Systems. // Lect. Notes Comput. Sci. - 1988. - Vol. 310. - Pp. 538-549.
- 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.
- Klop J. W. Osborne Handbooks of Logic In Computer Science.-Oxford University Press, New York, 1992. - Vol. 2.
- 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.
