Reasoning about the executability of goal-plan trees
User supplied domain control knowledge in the form of hierarchically structured agent plans is at the heart of a number of approaches to reasoning about action. This knowledge encodes the “standard operating procedures” of an agent for responding to environmental changes, thereby enabling fast and e...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Published: |
Springer Verlag
2016
|
| Online Access: | https://eprints.nottingham.ac.uk/46970/ |
| _version_ | 1848797439238078464 |
|---|---|
| author | Yao, Yuan de Silva, Lavindra Logan, Brian |
| author_facet | Yao, Yuan de Silva, Lavindra Logan, Brian |
| author_sort | Yao, Yuan |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | User supplied domain control knowledge in the form of hierarchically structured agent plans is at the heart of a number of approaches to reasoning about action. This knowledge encodes the “standard operating procedures” of an agent for responding to environmental changes, thereby enabling fast and effective action selection. This paper develops mechanisms for reasoning about a set of hierarchical plans and goals, by deriving “summary information” from the conditions on the execution of the basic actions forming the “leaves” of the hierarchy. We provide definitions of necessary and contingent pre-, in-, and postconditions of goals and plans that are consistent with the conditions of the actions forming a plan. Our definitions extend previous work with an account of both deterministic and non-deterministic actions, and with support for specifying that actions and goals within a (single) plan can execute concurrently. Based on our new definitions, we also specify requirements that are useful in scheduling the execution of steps in a set of goal-plan trees. These requirements essentially define conditions that must be protected by any scheduler that interleaves the execution of steps from different goal-plan trees. |
| first_indexed | 2025-11-14T20:03:53Z |
| format | Article |
| id | nottingham-46970 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T20:03:53Z |
| publishDate | 2016 |
| publisher | Springer Verlag |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-469702020-05-04T18:25:36Z https://eprints.nottingham.ac.uk/46970/ Reasoning about the executability of goal-plan trees Yao, Yuan de Silva, Lavindra Logan, Brian User supplied domain control knowledge in the form of hierarchically structured agent plans is at the heart of a number of approaches to reasoning about action. This knowledge encodes the “standard operating procedures” of an agent for responding to environmental changes, thereby enabling fast and effective action selection. This paper develops mechanisms for reasoning about a set of hierarchical plans and goals, by deriving “summary information” from the conditions on the execution of the basic actions forming the “leaves” of the hierarchy. We provide definitions of necessary and contingent pre-, in-, and postconditions of goals and plans that are consistent with the conditions of the actions forming a plan. Our definitions extend previous work with an account of both deterministic and non-deterministic actions, and with support for specifying that actions and goals within a (single) plan can execute concurrently. Based on our new definitions, we also specify requirements that are useful in scheduling the execution of steps in a set of goal-plan trees. These requirements essentially define conditions that must be protected by any scheduler that interleaves the execution of steps from different goal-plan trees. Springer Verlag 2016-12-16 Article PeerReviewed Yao, Yuan, de Silva, Lavindra and Logan, Brian (2016) Reasoning about the executability of goal-plan trees. Lecture Notes in Computer Science, 10093 . pp. 176-191. ISSN 0302-9743 https://link.springer.com/chapter/10.1007/978-3-319-50983-9_10 doi:10.1007/978-3-319-50983-9_10 doi:10.1007/978-3-319-50983-9_10 |
| spellingShingle | Yao, Yuan de Silva, Lavindra Logan, Brian Reasoning about the executability of goal-plan trees |
| title | Reasoning about the executability of goal-plan trees |
| title_full | Reasoning about the executability of goal-plan trees |
| title_fullStr | Reasoning about the executability of goal-plan trees |
| title_full_unstemmed | Reasoning about the executability of goal-plan trees |
| title_short | Reasoning about the executability of goal-plan trees |
| title_sort | reasoning about the executability of goal-plan trees |
| url | https://eprints.nottingham.ac.uk/46970/ https://eprints.nottingham.ac.uk/46970/ https://eprints.nottingham.ac.uk/46970/ |