Aborting, suspending, and resuming goals and plans in BDI agents

摘要

Intelligent agents designed to work in complex, dynamic environments such as e-commerce must respond robustly and flexibly to environmental and circumstantial changes, including the actions of other agents. An agent must have the capability to deliberate about appropriate courses of action, which may include reprioritising tasks—whether goals or associated plans—aborting or suspending tasks, or scheduling tasks in a particular order. In this article we study mechanisms to enable principled suspend, resuming, and aborting of goals and plans within a Belief-Desire-Intention (BDI) agent architecture. We give a formal and combined operational semantics for these actions in an abstract agent language (CAN), thus providing a general mechanism that can be incorporated into several BDI-based agent platforms. The abilities enabled by our semantics provides an agent designer greater flexibility to direct agent operation, offering a generic means to manage the status of goals. We demonstrate the reasoning abilities enabled on a document workflow scenario.