| EPSRC Reference: |
GR/S19004/01 |
| Title: |
Hybrid logics of space and time |
| Principal Investigator: |
Hodkinson, Professor I |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 November 2002 |
Ends: |
31 October 2005 |
Value (£): |
68,786
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We propose to investigate products of hybrid logics, and their algebraic aspects. The special case of products of space with time will frame our study.First we will study proof theory and decision procedures for hybrid logics of temporal intervals. Then we will analyse hybrid logics based on the Allen interval algebra, and on algebras associated with spatial logics such as the region connection calculus RCC-8. Model-checking and complexity of the hybrid systems will be studied.Next we will analyse applications of hybrid logic to temporal planning and to extending the situation and event calculi.We will then examine products of spatial and temporal hybrid systems, leading to hybrid spatio-temporal logics, and on to a general treatment of products of hybrid logics with themselves and with other logics such as ordinary modal logic and classical predicate logic. Their decidability, complexity, and expressiveness will be considered, and they will be compared with related product constructions. Model-checking algorithms will be devised and analysed. Restrictions on interaction of the components of a hybrid product will be examined, as well as relativised semantics for hybrid products.
|
|
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 |