| EPSRC Reference: |
GR/M54087/01 |
| Title: |
USING AUTOMATICALLY INFERRED STATE INVARIANTS IN PLANNING |
| Principal Investigator: |
Fox, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Durham, University of |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
09 September 1999 |
Ends: |
08 September 2002 |
Value (£): |
133,037
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The research proposed builds on existing research in the area of domain analysis for planning. Previous work of Fox and Long in the area is highly regarded internationally. Research into domain analysis is increasingly seen as a key issue for international community working in the theory and application of planning. The UK (in the work at Durham and Huddersfield) is at the leading edge of research in this area. Additionally the work of the Durham group is a radical departure from previous research (concentrating on type based analysis rather than inductive analysis of operators) but has already demonstrated a high degree of success in attacking important theoretical and application issues (correctly generating invarients and demonstrating their effectiveness in improving planner performance). The work proposed will lead to further work of the very highest international quality in an area within which the UK is seen as a world leader.
|
|
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: |
|