| EPSRC Reference: |
GR/K57268/01 |
| Title: |
PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF |
| Principal Investigator: |
Gabbay, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Unknown (Data Transfer) |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 May 1996 |
Ends: |
31 March 1998 |
Value (£): |
122,773
|
| 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 |
|
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.imperial.ac.uk |