| EPSRC Reference: |
EP/J001058/1 |
| Title: |
The Integration and Interaction of Multiple Mathematical Reasoning Processes |
| Principal Investigator: |
Ireland, Professor A |
| Other Investigators: |
| Fleuriot, Dr J |
Grov, Dr G |
Gow, Dr J |
| Michaelson, Professor G |
Colton, Professor S |
Aspinall, Professor D |
| Jackson, Dr PB |
McNeill, Dr F |
Smaill, Dr A |
| Bundy, Professor A |
|
|
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
S of Mathematical and Computer Sciences |
| Organisation: |
Heriot-Watt University |
| Scheme: |
Platform Grants |
| Starts: |
01 August 2011 |
Ends: |
31 October 2015 |
Value (£): |
1,140,286
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
26 May 2011
|
Platform Grants Full Proposals 26 May 2011
|
Announced
|
|
|
Summary on Grant Application Form |
The proposed Platform Grant renewal will be used to provide essential
infrastructure and exploratory activities that will support a portfolio of
projects that focus on the automation of mathematical reasoning processes,
including their analysis, development and interaction. We can be broadly
classified by our "holistic" perspective of automated reasoning. Central to
this theme is the interplay between representation and reasoning. Discovering
the "right" representation can often dramatically simplify the reasoning
required in solving a problem. Conversely, meta-level reasoning, and in
particular proof-failure analysis, can often provide guidance in evolving
the "right" representation.
The renewal of the Platform Grant will enable us to maintain and strengthen the momentum
that has been build up around this theme -- both in terms of basic research as
well as applications: The former covers a spectrum of topics, including:
cognitive aspects of theory formulation and reformulation;
mathematical discovery and automatic theorem generation; ontology creation,
repair and evolution; proof procedures; proof planning; AI problem reformulation;
quantum computation; computational creativity; visualisation of reasoning processes.
The latter covers wide ranging applications such as: software verification; formal
modelling of software intensive systems; graphics design; games design;
disaster recovery planning.
Our work is a unique blend of the techniques of artificial intelligence
and theoretical computer science -- we also believe we are unique in our
holistic perspective of automated reasoning and mathematical discovery.
|
|
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.hw.ac.uk |