МЕТОДЫ ПОИСКА ИНФОРМАЦИИ В ПРОДУКЦИОННЫХ СИСТЕМАХ
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; профессор
Читать статью полностью

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