| EPSRC Reference: |
GR/T06827/01 |
| Title: |
Probability and Proof |
| Principal Investigator: |
Gabbay, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 February 2004 |
Ends: |
31 January 2005 |
Value (£): |
22,417
|
| 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 relationship between probabilistic reasoning and the notion of proof in logic is multifarious yet only sketchily understood. In this research project we intend to investigate two aspects of this relationship: (i) using probability to assist the development of logical proofs, and (ii) using logical proofs tohelp help draw conclusions when reasoning with probabilities. We also intend to investigate applications of our work on these two problems. Work on the first problem may be applied to the verification of computer programs and to cryptographic protocols and computer security. Work on the second problem may be applied to the development of expert systems and decision support systems.
|
|
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: |
|