Распараллеливание алгоритмов решения задач дедуктивного и правдоподобного вывода на основе алгебры кортежей
Рассматриваются возможности эффективного распараллеливания вычислительных процессов, связанных с решением задач дедуктивного и правдоподобного выводов на основе алгебры кортежей, в основе которой лежат матричные структуры.
Авторы: Б. А. Кулик, Ю. А. Шичкина
Направление: Информатика и компьютерные технологии
Ключевые слова: Дедуктивные и пересматриваемые рассуждения, алгебра кортежей, распараллеливание, информационный граф
Открыть полный текст статьи