Parallelization of Inference Systems by Using an Abstract Machine PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Parallelization of Inference Systems by Using an Abstract Machine PDF full book. Access full book title Parallelization of Inference Systems by Using an Abstract Machine by Johann M. Schumann. Download full books in PDF and EPUB format.
Author: Johann M. Schumann
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 17
Get Book Here
Book Description
Abstract: "In this paper we will present a framework for the sequential and parallel execution of a variety of different inference systems. For the execution of an inference system, several basic building blocks can be identified (see [Wil90]): Input Language, Basic Data Types, Structure Building, Parameter Transfer, Searching, Side Effects, and Stop Condition. By selecting an appropriate value for each building block, the execution of the inference system can be determined. For the execution of inference systems, we define an abstract machine, the AIM, which has machine instructions for each of the possible values of each building block. By selecting the appropriate set of machine instructions, an interpreter (or code templates for compilation) can be written, using these instructions. This approach also facilitates the parallelization of the given inference system: for each of the building blocks, several different kinds of parallel model can be detected. Since each building block represents a number of AIM instructions, parallelization can be accomplished easily by exchanging these instructions by their parallel counter-parts. The other instructions are left untouched. Some examples will be given to illustrate this approach."
Author: Johann M. Schumann
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 17
Get Book Here
Book Description
Abstract: "In this paper we will present a framework for the sequential and parallel execution of a variety of different inference systems. For the execution of an inference system, several basic building blocks can be identified (see [Wil90]): Input Language, Basic Data Types, Structure Building, Parameter Transfer, Searching, Side Effects, and Stop Condition. By selecting an appropriate value for each building block, the execution of the inference system can be determined. For the execution of inference systems, we define an abstract machine, the AIM, which has machine instructions for each of the possible values of each building block. By selecting the appropriate set of machine instructions, an interpreter (or code templates for compilation) can be written, using these instructions. This approach also facilitates the parallelization of the given inference system: for each of the building blocks, several different kinds of parallel model can be detected. Since each building block represents a number of AIM instructions, parallelization can be accomplished easily by exchanging these instructions by their parallel counter-parts. The other instructions are left untouched. Some examples will be given to illustrate this approach."
Author: Johann Schumann
Publisher:
ISBN:
Category :
Languages : de
Pages : 17
Get Book Here
Book Description
Author: Bertram Fronhöfer
Publisher: Springer Science & Business Media
ISBN: 9783540554257
Category : Computers
Languages : en
Pages : 390
Get Book Here
Book Description
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.
Author: Bertram Fronhofer
Publisher:
ISBN: 9783662205372
Category :
Languages : en
Pages : 388
Get Book Here
Book Description
Author: M. Kara
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 240
Get Book Here
Book Description
Author: Hidehiko Tanaka
Publisher: IOS Press
ISBN: 9781586030865
Category : Computers
Languages : en
Pages : 300
Get Book Here
Book Description
This text describes the machine model designed to support parallel interface, the design of the Kleng language, the design and implementation of the parallel interface engine, the programming tools, the runtime system, and some evaluation results. The architecture of the PIE 64 is tuned specially to support parallel inference. The compiler and runtime systems proposed here are designed to reduce the overhead that inevitably incurrs when using fine granularity processing.
Author: Philip C. Treleaven
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 328
Get Book Here
Book Description
The book brings together in one source a comprehensive review of the work of ESPRIT Project 415. It also provides a good overview of the general area of novel parallel computer architectures and programming languages. Chapter 1 provides a survey of parallel computing research in Europe; chapter 2 provides a background to parallel computing techniques. It comprises sections on the major application areas of parallel processing, high level programming languages, models of parallel computation, parallel hardware architectures, language implementation & execution. Chapters 3, 4 describe the work of Subproject A; chapters 5 through 9 present Subprojects B to F, respectively.
Author: Kazunori Ueda
Publisher:
ISBN:
Category : Concurrent programming
Languages : en
Pages : 13
Get Book Here
Book Description
Abstract: "We review the design of the concurrent logic language GHC, the basis of the kernel language for the Parallel Inference Machine being developed in the Japanese Fifth Generation Computer Systems project, and the design of the parallel language KL1, the actual kernel language being implemented and used. The key idea in the design of these languages is the separation of concurrency and parallelism. Clarification of concepts of this kind seems to play an important role in bridging the gap between parallel inference systems and knowledge information processing in a coherent manner. In particular, design of a new kernel language has always encouraged us to reexamine and reorganize various existing notions related to programming and to invent new ones."
Author: John R. Davy
Publisher: Oxford University Press, USA
ISBN:
Category : Computers
Languages : en
Pages : 360
Get Book Here
Book Description
The papers collected in this volume cover a wide range of issues relevant to abstract models, including terminology and concepts for abstract models of computation, models for general purpose parallel computing, declarative models, performance modelling, and special purpose parallel models.The papers originated from the Second Workshop on Abstract Machine Models for Highly Parallel Computers, sponsored by the BCS Parallel Processing Specialist Group. Overall themes of the workshop were the specification, implementation, and application of such models, and the identification of keyissues for future research.
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 704
Get Book Here
Book Description
