В ряде ранее опубликованных работ автором был предложен алгебраический аппарат (теория LP-структур), позволяющий формализовать продукционно-логический вывод на основе теории решеток и отношений. Этот аппарат применим для автоматизированного исследования свойств баз знаний на основе формальных моделей, включая их верификацию и оптимизацию. В настоящей статье кратко представлены функциональные возможности созданного автором пакета программ LPExpert, предназначенного для разработки продукционных систем и содержащего компьютерную реализацию LP-структур. Ключевые слова: продукционная система, алгебраическая модель, управление знаниями, компьютерная реализация.
