| EPSRC Reference: |
GR/J87121/01 |
| Title: |
LOGIC FOR COMMONSENSE REASONING ABOUT CONTINUOUS CHANGE |
| Principal Investigator: |
Shanahan, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
28 September 1994 |
Ends: |
27 October 1996 |
Value (£): |
100,855
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The project aims to further research into Artificial Intelligence in the field of Reasoning About Action. In particular, its objectives are:(i) to develop a logic-based formalism to support the description of domains involving both continuous and discrete change, building on existing formalisms such as the Situation Calculus and the Event Calculus, and(ii) to investigate the implementation of this formalism and associated modes of reasoning using logic programming and its extensions.Progress:Progress on the project is in line with the timetable set out in the original project proposal. Thus a survey and analysis of existing work on continuous change has been undertaken. In particular, detailed study has been undertaken of work by Sandewall (showing how discontinuities in dynamic systems can be described in logic), of work by Gelfond, Lifschitz and Rabinov (showing how periods of continuous change can be modelled as actions with duration), and of work by Davis (showing how Qualitative Process Theory can be given a logical interpretation). The project has also benefited by a more recent resurgence of interest in the topic of representing continuous change, and has studied the work of Costello (on Fluxions), of Belleghem, Denecker and De Schreye (on representing continuous change in the Abductive Event Calculus), and of Pinto and Reiter (on modelling continuous change in the Situation Calculus).The other main focus of research has been into representing mathematical systems with feedback. In particular, the study of liquid flow through various systems of tanks and valves has been fruitful (with feedback provided by mathematical relationships between liquid pressure and rate of flow). This benchmark problem has provided evidence that the approach suggested in the original project proposal, of generalising Shanahans notion of a trajectory to that of a process, will prove valuable. The project has already incorporated some of these notions into a formulation of the Event Calculus more general than that of Shanahans 1990 paper.
|
|
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 |