ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

В. П. Кутепов, М.М. Кумачев "Параллельный логический вывод на компьютерных системах"

Аннотация.

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

Ключевые слова:

логика, принцип  резолюции, алгоритмы, параллельные вычисления, параллельный логический вывод.

Стр. 63-76.

V.P. Kutepov, M.M. Kumachev

"Parallel logical inference by using computer systems  "

Purpose of the article is researching of parallel logical inference algorithms based on the resolution rule. Algorithms were tested on the computer systems with shared memory and cluster. Research results show influence on the parallel inference efficiency of the architecture and parameters of the computer systems, degree of parallelism and heuristics.

Keywords: logic, resolution rule, algorithms, parallel computing, parallel logical inference

Полная версия статьи в формате pdf.