Parallelization of Logical Inference for Confluent Rule-based System
| Data(s) |
07/04/2010
07/04/2010
2008
|
|---|---|
| Resumo |
* 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 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. |
| Identificador |
1313-0455 |
| Idioma(s) |
en |
| Publicador |
Institute of Information Theories and Applications FOI ITHEA |
| Palavras-Chave | #Logical Inference #Parallel Rule-Based Systems |
| Tipo |
Article |
