BulDML at Institute of Mathematics and Informatics >
International Journal ITA >
2006 >
Volume 13 Number 3 >

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

Title: The Development of Parallel Resolution Algorithms Using the Graph Representation
Authors: Averin, Andrey
Vagin, Vadim
Keywords: Automated Reasoning
Logical inference
Issue Date: 2006
Publisher: Institute of Information Theories and Applications FOI ITHEA
Abstract: The parallel resolution procedures based on graph structures method are presented. OR-, AND- and DCDP- parallel inference on connection graph representation is explored and modifications to these algorithms using heuristic estimation are proposed. The principles for designing these heuristic functions are thoroughly discussed. The colored clause graphs resolution principle is presented. The comparison of efficiency (on the Steamroller problem) is carried out and the results are presented. The parallel unification algorithm used in the parallel inference procedure is briefly outlined in the final part of the paper.
ISSN: 1313-0463
Appears in Collections:Volume 13 Number 3

Files in This Item:

File Description SizeFormat
ijita13-3-p10.pdf205.19 kBAdobe PDFView/Open


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


Valid XHTML 1.0!   Creative Commons License