| EPSRC Reference: |
GR/L91818/01 |
| Title: |
DATA DRIVEN LOGIC ALGORITHMS |
| Principal Investigator: |
Gabbay, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1998 |
Ends: |
30 September 2001 |
Value (£): |
279,596
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of this project is to bridge the gap between abstract logic and the real world . That means we want to make automated logical inferencing more applicable to problems arising in the representation and management of real world data. Whereas logic originally was a formalization of the Boolean connectives and quantifiers, real world data containing concrete data-structures, such as numbers, finite sets, temporal distribution, uncertain information etc., for which there are efficient special algorithms. The knowledge representation system we want to develop, will be centred around efficient algorithms for concrete data-structures, and logic will be added only as far as it is necessary and feasible.The system will be in the style of KL-ONE systems with a data part, corresponding to relational databases, and a specification part corresponding to query languages, but with a much richer language than usual. We want to combine two recent developments, the idea of Labelled Deductive Systems for representing meta-information about data, and the atomic decomposition techniques for turning certain logical problems into equation solving problems, as the kernel of the system.We shall develop the theory and implement a C-prototype of the knowledge representation system.
|
|
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: |
|