Меню
Публикации
Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор
Партнеры
УДК004.89
Бессмертный И. А.
Читать статью полностью
Аннотация
ТЕОРЕТИКО-МНОЖЕСТВЕННЫЙ ПОДХОД К ЛОГИЧЕСКОМУ ВЫВОДУ В БАЗАХ ЗНАНИЙ
Читать статью полностью

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