| EPSRC Reference: |
GR/G46677/01 |
| Title: |
SYNTACTICAL FOUNDATIONS OF NON MONOTONIC REASONING |
| Principal Investigator: |
Gabbay, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 June 1992 |
Ends: |
31 May 1995 |
Value (£): |
91,955
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The scientific aim of this project is to provide a general proof-theoretic framework for comparing formalisms and characterising essential features on non-monotonic logics. The technological aim is to demonstrate the logical interrelationships and mapping between various formalisms. This would enable a user to develop the most appropriate system to be used in a particular application with the capability of formally relating it to other systems. Since the proposed framework is proof-theoretically based, it can serve as a basis for developing sound computation nonmonotonic systems. Progress:A general theory of structured consequence relation was put forward. Many existing logics are covered by this theory. A methodology and algorithms for finding a semantics for almost arbitrary logic was developed. In parallel, methods were developed for combining logics through their semantics as well as methods for bringing a consequence relation from the metalevel into the object level. Many well known logics can be generated using the above principles.Altogether the panorama of monotonic and nonmonotonic logics is now better understood in terms of some simple methodological generating principles. The results are being published in leading journals.
|
|
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 |