Abstract
Execution monitoring allows robots to assess the execution of plans, determine the need for re-planning, identify opportunities, and
re-evaluate their commitments. There exists extensive literature on monitoring the execution of classical and HTN plans. However, execution
monitoring of BDI plans is often left implicit in the BDI control loop. In practice, many BDI plan execution systems monitor the current plan
steps only. They do not project ahead the current knowledge of the robot to determine implications on future steps. Thus a failure of a
future plan-step, which may already be predictable given the current knowledge of the robot, is not detected until the last possible moment.
This paper examines the task of predictive execution monitoring in BDI plans. It provides a base algorithm, and shows that its complexity is
super-exponential in the general case, even under mild assumptions. It then discusses several methods for pruning the search space, and formally shows their completeness. It evaluates these methods in hundreds of experiments, utilizing approximately 4000 hours of modern CPU time
re-evaluate their commitments. There exists extensive literature on monitoring the execution of classical and HTN plans. However, execution
monitoring of BDI plans is often left implicit in the BDI control loop. In practice, many BDI plan execution systems monitor the current plan
steps only. They do not project ahead the current knowledge of the robot to determine implications on future steps. Thus a failure of a
future plan-step, which may already be predictable given the current knowledge of the robot, is not detected until the last possible moment.
This paper examines the task of predictive execution monitoring in BDI plans. It provides a base algorithm, and shows that its complexity is
super-exponential in the general case, even under mild assumptions. It then discusses several methods for pruning the search space, and formally shows their completeness. It evaluates these methods in hundreds of experiments, utilizing approximately 4000 hours of modern CPU time
| Original language | English |
|---|---|
| Title of host publication | 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 |
| Publisher | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) |
| Pages | 1808-1810 |
| Number of pages | 3 |
| ISBN (Electronic) | 9781510892002 |
| State | Published - 2019 |
| Event | 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 - Montreal, Canada Duration: 13 May 2019 → 17 May 2019 https://dl.acm.org/doi/proceedings/10.5555/3306127 |
Publication series
| Name | Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS |
|---|---|
| Volume | 3 |
| ISSN (Print) | 1548-8403 |
| ISSN (Electronic) | 1558-2914 |
Conference
| Conference | 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 |
|---|---|
| Country/Territory | Canada |
| City | Montreal |
| Period | 13/05/19 → 17/05/19 |
| Internet address |
Keywords
- BDI
- Execution monitoring