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
Preț estimativ în valută:
57.72€ • 66.54$ • 50.39£
57.72€ • 66.54$ • 50.39£
Carte tipărită la comandă
Livrare economică 16-30 mai
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.