GROVE: A computationally grounded model for rational intention revision in BDI agents
A fundamental aspect of Belief-Desire-Intention (BDI) agents is intention revision. Agents revise their intentions in order to maintain consistency between their intentions and beliefs, and consistency between intentions. A rational agent must also account for the optimality of their intentions in t...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/65903/ |
| _version_ | 1848800280842338304 |
|---|---|
| author | Leask, Sam |
| author_facet | Leask, Sam |
| author_sort | Leask, Sam |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | A fundamental aspect of Belief-Desire-Intention (BDI) agents is intention revision. Agents revise their intentions in order to maintain consistency between their intentions and beliefs, and consistency between intentions. A rational agent must also account for the optimality of their intentions in the case of revision. To that end I present GROVE, a model of rational intention revision for BDI agents. The semantics of a GROVE agent is defined in terms of constraints and preferences on possible future executions of an agent’s plans. I show that GROVE is weakly rational in the sense of Grant et al. and imposes more constraints on executions than the operational semantics for goal lifecycles proposed by Harland et al. As it may not be computationally feasible to consider all possible future executions, I propose a bounded version of GROVE that samples the set of future executions, and state conditions under which bounded GROVE commits to a rational execution. |
| first_indexed | 2025-11-14T20:49:03Z |
| format | Thesis (University of Nottingham only) |
| id | nottingham-65903 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T20:49:03Z |
| publishDate | 2021 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-659032021-12-08T04:40:03Z https://eprints.nottingham.ac.uk/65903/ GROVE: A computationally grounded model for rational intention revision in BDI agents Leask, Sam A fundamental aspect of Belief-Desire-Intention (BDI) agents is intention revision. Agents revise their intentions in order to maintain consistency between their intentions and beliefs, and consistency between intentions. A rational agent must also account for the optimality of their intentions in the case of revision. To that end I present GROVE, a model of rational intention revision for BDI agents. The semantics of a GROVE agent is defined in terms of constraints and preferences on possible future executions of an agent’s plans. I show that GROVE is weakly rational in the sense of Grant et al. and imposes more constraints on executions than the operational semantics for goal lifecycles proposed by Harland et al. As it may not be computationally feasible to consider all possible future executions, I propose a bounded version of GROVE that samples the set of future executions, and state conditions under which bounded GROVE commits to a rational execution. 2021-12-08 Thesis (University of Nottingham only) NonPeerReviewed application/pdf en cc_by https://eprints.nottingham.ac.uk/65903/1/Thesis.pdf Leask, Sam (2021) GROVE: A computationally grounded model for rational intention revision in BDI agents. PhD thesis, University of Nottingham. Belief-Desire-Intention Agents Rationality Artificial Intelligence Goals Deliberation Intention Revision. |
| spellingShingle | Belief-Desire-Intention Agents Rationality Artificial Intelligence Goals Deliberation Intention Revision. Leask, Sam GROVE: A computationally grounded model for rational intention revision in BDI agents |
| title | GROVE: A computationally grounded model for rational intention revision in BDI agents |
| title_full | GROVE: A computationally grounded model for rational intention revision in BDI agents |
| title_fullStr | GROVE: A computationally grounded model for rational intention revision in BDI agents |
| title_full_unstemmed | GROVE: A computationally grounded model for rational intention revision in BDI agents |
| title_short | GROVE: A computationally grounded model for rational intention revision in BDI agents |
| title_sort | grove: a computationally grounded model for rational intention revision in bdi agents |
| topic | Belief-Desire-Intention Agents Rationality Artificial Intelligence Goals Deliberation Intention Revision. |
| url | https://eprints.nottingham.ac.uk/65903/ |