Многоуровневые LP-структуры в системах переписывания

Обложка

Цитировать

Полный текст

Аннотация

Вводится алгебраическая система, содержащая семантику множества правил условной эквациональной теории (или системы переписывания термов). Для данной модели рассматриваются следующие основные вопросы: существование логического замыкания, эквивалентные преобразования, построение логической редукции. Полученные результаты могут применяться для исследования и автоматической оптимизации соответствующего множества правил.

Об авторах

Сергей Дмитриевич Махортов

Воронежский государственный университет

Email: sd@expert.vrn.ru
Факультет прикладной математики, информатики и механики; Воронежский государственный университет

Список литературы

  2. 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.
  3. Dershowitz N., Okada M., Sivakumar G. Canonical Conditional Rewrite Systems. // Lect. Notes Comput. Sci. - 1988. - Vol. 310. - Pp. 538-549.
  4. 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.
  5. Klop J. W. Osborne Handbooks of Logic In Computer Science.-Oxford University Press, New York, 1992. - Vol. 2.
  6. 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.

© Махортов С.Д., 2010

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах