| EPSRC Reference: |
GR/M99644/01 |
| Title: |
AGENT-ORIENTATED THEOREM PROVING |
| Principal Investigator: |
Kerber, Dr M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Birmingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
14 January 2000 |
Ends: |
13 January 2001 |
Value (£): |
55,944
|
| EPSRC Research Topic Classifications: |
| Artificial Intelligence |
Fundamentals of Computing |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
An agent approach will be used in order to model aspects of the human problem solving behaviour. Human reasoning can be characterised according to different aspects, many of which are only insufficiently considered in traditional reasoning system: Human reasoning is resource bounded, flexible, follows different directions at the same time, can react on hints without fully abandoning previous search attempts, is heterogenous and can incorporate different forms of reasoning. In this project, we try to employ recent techniques developed in the field of multi-agent systems in order to model the human theorem proving behaviour. In particular we want to combine reactive behaviour, which is typically local, and planning behaviour, as developed in proof planning.The agent approach should make it possible to encode knowledge that agents should have about each other, explicit resource management should enable to deal with questions of reactive interaction and stable behaviour. The work will be based on the Omega System. In the first three months a basic architecture will be developed, in the next three months external reasoner with the resource concept will be integrated, the remaining time will be used for refinements and experiments with the architecture.
|
|
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.bham.ac.uk |