Рассматривается задача логического вывода в системах искусственного интеллекта, использующих большое число фактов и правил. Основной проблемой таких систем является быстрый рост сложности логического вывода с увеличением числа фактов и правил. Предлагается устранить про­блему комбинаторной сложности задачи логического вывода путем использования операций реляционной алгебры над множе­ствами кортежей переменных. Приводятся результаты измерений скорости логического вывода в среде СУБД MS ACCESS и в среде Prolog.

Известия высших учебных заведений. Приборостроение. [Текст] / МО РФ, СПб ГУИТМО. — СПб.

• УДК // Прикладні системи штучного інтелекту. Інтелектуальні системи, основані на знаннях