ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ УДК 681.3.06 О ПРИЛОЖЕНИЯХ LP-СТРУКТУР В ТЕОРИИ ПРОГРАММИРОВАНИЯ С. Д. <...> Махортов Воронежский государственный университет В предыдущих работах автором были предложены алгебраические системы (LP-структуры), формализующие продукционно-логический вывод на основе теории решеток и бинарных отношений. <...> Дальнейшие исследования показали применимость данной технологии в различных областях теории программирования. <...> К таковым относятся: верификация и оптимизация баз знаний экспертных продукционных систем, представление математических знаний, исследование свойств императивных алгоритмов, автоматизация рефакторинга, упрощение множеств правил условных систем переписывания термов. <...> ВВЕДЕНИЕ Алгебраические системы являются эффективным средством формального построения и исследования компьютерных программ, относящихся к различным парадигмам и технологиям [1—3]. <...> Этот подход позволяет абстрактными математическими методами решать важные задачи, включая верификацию и оптимизацию баз знаний. <...> Классической является теория Линденбаума—Тарского [4], рассматривающая логику высказываний как универсальную алгебру, операции которой соответствуют логическим связкам пропозиционального языка. <...> Однако в силу своей универсальности общая алгебраическая логика не решает некоторых интересных частных проблем, связанных с широко распространенными на практике системами продукционного типа [8]. <...> Для исследования таких систем в работах [9—10] автором были предложены алгебраи© Махортов С. Д., 2007 40 ческие структуры, позволяющие рассматривать задачи формализации продукционно-логического вывода с точки зрения теории решеток и бинарных отношений. <...> Первое определяет решетку (задает на ней частичный порядок) и для текущей модели является постоянным. <...> Решетку с заданным на ней логическим отношением можно назвать LP-структурой (Lattice- или Logical-Production Structure). <...> При изучении этих структур были <...>