Математическая логика, алгебра, теория чисел и дискретная математика

Конъюнктивные запросы к базам знаний: какую семантику выбрать?

С. П. Кикоть^a, М. Н. Рыбаков<sup>bca

a</sup> Высшая школа современной математики МФТИ, г. Москва
^b Тверской государственный университет, г. Тверь
^c Национальный исследовательский университет "Высшая школа экономики", г. Москва

Аннотация: В области компьютерных наук под названием «представление знаний» (knowledge representation) некоторое время назад одним из стандартов стала следующая парадигма. Под базой знаний (knowledge base) подразумевается архитектура, объединяющая в себе данные, знания общего характера и механизм логического вывода, позволяющий генерировать на основе базовых данных и знаний новую информацию, а также использовать её для ответов на запросы к системе. В этом обзоре мы сосредоточимся на сценарии, когда под данными подразумевается набор замкнутых атомов, под знаниями - онтология в той или иной дескрипционной логике, а в качестве языка запросов выбраны конъюнктивные запросы (conjunctive queries). Цель настоящей работы - собрать воедино теоретические и практические результаты о трудоёмкости процедур построения ответа в зависимости от семантики, то есть формального определения того, что считать ответом на запрос.

Ключевые слова: базы знаний, конъюнктивные запросы, семантика, сложность вычислений.

УДК: 510.6, 004.6, 164.2

Поступила в редакцию: 05.08.2025
Исправленный вариант: 25.08.2025
Принята в печать: 06.10.2025

DOI: 10.26456/vtpmk754

Реферативные базы данных:

•