IMI-BAS BAS
 

BulDML at Institute of Mathematics and Informatics >
ITHEA >
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: http://hdl.handle.net/10525/1008

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
URI: http://hdl.handle.net/10525/1008
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 DSpace Software Copyright © 2002-2009  The DSpace Foundation - Feedback