BulDML at Institute of Mathematics and Informatics >
International Book Series Information Science and Computing >
2008 >
Book 1 Algorithmic and Mathematical Foundations of the Artificial Intelligence >

Please use this identifier to cite or link to this item:

Title: Parallelization of Logical Inference for Confluent Rule-based System
Authors: Artemieva, Irene
Tyutyunnik, Michael
Keywords: Logical Inference
Parallel Rule-Based Systems
Issue Date: 2008
Publisher: Institute of Information Theories and Applications FOI ITHEA
Abstract: The article describes the research aimed at working out a program system for multiprocessor computers. The system is based on the confluent declarative production system. The article defines some schemes of parallel logical inference and conditions affecting scheme choice.
Description: * This paper was made according to the program № 14 of fundamental scientific research of the Presidium of the Russian Academy of Sciences, the project 06-I-П14-052
ISSN: 1313-0455
Appears in Collections:Book 1 Algorithmic and Mathematical Foundations of the Artificial Intelligence

Files in This Item:

File Description SizeFormat
IBS-01-p11.pdf135.7 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!   Creative Commons License