| EPSRC Reference: |
GR/L34914/01 |
| Title: |
PRACTICAL RATIONALITY IN RESOURCE-BOUNDED AGENTS; DEVELOPMENT OF A LOGICAL THEORY |
| Principal Investigator: |
Bell, Dr J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Queen Mary University of London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 December 1996 |
Ends: |
30 November 1999 |
Value (£): |
179,244
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We are interested in developing a theory of particle rationality in resource-bounded agents like ourselves. Consequently we assume that our agents have mental states, consisting of beliefs, desires, intentions, goals, obligations, etc, and that their capacities for reasoning and acting are limited. While much work has been done on formalising various components of such agents, little has been done on the interactions between them and what Nils Nilsson calls the rational balance amongst them. We propose (1) to investigate this problem by developing the planning theory of rational agency proposed by Bell, (2) to using and extend Bell and Huang's previous work on nonmonotonic and modal logics to produce a logical formalisation of the planning theory, (3) to implement a prototype of the theory, (4) to prepare for formal collaboration on applications with companies such as BT and ICI.
|
|
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: |
|