BulDML at Institute of Mathematics and Informatics: Parallelization of Logical Inference for Confluent Rule-based System

	Home

Browse
	Communities & Collections
	Issue Date
	Author
	Title
	Subject

Sign on to:
	Receive email updates
	My DSpace authorized users
	Edit Profile


	About DSpace

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	Size	Format
IBS-01-p11.pdf		135.7 kB	Adobe PDF	View/Open

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

Creative Commons License