| EPSRC Reference: |
GR/M36748/01 |
| Title: |
TEMPORAL AND DYNAMIC DESCRIPTION LOGICS |
| Principal Investigator: |
Hodkinson, Professor I |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
14 October 1998 |
Ends: |
13 October 1999 |
Value (£): |
12,160
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Modern applications of logic in computer science and artificial intelligence often require languages able to represent knowledge about dynamic systems (such as program executions, information flows, distributed and multi-agent systems, temporal databases, etc).Extensions of first order predicate logic with program, temporal and other 'modal' operators certainly have enough expressive power for this purpose. However, they usually turn out to be highly undecidable. An attractive way to avoid this difficulty is to take as basis not full first order logic but sufficiently expressive fragments of it - for instance, concept description (or terminological) logics that have been developed and used as formalisms for representing and processing knowledge about static application domains. Our main aim in this project is to find out which parameters of the constituent logics came undecidability, and to use this knowledge for designing maximally expressive decidable and implementable temporal, dynamic and epistemic description logics. We plan to develop general mathematical methods for establishing decidability of temporal and dynamic description logics, to estimate the complexity of satisfiability checking in the resulting logics, and to construct implementable satisfiability-checking procedures.
|
|
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.imperial.ac.uk |