Parallelization in Inference Systems
Editat de Bertram Fronhöfer, Graham Wrightsonen Limba Engleză Paperback – 22 apr 1992
Preț: 326.68 lei
Preț vechi: 408.36 lei
-20%
Puncte Express: 490
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540554257
ISBN-10: 3540554254
Pagini: 388
Ilustrații: X, 378 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.59 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540554254
Pagini: 388
Ilustrații: X, 378 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.59 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Potentiality of parallelism in logic.- Parallel theorem provers An overview.- Parallel unification: Theory and implementations.- Connectionist inference systems.- Implementing parallel rewriting.- Experiments with Roo, a parallel automated deduction system.- A process algebra over the Herbrand Universe: Application to parallelism in automated deduction.- Using the Reform inference system for parallel Prolog.- Random competition: A simple, but efficient method for parallelizing inference systems.- Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification.- Constraint satisfaction via partially parallel propagation steps.- A parallel theorem prover with heuristic work distribution.- Non-WAM models of logic programming and their support by novel parallel hardware.- The adam abstract dataflow machine.- Parallel computation model for parallel prolog.- Application of connectionist models to fuzzy inference systems.- CHCL — A connectionist inference system.- Project Summaries.