A heterogeneous parallel deduction system (1992) [12 citations — 2 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Sutcliffe92aheterogeneous,author = {Geoff Sutcliffe},
title = {A heterogeneous parallel deduction system},
booktitle = {In Proc. FGCS'92 Workshop W3},
year = {1992}
}
Years of Citing Articles
Abstract:
This paper describes the architecture, implementation and performance, of a heterogeneous parallel deduction system (HPDS). The HPDS uses multiple deduction components, each of which attempts to find a refutation of the same input set, but using different deduction formats. The components cooperate by distributing clauses they generate to other components. The HPDS has been implemented in Prolog-D-Linda. Prolog-D-Linda provides appropriate data transfer and synchronisation facilities for implementing parallel deduction systems. The performance of the HPDS has been investigated. Parallel Deduction Systems A parallel deduction system is one in which multiple deduction components run in parallel on separate processors. This is distinct from those deduction systems which run multiple deduction components alternately, such as the unit preference system [Wos, Carlson & RobinsonDG.A.,l1964], and those which are only conceptually parallel systems. Parallel deduction systems can be categorised along three axes. Homogeneous or Heterogeneous? In a homogeneous system the multiple deduction
Citations
| 46 | Automatic Deduction with Hyper-Resolution – Robinson - 1965 |
| 30 | Refutation graphs – Shostak - 1976 |
| 28 | Complexity and related enhancements for automated theorem-proving programs – McCharen, Overbeek, et al. - 1976 |
| 24 | A simplified format for the model elimination theorem-proving procedure – Loveland - 1969 |
| 8 | Random Competition: A Simple, but Efficient Method for Parallelizing Inference Systems – Ertel - 1990 |
| 3 | A Parallel Linear and UR-Derivation System – Sutcliffe - 1991 |
| 2 | The Semantically Guided Linear Deduction System – Sutcliffe - 1992 |
| 1 | Personal correspondence about evaluating parallel deduction systems – Suttner - 1992 |
