This article is cited in 1 paper

Modeling and control

Parallel logical inference by using computer systems

V. P. Kutepov, M. M. Kumachev

Moscow Power Engineering Institute

Abstract: 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.

 English version: , 2013, 40:6, 403–413

Bibliographic databases:

•