Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence 590

This Volume Contains The Proceedings Of An International Workshop On Parallelism In Inference Systems Held In Germany In December 1990. The Topicof The Workshop Is Still Rather Young And Several Papers In The Book Are Overview Articles Intended To Provide A First Orientation Toward Some Of The More Intensively Investigated Subtopics. The Main Part Of The Book Is A Compilation Of Research Papers On Parallelization In Special Domains Ofinference Such As Rewriting, Automatic Reasoning, Logic Programming, Andconnectionist Inference. Appended To The Book Is A Collection Of Short Project Summaries Received In Response To A Worldwide Email Call. The Book Is Intended Primarily For Researchers Working On Inference Systems Who Are Interested In Parallelizing Their Systems.--publisher's Website. B. Fronhöfer, G. Wrightson, Eds. Includes Bibliographical References. Potentiality of parallelism in logic....Pages 1-25 Parallel theorem provers An overview....Pages 26-50 Parallel unification: Theory and implementations....Pages 51-81 Connectionist inference systems....Pages 82-120 Implementing parallel rewriting....Pages 121-138 Experiments with Roo, a parallel automated deduction system....Pages 139-162 A process algebra over the Herbrand Universe: Application to parallelism in automated deduction....Pages 163-181 Using the Reform inference system for parallel Prolog....Pages 182-194 Random competition: A simple, but efficient method for parallelizing inference systems....Pages 195-209 Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification....Pages 210-233 Constraint satisfaction via partially parallel propagation steps....Pages 234-242 A parallel theorem prover with heuristic work distribution....Pages 243-252 Non-WAM models of logic programming and their support by novel parallel hardware....Pages 253-269 The adam abstract dataflow machine....Pages 270-289 Parallel computation model for parallel prolog....Pages 290-302 Application of connectionist models to fuzzy inference systems....Pages 303-317 CHCL — A connectionist inference system....Pages 318-342 Project Summaries....Pages 343-372 Annotation This volume contains the proceedings of an internationalworkshop on parallelism in inference systems held in Germanyin December 1990. The topicof the workshop is still ratheryoung and several papers in the book are overview articlesintended to provide a first orientation toward some of themore intensively investigated subtopics.The main part of the book is a compilation of researchpapers on parallelization in special domains ofinferencesuch as rewriting, automatic reasoning, logic programming,andconnectionist inference. Appended to the book is acollection of short project summaries received in responseto a worldwide email call.The book is intended primarily for researchers working oninference systems who are interested in parallelizing theirsystems