| EPSRC Reference: |
GR/J48979/01 |
| Title: |
PARALLEL TEMPORAL THEOREM PROVING |
| Principal Investigator: |
Gurd, Professor JR |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Victoria University of Manchester, The |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1993 |
Ends: |
30 November 1996 |
Value (£): |
243,057
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
To investigate the parallelisation of temporal theorem-proving, and clausal temporal resolution in particular. To design and implement efficient parallel algorithms for temporal theorem-proving, using anabstract machine' approach. To investigate the scope for generalising this work to other symbolic computations.Progress:Work on parallel tableau algorithms is well-advanced: A distributed implementation using STRAND88 on Sun workstations has been developed and evaluated, and a parallel implementation on the KSR1 is nearing completion. Work on parallel resolution algorithms is progressing similarly: A Prolog-based temporal resolution system has been ported to the KSR1, and a partial prototype of another parallel resolution algorithm is nearing completion using STRAND88.Theoretical work on novel temporal resolution techniques, and on correctness and complexity properties of the various parallel algorithms, is progressing alongside the practical work. The work is now being undertaken by a collaboration between three Manchester sites, with Dr. Michael Fisher and Dr. Robert Johnson at MMU, John Keane at UMIST, and Professor John Gurd and Dr. Kish Shen at the Victoria University of Manchester.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
|