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

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