| EPSRC Reference: |
GR/L48799/01 |
| Title: |
LOGIC-BASED MULTI-AGENT SYSTEMS |
| Principal Investigator: |
Kowalski, Professor R |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 June 1997 |
Ends: |
30 November 2000 |
Value (£): |
203,442
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The multi agent model will be an extension of the single-agent logical model we have developed to combine 'rational' reduction of goals to subgoals with 'reactive' response to inputs from the environment. We shall investigate different communication architectures, starting from a transaction logic perspective, in which agents are viewed as users performing transactions on a shared database. We shall investigate two approaches to the problem of facilitating interaction among agents: one based upon argumentation, the other based upon legislation. We will refine the single-agent model, both to serve better the extension to the multi-agent case and to serve other applications such as active databases. In particular, we will investigate how the extension of the event calculus, which we have developed for defining complex actions in terms of simpler actions, compares with other approaches, such as Golog, dynamic logic, transaction logic and planning from first principles. We will improve the efficiency of the extended logic programming language, which is the thinking component of our single-agent model. We will investigate the suitability of the language for general-purpose programming and attempt to formulate a methodology for developing applications in the language.
|
|
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 |