DOI: 10.17587/prin.7.252-257

УДК: 512.563.6

Расширенная модель LP-вывода на булевой решетке

И. Ю. Иванов, аспирант, e-mail: hour1scorp@gmail.com, Воронежский государственный университет

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

Ключевые слова: продукционно-логические системы, математические решетки, пропозициональная логика, обратный вывод, LP-структуры, LP-вывод, продукционно-логические уравнения, общее решение

Стр. 252–257

Работа поддержана грантом РФФИ № 15-07-05341