EPSRC logo

Details of Grant 

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