EPSRC logo

Details of Grant 

EPSRC Reference: GR/K57282/01
Title: PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF
Principal Investigator: Fisher, Professor M
Other Investigators:
Wooldridge, Professor M Dixon, Dr C
Researcher Co-Investigators:
Project Partners:
Department: Computing and Mathematics
Organisation: Manchester Metropolitan University
Scheme: Standard Research (Pre-FEC)
Starts: 01 December 1995 Ends: 30 April 1999 Value (£): 164,456
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
The aim of this project is to develop and evaluate proof methods for temporal logics that incorporate connectives operating over the dimensions of both knowledge and belief. Such logics are exploited in a variety of distributed and multi-agent systems.The project we propose will combine work on proof methods for temporal logics (such as our recently developed clausal resolution method) with work on proof methods for normal modal logics in order to provide a variety of relevant proof methods. These will be evaluated, prototyped and applied to problems relating to case studies from the areas of distributed and multi-agent systems. The methods will then be evaluated with respect to their demonstrated efficiency.The research programme represents a natural and feasible extension to our on-going work and we believe the project has the potential for significantly advancing understanding of these increasingly important areas.
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