EPSRC logo

Details of Grant 

EPSRC Reference: GR/M36700/01
Title: PATH-BASED REASONING ABOUT GUARDED FORMULAE
Principal Investigator: Schmidt, Dr RA
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Unknown (Data Transfer)
Organisation: Manchester Metropolitan University
Scheme: Standard Research (Pre-FEC)
Starts: 01 September 1999 Ends: 10 February 2000 Value (£): 3,924
EPSRC Research Topic Classifications:
Artificial Intelligence
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
There is a growing interest in sophisticated and efficient theorem provers for modal logics, which af~~iki-ridely accepted to prc,ide appropriate formal frameworks for an ever increasing number of different application areas in computer science. However, existing modal theorem provers are mostly tuned for a small set of the weakest modal logics, and experience shows users want more expressiveness. The guarded and loosely guarded fragments, which we intend to study, encompass many extended modal logics. Despite the increased expressiveness the guarded fragments retain many of the desirable properties :,= modal logics, most notably decidability.The aim of this project is to facilitate automated reasoning for the guarded and loosely guarded fragments by suitable resolution calculi exploiting a path-based encoding. The approach will generalise the functional translation method of modal logics, which has been successfully app'l'ied to modal logics.
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.mmu.ac.uk