Аннотация доклада.

Теория LP-структур предоставляет эффективный аппарат для исследования процессов управления знаниями, верификации знаний и оптимизации логического вывода в различных разделах информатики. Стратегия релевантного обратного LP-вывода направлена на минимизацию числа обращений к внешним источникам информации. Исследования и эксперименты показывают, что при использовании данного подхода, по сравнению с обычным обратным выводом, снижение числа внешних запросов составляет в среднем 15–20%.

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