Parallelism in Logic (Artificial Intelligence) - Couverture souple

Kurfess, Franz

Couverture souple

ISBN 10 : 3528051639 ISBN 13 : 9783528051631

Editeur : Friedr Vieweg & Sohn Verlagsgesellschaft, 1991

Synopsis

The potential of parallelism in logic reaches far beyond the exploitation of AND- and OR-parallelism usually found in attempts to parallelize PROLOG. This book discusses parallelism in logic and its exploitation on parallel architectures. A variety of categories of parallelism is discussed with respect to different levels of a logical formula and different ways to evaluate it. As an outcome of these investigations it is shown that modularity allows s tructuring of logic programs and meta-evaluation can be used to c ontrol the evaluation process on a parallel system. This combinat ion yields a consistent programming framework with a wide scope. Finally, the suitability of a specific evaluation mechanism for p arallel architectures is investigated.

Détails de l'édition

• Éditeur: Friedr Vieweg & Sohn Verlagsgesellschaft
• Date d'édition: 1991
• Langue: allemand
• ISBN 10: 3528051639
• ISBN 13: 9783528051631
• Reliure: Broché
• Nombre de pages: 316
• Coordonnées du fabricant: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Allemagne