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

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