A SYSTEM OF PARALLEL INFERENCE WITH THE USE OF A CONNECTION GRAPH

Authors
VAGIN VN SALAPINA NO
Citation
Vn. Vagin et No. Salapina, A SYSTEM OF PARALLEL INFERENCE WITH THE USE OF A CONNECTION GRAPH, Journal of computer & systems sciences international, 37(5), 1998, pp. 699-707
Citations number
8
Categorie Soggetti
Computer Science Theory & Methods","Computer Science Artificial Intelligence","Computer Science Cybernetics","Computer Science Theory & Methods","Computer Science Artificial Intelligence","Computer Science Cybernetics
Journal title
Journal of computer & systems sciences international → ACNP
ISSN journal
10642307
Volume
37
Issue
5
Year of publication
1998
Pages
699 - 707
Database
ISI
SICI code
1064-2307(1998)37:5<699:ASOPIW>2.0.ZU;2-6
Abstract
A theoretical foundation and description of a practical realization of methods of parallel inference on connection graphs in the first order predicate logic is given. Types of parallelism in the inference proce ss are considered. A system of parallel inference is presented, and th e analysis of the results of inference is carried out for test example s.