Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397
Номер 11-12 2019 год
Алгебраическая теория LP-структур предназначена для моделирования и оптимизации продукционных и подобных им в архитектурно-технологическом плане и по назначению систем в информатике. В предыдущих исследованиях автора были получены результаты, позволяющие обосновывать и автоматизировать решение ряда задач для логических систем продукционного типа: эквивалентные преобразования, устранение избыточности, верификация, ускорение обратного вывода. В настоящей работе представлена LP-структура, семантика которой охватывает нечеткие продукционные системы. В рамках расширенной модели возможности теории LP-структур оказываются доступными при построении и исследовании таких систем.