| EPSRC Reference: |
GR/J99353/01 |
| Title: |
CONCURRENT ARCHITECTURES FOR HETEROGENOUS KNOWLEDGE MANIPULATION SYSTEMS |
| Principal Investigator: |
Wood, Dr A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of York |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 1995 |
Ends: |
28 February 1998 |
Value (£): |
270,418
|
| EPSRC Research Topic Classifications: |
| Information & Knowledge Mgmt |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
To investigate novel machine architectures for the concurrent execution of communicating knowledge manipulation systems, specifically architectures based on the LINDA model of concurrency. To characterise formally the functional properties of standalone Knowledge Manipulation Systems, particularly Case-Based Reasoning systems. To investigate the use of relations to unify the above two research strands.Progress:The project started in January 1995 with the appointment of the first of our two Research Associates (Duncan Campbell). The second post has also been filled from March 1995. The two posts reflect the two strands within the research Computational Architectures, and Case-Based Reasoning, the first appointment being in the architectural area. During this first month of work, an assessment has been under way of the design choices available for the implementation of the distributed tuple-space system on the Paramid multi-i860 platform manufactured by our industrial partners (Transtech). One of the most pressing concerns is how the i860 can be made to context-switch (and thus allow pseudo-parallelism) efficiently. Due to its highly-pipelined architectures, this is not a trivial task. However, several leads are being followed amongst the international academic community, and are showing some promise of success. In parallel with this 'low-level' activity, we are beginning to collate extant approaches to the 'high-level' problem which will form the bulk of the research thrust in the architectural strand of the project, that of determining abstract machine architectures from the process and communication behaviour of a class of domain-specific applications (in our case, KMSs). Delivery of the Transtech machine is expected during the 4th week of February, at which point the plan is to concentrate on the tuple-space implementation work. This will coincide with the start of the second RA (Hugh Osborne), who will be focusing on a review of formal methods which may be used in the specification, and analysis, of Case-Based Reasoning Systems. Although Hugh is principally concerned with the KMS strand, his previous experience in analysis of architectures will provide a both input to the architectural strand, and a link between the two.
|
|
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: |
http://www.york.ac.uk |