Аннотация:
В статье исследуются различные алгоритмы параллельного логического вывода, основанные на принципе резолюции. Проведены экспериментальные исследования алгоритмов на компьютерных системах с общей памятью и кластере. Описанные результаты показывают влияние архитектуры и характеристик компьютерных систем, степени распараллеливания и эвристик на эффективность параллельного вывода.
Ключевые слова:логика, принцип резолюции, алгоритмы, параллельные вычисления, параллельный логический вывод.
Полный текст:
PDF файл (679 kB)
